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.
  ☆19Updated 2 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆97Updated this week
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• VMatthijs / CHAD
  ☆21Updated 3 years ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 8 months ago
• ocramz / ad-delcont
  Reverse-mode automatic differentiation with delimited continuations
  ☆15Updated 2 years ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆11Updated last month
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆25Updated 2 weeks ago
• conal / felix
  Agda category theory library for denotational design
  ☆51Updated last year
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆67Updated this week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆74Updated 8 years ago
• machine-intelligence / provability
  ☆38Updated 9 years ago
• DavidJaz / DynamicalSystemsBook
  ☆49Updated last year
• konn / ad-delcont-primop
  ☆21Updated 2 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆17Updated 10 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆14Updated 9 months ago
• folivetti / pandoc-symreg
  pandoc-like tool for symbolic regression expressions
  ☆14Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 5 months ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆109Updated 4 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆92Updated this week
• david-christiansen / bob24
  ☆16Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 8 months ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆36Updated last week
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated last month
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆38Updated this week
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 2 months ago
• diku-dk / pmph-e2024-pub
  ☆19Updated 6 months ago