《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持简中、繁中、English、日本語，提供 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 等代码实现

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

mall项目是一套电商系统，包括前台商城系统及后台管理系统，基于Spring Boot+MyBatis实现，采用Docker容器化部署。 前台商城系统包含首页门户、商品推荐、商品搜索、商品展示、购物车、订单流程、会员中心、客户服务、帮助中心等模块。 后台管理系统包含商品管理、订单管理、会员管理、促销管理、运营管理、内容管理、统计报表、财务管理、权限管理、设置等模块。

强大易用的开源建站工具。

AutoMQ is a diskless Kafka® on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability.

An Application Framework for AI Engineering

An AI-powered next-generation open source real-time observability system.

configuration library for JVM languages using HOCON files

Apache IoTDB

State of the art mutation testing system for the JVM

RARS -- RISC-V Assembler and Runtime Simulator

CyberController

ELKI Data Mining Toolkit

钱迹自动记账插件

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

StarExec is a cross community logic solving service

The prototype tool of a JML generation technique (paper accepted in ICSE'25) for Java programs.

实现超级 mini 的编译器 | codegen&compiler 生成代码 | 只需要 200 行代码 | 前端编译原理

MicroTESK: Specification-Based Framework for Developing Test Program Generators

Java consumer for the SemGuS JSON intermediate representation