An Extensible Deep Learning Library

Training API and CLI

A Lightweight LLM Post-Training Library

embeddable hybrid graph/vector database

Nano vLLM

From Imitation to Refinement -- Residual RL for Precise Assembly

Legible, Scalable, Reproducible Foundation Models with Named Tensors and Jax

Named Tensors for Legible Deep Learning in JAX

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

Simplifying reinforcement learning for complex game environments

first base model for full-duplex conversational audio

Liquid Types For Haskell

HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à connaître, à chercher qu'à trouver la vérité."

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Python bindings for llama.cpp

A fast + lightweight implementation of the GCG algorithm in PyTorch

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Simple, Pythonic remote execution and deployment.

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

SGLang is a fast serving framework for large language models and vision language models.

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

Verilog Development IDE

For the project of f-GAIL

The math library of Lean 4

MuJoCo is a physics engine for detailed, efficient rigid body simulations with contacts. mujoco-py allows using MuJoCo from Python 3.

Stockfish and chess on RISC-V MangoPi 🥭♟️