Alternatives and similar repositories for ap-e2024-pub

Users that are interested in ap-e2024-pub are comparing it to the libraries listed below

• diku-dk / howto
  How do I DIKU? How indeed.
  ☆28Updated 3 weeks ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆267Updated last week
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆262Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆311Updated 3 months ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆192Updated last week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆396Updated this week
• agda / agda-categories
  A new Categories library for Agda
  ☆387Updated last week
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆125Updated 3 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆163Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 3 months ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆107Updated 4 years ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆213Updated 3 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆268Updated last week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated last month
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆103Updated 3 years ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆69Updated 2 months ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 7 months ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆247Updated last month
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆102Updated last month
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆12Updated 9 months ago
• thehottgame / theHoTTGameGuide
  ☆24Updated last month
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 2 weeks ago
• felixwellen / synthetic-zariski
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆65Updated this week
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated 11 months ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆733Updated last month
• RedPRL / cooltt
  😎TT
  ☆231Updated last month
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆306Updated last year
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆23Updated last month
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated this week