Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Claude skills for Lean 4 theorem proving

A minimal implementation of DeepMind's Genie world model

A minimalist design exploration

Probabilistic programming with probabilistic uncomputation

Demo project showing a single Rust codebase running on CPU and directly on GPUs

Pre-compiled XLA extension

Safe Rust bridge for creating Erlang NIF functions

Backlog.md - A tool for managing project collaboration between humans and AI Agents in a git ecosystem

An MCP for Godot that lets you create and edit games in the Godot game engine with tools like Claude

An expressive language for discrete probabilistic programming with lazy knowledge compilation

An expressive language for discrete probabilistic programming with lazy knowledge compilation

Probabilistic programming with vectorized programmable inference

exploration

Multi-platform high-performance compute language extension for Rust.

Controlled text generation with programmable constraints

Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some e…

Random variate generation library in C

Understanding Epistemic Language with a Language-augmented Bayesian Theory of Mind (LaBToM)

Firefly III: a personal finances manager

NumPy+Jax with named axes and an uncompromising attitude

a Python library for creating interactive, JavaScript-based visualizations.

The Modular Platform (includes MAX & Mojo)

Highly scalable 2D JAX physics engine.

Reinforcement learning on general 2D physics environments in JAX. ICLR 2025 Oral.

Sequential Monte Carlo in python

Create richer and more beautiful pages in MkDocs, by using variables and calls to macros in the markdown code.