Popular repositories Loading

1. living-syllabus living-syllabus Public

   A smart syllabus builder for complex courses. It 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 mapping topological friction to execute non-well-founded algorithms on bare-metal hardware.

   Lean 2

3. foam-block-ids foam-block-ids Public

   Forked from foambubble/foam

   Adding block-level identifiers with ^abc123 syntax.

   TypeScript 1

4. point-blank point-blank Public

   A 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. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean