Starred repositories
Empowering everyone to build reliable and efficient software.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Lean 4 programming language and theorem prover
A refreshingly simple data-driven game engine built in Rust
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
A cross-platform, safe, pure-Rust graphics API.
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
binary releases of VS Code without MS branding/telemetry/licensing
High-performance Vulkan driver with automated resource management and execution
OBS Studio - Free and open source software for live streaming and screen recording
A common windowing interoperability library for Rust
Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/
A precise specification for "Rust lite / MIR plus"
Linear solvers in JAX and Equinox. https://docs.kidger.site/lineax
Sioyek is a PDF viewer with a focus on textbooks and research papers
Anime Girls Holding Programming Books
Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.
Lightweight and educational reimplementation of TabPFN https://arxiv.org/pdf/2511.03634
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/
GitHub action for cached Rust crates installation.