Alternatives and similar repositories for hpps-e2024-pub

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

• diku-dk / pmph-e2024-pub
  ☆19Updated 10 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆15Updated last month
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• 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
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆99Updated 3 months ago
• MixedMatched / formalizing-game-theory
  Example formalization of Game Theoretic concepts in Lean
  ☆22Updated 9 months ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated 3 weeks ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆13Updated 11 months ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated last year
• google / mlir-hs
  Haskell bindings for MLIR
  ☆118Updated 9 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆123Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆128Updated this week
• 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…
  ☆38Updated this week
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated 2 months ago
• opencompl / egg-tactic-code
  ☆16Updated 2 years ago
• leanprover / KLR
  A formalization of ML kernel languages
  ☆31Updated this week
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆26Updated 4 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 9 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆112Updated last year
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆19Updated last year
• VMatthijs / CHAD
  ☆21Updated 3 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆21Updated 2 months ago
• yarrow-id / diagrams
  string diagrams for the working programmer
  ☆13Updated 2 years ago
• acornprover / acorn
  The core implementation of the Acorn language.
  ☆34Updated this week
• bollu / lean-to
  Jupyter notebook for the Lean4 programming language
  ☆26Updated 3 years ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆71Updated last year
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆77Updated last week
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆118Updated this week