🇨🇳 GitHub中文排行榜，各语言分设「软件 | 资料」榜单，精准定位中文好项目。各取所需，高效学习。

《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新，English version ongoing

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Tools to work with android .dex and java .class files

Apache Doris is an easy-to-use, high performance and unified analytics database.

A configuration as code language with rich validation and tooling.

google maps for block game

A Minecraft: Java Edition Launcher for Android and iOS based on Boardwalk. This repository contains source code for Android platform.

esProc SPL is a scripting language for data processing, with well-designed rich library functions and powerful syntax, which can be executed in a Java program through JDBC interface and computing i…

Project Malmo is a platform for Artificial Intelligence experimentation and research built on top of Minecraft. We aim to inspire a new generation of research into challenging new problems presente…

🗺️ Minecraft map editor and mod

Compiles Java bytecode to JavaScript, WebAssembly and C

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Essential hooks for modding with Fabric.

Advanced Minecraft Interface and Data/Structure Tracking

GeoGebra apps (mirror)

Mathpix has changed their billing policy and no longer has free monthly API requests. This repo is now archived and will not receive any updates for the foreseeable future.

A tech mod for Minecraft themed around the magic of nature and plant life.

Download Minecraft worlds, extend server's render distance. 1.12.2 - 1.21

Eclipse Xtext™ is a language development framework

The Arend Proof Assistant

Source code for BlockLauncher, a launcher that patches Minecraft for Android

Java Geometry Expert

Non-Euclidean in Minecraft. See through portals and teleport seamlessly.

Jikes RVM (Research Virtual Machine)

A protocol library for Minecraft Bedrock Edition

A proof assistant and a dependently-typed language

JWildfire - powerful, flexible and user-friendly fractal flame editor

MITM proxy tool for Minecraft: Bedrock Edition

Library that implements the framework of all Abnormals mods