Alternatives and similar repositories for hpps-e2024-pub

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

• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated last week
• diku-dk / pmph-e2024-pub
  ☆19Updated last year
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 4 years ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆15Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last month
• VMatthijs / CHAD
  ☆22Updated 3 years ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆120Updated last month
• leanprover / KLR
  A formalization of ML kernel languages
  ☆41Updated this week
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆26Updated 7 months ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated last year
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆21Updated 4 months ago
• diku-dk / ap-e2025-pub
  Public repository for Advanced Programming
  ☆60Updated 3 months ago
• madvorak / read-lean
  How to read Lean
  ☆22Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆208Updated 4 months ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆43Updated this week
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆210Updated this week
• janestreet / torch
  ☆148Updated 3 weeks ago
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆20Updated last year
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆35Updated 4 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆118Updated last year
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆116Updated last week
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆73Updated 6 months ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆121Updated this week
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated 2 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated 2 years ago
• opencompl / egg-tactic-code
  ☆16Updated 2 years ago
• lean-forward / logical_verification_2025
  The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
  ☆89Updated 9 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆329Updated this week
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆87Updated last week
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆126Updated 4 months ago