ncatlab / nlab-content
A file-based mirror of the nLab wiki (Markdown+itex2MML format).
☆22Updated this week
Related projects ⓘ
Alternatives and complementary repositories for nlab-content
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆45Updated last month
- Lean type-checker written in Scala.☆31Updated 2 years ago
- Agda category theory library for denotational design☆48Updated 5 months ago
- Datatypes as quotients of polynomial functors☆34Updated 4 years ago
- ☆13Updated 3 years ago
- Software Foundations using the Lean Theorem Prover☆23Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆22Updated last month
- A date and time library for Lean 4☆11Updated 6 months ago
- Kan: A browser extension for reading nLab☆25Updated 6 years ago
- A book about functional programming in Lean☆39Updated 9 months ago
- Ground Zero: Lean 4 HoTT Library☆45Updated 3 weeks ago
- ☆21Updated 2 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆29Updated 5 months ago
- ☆22Updated last week
- ☆15Updated 5 months ago
- ☆17Updated 2 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated last year
- ☆12Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆48Updated 9 months ago
- Effective Algebraic Topology in Haskell☆85Updated last month
- Library implementing type inference/checking functionality based on the Lean theorem prover☆38Updated 4 months ago
- Mirror of ocaml-forester☆40Updated 4 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆60Updated 3 weeks ago
- Programming Language Foundations in Lean☆19Updated 11 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆78Updated 8 years ago