Pinned Loading

1. monist monist Public

   A high-performance Rust and WebGPU engine that compiles and executes experimental logic at hardware speed.

   Rust

2. nf-sketches nf-sketches Public

   A Lean 4 formal lab that mathematically guarantees the structural boundaries for NF Set Theory.

   Lean 2

3. living-syllabus living-syllabus Public

   Smart syllabus builder for complex courses. Manages evolving reading lists and deep content archives so you can focus on teaching rather than file management.

   CSS 2

4. point-blank point-blank Public

   VS Code extension that serves plain text and markdown bullet point outlining mode.

   TypeScript

5. tensor-sieve tensor-sieve Public

   Evaluating the Riemann Hypothesis in Lean 4 via p-adic shift operators and tensor networks.

   Lean

6. vici vici Public

   DJ tool for your browser with high quality audio output.

   JavaScript