A self-contained game that fits inside a QR code inspired by DOOM 1993 and The Backrooms

A type theory for tiny objects

Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

The smallest Forth real programming language for 6502. Based in milliForth for x86.

[CVPR 2025 Oral] VGGT: Visual Geometry Grounded Transformer

A hot take on Lisp metaprogramming

OpenTorque Actuator: A powerful, compliant actuator for legged robotics.

Embedded Lisp Interpreter

An open-source, customizable intermediate logic textbook

A non-saturating, open-ended environment for evaluating LLMs in Factorio

Zonos-v0.1 is a leading open-weight text-to-speech model trained on more than 200k hours of varied multilingual speech, delivering expressiveness and quality on par with—or even surpassing—top TTS …

Two conversational AI agents switching from English to sound-level protocol after confirming they are both AI agents

Tiny data-over-sound library

A system for building shared, programmable, online spaces. Compatible with LambdaMOO.

[CVPR 2025] Magma: A Foundation Model for Multimodal AI Agents

This repository contain the simple llama3 implementation in pure jax.

A Unix shell and Lisp REPL, fused together

Animating R1's thoughts.

Automated Capability Discovery via Foundation Model Self-Exploration

Procedural Hydrology / River / Lake Simulation

a categorical deep learning compiler

Machine Learning with Symbolic Tensors

Infinite Photorealistic Worlds using Procedural Generation

This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

Categorical Query Language IDE

For configuring GitHub pages

A library for drawing space-filling curves like the Hilbert Curve.

Sending the lambda calculus into deep space

Talk: "Understanding efficient parallel scan"

A talk on type-generic FFT in Haskell