a tiling window manager for macos

Formalization of the Rupert Problem for convex polyhedra.

math puzzles from various sources, formalized in Lean

A NES game where you pet an adorable dog

A modern commutative diagram editor for the web.

Firmware for my DIY digital piano.

An open source graphics editor for 2025: comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural ed…

Surface plate mapping software

Stable Diffusion web UI

Testing utility for VS Code extensions

An extension for Visual Studio Code that adds rich language support for CodeQL

RBush — a high-performance JavaScript R-tree-based 2D spatial index for points and rectangles

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

A place to share electronics projects

What I wish I knew when learning HoTT

A wiki for collaborative work on totally legitimate "category theory"

Cohesive type theory

Experimental implementation of Cubical Type Theory

mal - Make a Lisp

Minor mode to format code on file save

Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought

The J1 CPU

A positioning engine to make overlays, tooltips and dropdowns better

Katzenklavier

testing

🤖 CDN assets - The #1 free and open source CDN built to make life easier for developers.

Async utilities for node and the browser