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

Scalable toolkit for efficient model reinforcement

Build RL environments for LLM training

Hand-Rolled GPU communications library

Nano vLLM

Frontier Models playing the board game Diplomacy.

kernels, of the mega variety

Code to automatically prove or verify estimates in analysis

Automatic solver for plane geometry problems.

Pure Rust implementation of Gunzip from scratch in 1000 lines

A neural network inference library, written in Rust.

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.

Linear algebra library for Rust.

A linear algebra and mathematics library for computer graphics.

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

Shaevitz lab's GPL'd code

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