Pinned Loading

1. 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

2. nf-sketches nf-sketches Public

   A high-throughput combinatory logic engine, utilizing topological routing to execute non-well-founded algorithms natively on bare-metal hardware.

   Lean 2

3. point-blank point-blank Public

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

   TypeScript

4. tensor-sieve tensor-sieve Public

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

   Lean