Isaac Lab API, powered by MuJoCo-Warp, for RL and robotics research.

Autoresearch for GPU kernels. Give it any PyTorch model, go to sleep, wake up to optimized Triton kernels.

[RSS26'] Welcome to Psi-Zero, a Humanoid VLA towards Universal Humanoid Intelligence.

Empowering everyone to build reliable and efficient software.

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

a refined oil.nvim

CuTe DSL in rust+verus (formally verified GPU kernels)

WIP - Library for efficient Presburger Arithmetic

An egglog-compatible but faster ahead-of-time compiling e-graph engine.

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

Experimenting with rendering 3D graphics in the terminal

wip: a playground repository dedicated to implement random polyhedral compiler algorithms (an attempt to reimplement extended integer set library?)

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Tutorials about tinygrad, an end-to-end deep learning stack

Odin Programming Language

x86CSS is a working CSS-only x86 CPU/emulator/computer. No JavaScript required.

Open-source CUDA, Triton and HIP compiler targeting multiple GPU and CPU architectures.

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

A static optimizing tensor compiler with a Python frontend, autodifferentiation, and a more "shader-like" syntax.

Minimal Claude Code alternative. Single Python file, zero dependencies, ~250 lines.

An extremely fast Python package and project manager, written in Rust.

A compact implementation of SGLang, designed to demystify the complexities of modern LLM serving systems.

A safe, easy systems language

Anthropic's original performance take-home, now open for you to try!

A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.

The open source coding agent.

A Spotify player in the terminal with full feature parity

Sutskever 30 implementations inspired by https://papercode.vercel.app/ | For Agents, use https://github.com/pageman/Sutskever-Agent | Polyglot / Multi-Backed version at https://github.com/pageman/s…

A minimal GPU design in Verilog to learn how GPUs work from the ground up