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 this week
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆12Updated 7 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆261Updated this week
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆19Updated last month
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆388Updated this week
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆190Updated last week
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆262Updated this week
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆125Updated 3 years ago
• diku-dk / pmph-e2024-pub
  ☆19Updated 6 months ago
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 8 months ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆244Updated 4 months ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆309Updated 2 months ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆55Updated 5 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 3 months ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆107Updated 4 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆103Updated 3 years ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated this week
• agda / agda-categories
  A new Categories library for Agda
  ☆384Updated last week
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 2 months ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆208Updated this week
• RedPRL / cooltt
  😎TT
  ☆231Updated last year
• thehottgame / theHoTTGameGuide
  ☆24Updated last year
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆264Updated last year
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆693Updated this week
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆101Updated 10 months ago