Scalable toolkit for efficient model reinforcement

Kernels, of the mega variety :)

Build RL environments for LLM training

Nano vLLM

Linear algebra library for Rust.

A neural network inference library, written in Rust.

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

Automatic solver for plane geometry problems.

Frontier Models playing the board game Diplomacy.

Open-source data analysis code from Joshua Shaevitz's Lab at Princeton University

Hand-Rolled GPU communications library

A mini AI agent CLI, similar to Claude Code and Gemini CLI

Code to automatically prove or verify estimates in analysis

Pure Rust implementation of Gunzip from scratch in 1000 lines

A linear algebra and mathematics library for computer graphics.

Low effort scraping Python's pickle format in Rust. It is to complete pickle parsing as BeautifulSoup was to complete HTML parsing.

Codebase for ICRA 2020 paper "Towards Practical Multi-object Manipulation using Relational Reinforcement Learning"

Fungrim: the Mathematical Functions Grimoire

A (nearly) pure functional programming language.

Decuda and cudasm, the CUDA binary utilities package. Low-level tools for NVidia G80 GPUs.