The math library of Lean 4

Hardware accelerated, batchable and differentiable optimizers in JAX.

Odin Programming Language

Library for reducing tail latency in RAM reads

Conan - The open-source C and C++ package manager

Open source neural network chess engine with GPU acceleration and broad hardware support.

OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

MuZero

TokenSpeed is a speed-of-light LLM inference engine.

Deterministic testing of multithreaded Python code.

High-performance Python runtime extensions

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

Browser automation CLI for AI agents

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

The open source coding agent.

Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

AI agents running research on single-GPU nanochat training automatically

A collection of optimization problems in mathematics

A Lean companion to Analysis I

A community database for the problems on the erdosproblems.com site

An incremental parsing system for programming tools

An interpreter for Rust's mid-level intermediate representation

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

FlatBuffers: Memory Efficient Serialization Library

Zero-copy deserialization framework for Rust

Minimalist ML framework for Rust

The Runner for GitHub Actions 🚀

cuTile is a programming model for writing parallel kernels for NVIDIA GPUs

Production-grade client-side tracing, profiling, and analysis for complex software systems.

CUDA Templates and Python DSLs for High-Performance Linear Algebra