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 last week
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆14Updated last year
• diku-dk / pmph-e2024-pub
  ☆19Updated 11 months ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆21Updated 3 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆13Updated last year
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆121Updated 6 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆278Updated 2 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆318Updated 6 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 3 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated last year
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 3 months ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆104Updated 3 years ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 10 months ago
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆356Updated 4 months ago
• felixwellen / synthetic-zariski
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆67Updated this week
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 6 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆279Updated 3 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆267Updated this week
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆125Updated 4 years ago
• UniMath / Schools
  ☆93Updated 8 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆169Updated last year
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆103Updated 4 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• diku-dk / ap-e2025-pub
  Public repository for Advanced Programming
  ☆60Updated last month
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆11Updated last month
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆180Updated 2 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆113Updated 2 weeks ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated this week