ncatlab / nlab-content

Related projects ⓘ

Alternatives and complementary repositories for nlab-content

• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆23Updated this week
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 2 years ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆45Updated last month
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆31Updated 2 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆48Updated 5 months ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆34Updated 4 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• alashworth / sf-lean
  Software Foundations using the Lean Theorem Prover
  ☆23Updated 4 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆22Updated last month
• ammkrn / timelib
  A date and time library for Lean 4
  ☆11Updated 6 months ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆25Updated 6 years ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆39Updated 9 months ago
• forked-from-1kasper / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆45Updated 3 weeks ago
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆29Updated 5 months ago
• nomeata / lean-calcify
  ☆22Updated last week
• LocalCharts / silviculture
  ☆15Updated 5 months ago
• agentultra / lean-4-hackers
  ☆17Updated 2 years ago
• tlringer / proof-demos
  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
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 3 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆48Updated 9 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆85Updated last month
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆38Updated 4 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆40Updated 4 months ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆60Updated 3 weeks ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆19Updated 11 months ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆78Updated 8 years ago