Stars
An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
An English translation of Grothendieck's Fondements de la Géometrie Algébrique
Rust virtual machine and JIT compiler for eBPF programs
IsaacNPC is a lightweight NPC (Non-Player Character) framework for IsaacLab, enabling robots to act as autonomous environment entities driven by pre-trained policies or rule-based controllers.
🏠[ECCV 2024] GaussianImage: 1000 FPS Image Representation and Compression by 2D Gaussian Splatting
slime is an LLM post-training framework for RL Scaling.
OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux
LeanInteract: A Python Interface for Lean 4
Triton adapter for Ascend. Mirror of https://gitee.com/ascend/triton-ascend
Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specification, and proof generation as well as their compositions.
A statically-typed variant of Lox, written in TypeScript
RLinf: Reinforcement Learning Infrastructure for Embodied and Agentic AI
cuTile is a programming model for writing parallel kernels for NVIDIA GPUs
Agda lecture notes for the Functional Programming course at TU Delft
Envision a future where every student can read all the code of a teaching operating system.
CLI that compiles and runs CUDA C scripts on Modal GPUs
[NeurIPS 2025] PhysCtrl: Generative Physics for Controllable and Physics-Grounded Video Generation
Lean 4 kernel / 'external checker' written in Lean 4
Elixir is a dynamic, functional language for building scalable and maintainable applications
[ICRA, 2025] SplatSim: Zero-Shot Sim2Real Transfer of RGB Manipulation Policies Using Gaussian Splatting