Alternatives and similar repositories for ap-e2025-pub

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

• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated 11 months ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆14Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last week
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆13Updated last year
• eschnett / mpi-hs
  MPI bindings for Haskell
  ☆18Updated last year
• danelahman / lograc-2022
  Git repository for the course Logika v računalništvu
  ☆15Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆92Updated 3 weeks ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆42Updated this week
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆121Updated 7 months ago
• RedPRL / cooltt
  😎TT
  ☆238Updated last month
• ekmett / half
  half-precision floating-point
  ☆17Updated 3 months ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆35Updated last year
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Updated 3 years ago
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆26Updated 5 years ago
• well-typed / haskell-debugger
  A modern step-through debugger for GHC Haskell
  ☆88Updated 3 weeks ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆72Updated last year
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆59Updated 4 years ago
• ElifUskuplu / Stlc_deBruijn
  Simply Typed Lambda Calculus with de Bruijn indices
  ☆16Updated 9 months ago
• dmjio / typed-interpolation
  Type-level interpolations in various forms
  ☆12Updated last year
• faulhornlabs / csip
  ☆24Updated 3 weeks ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated 5 months ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆29Updated this week
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆61Updated this week
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 4 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated 3 weeks ago
• fizruk / simple-topes
  Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
  ☆18Updated 2 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆31Updated 3 months ago