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. 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 🥭♟️

Curate better data for LLMs

Privacy-first, end-to-end encrypted Mail, Pages, Drive, and Calendar.

Reference implementation for DPO (Direct Preference Optimization)

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

[Unmaintained, see README] An ecosystem of Rust libraries for working with large language models

wifi packet sniffer