Alternatives and similar repositories for conceptual-mathematics

Users that are interested in conceptual-mathematics are comparing it to the libraries listed below

• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 10 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆58Updated this week
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆127Updated last year
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆74Updated 4 months ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆100Updated 2 weeks ago
• ToposInstitute / poly
  ☆116Updated 11 months ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated 2 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated last month
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆90Updated 7 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆80Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆189Updated last week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆130Updated 2 years ago
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆63Updated 2 weeks ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 4 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆259Updated this week
• conal / Collaboration
  Play/learn/work with me
  ☆106Updated 2 months ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆83Updated 9 years ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆74Updated 2 months ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆53Updated last month
• cedille / ial
  The Iowa Agda Library
  ☆48Updated 3 weeks ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆150Updated last month
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆59Updated last year
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated last month
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆66Updated 9 months ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆63Updated 3 years ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆51Updated 3 weeks ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆53Updated last week