nathanial
Follow
-
-
tracker Public
Local, git-friendly issue tracker with CLI (JSON) and TUI modes - built in Lean 4
Lean MIT License UpdatedJan 6, 2026 -
-
-
tessera Public
WebGL 2D vector rendering engine with SDF text, instanced points, and batch rendering
TypeScript MIT License UpdatedJan 6, 2026 -
afferent-demos Public
Standalone demo runner for the Afferent graphics framework
Lean MIT License UpdatedJan 6, 2026 -
-
-
-
earcut Public
Forked from mapbox/earcutThe fastest and smallest JavaScript polygon triangulation library for your WebGL apps
JavaScript ISC License UpdatedJan 4, 2026 -
-
convergent Public
Operation-based CRDT (CmRDT) library for Lean 4
Lean MIT License UpdatedJan 2, 2026 -
-
-
-
-
stencil Public
Mustache/Handlebars-style template engine for Lean 4
Lean MIT License UpdatedJan 1, 2026 -
reactive Public
Reflex-style Functional Reactive Programming library for Lean 4
Lean MIT License UpdatedJan 1, 2026 -
-
solitaire Public
Terminal-based Klondike Solitaire written in Lean 4
Lean MIT License UpdatedJan 1, 2026 -
-
tracer Public
Distributed tracing library for Lean 4 with W3C Trace Context support
Lean MIT License UpdatedDec 31, 2025 -
-
-
-
-
-
-
-