Stars
Formalization of the Rupert Problem for convex polyhedra.
math puzzles from various sources, formalized in Lean
A modern commutative diagram editor for the web.
Firmware for my DIY digital piano.
2D vector & raster editor that melds traditional layers & tools with a modern node-based, non-destructive, procedural workflow.
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 wiki for collaborative work on totally legitimate "category theory"
Experimental implementation of Cubical Type Theory
Minor mode to format JS code on file save
Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought
A positioning engine to make overlays, tooltips and dropdowns better
🤖 CDN assets - The #1 free and open source CDN built to make life easier for developers.