Stars
Open-source & free — Battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in fine-tuned ruleset (NPE, thre…
A course of learning LLM inference serving on Apple Silicon for systems engineers: build a tiny vLLM + Qwen.
《深入理解 AI Agent：设计原理与工程实践》（李博杰 著）开源主仓库：全书正文、编译版 PDF 与按章配套代码
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
An extremely fast Python linter and code formatter, written in Rust.
A Hardware Description Language based on the Rust Programming Language
Modern embedded framework, using Rust and async.
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Project N.O.M.A.D, is a self-contained, offline survival computer packed with critical tools, knowledge, and AI to keep you informed and empowered—anytime, anywhere.
Dafny is a verification-aware programming language
An LLM-powered multi-agent framework for simulating interactive, evolving story worlds.