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 / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆17Updated last year
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 10 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆98Updated last month
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated last month
• diku-dk / pmph-e2024-pub
  ☆19Updated 8 months ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 4 months ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• 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…
  ☆37Updated this week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated 2 weeks ago
• VMatthijs / CHAD
  ☆21Updated 3 years ago
• DavidJaz / DynamicalSystemsBook
  ☆50Updated last year
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 7 months ago
• madvorak / lean4-tactics
  Overview of tactics in Lean 4 for beginners — longer version
  ☆91Updated 2 months ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆14Updated 2 weeks ago
• madvorak / lean3-tactic-lean4
  Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
  ☆27Updated 10 months ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆25Updated 2 months ago
• leanprover / KLR
  A formalization of ML kernel languages
  ☆26Updated this week
• dignissimus / Untangle
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆27Updated last year
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆40Updated last week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆120Updated 10 months ago
• Shamrock-Frost / BrouwerFixedPoint
  ☆17Updated last year
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆77Updated last year
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• opencompl / egg-tactic-code
  ☆16Updated 2 years ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆213Updated 3 weeks ago
• leanprover / verso
  Lean documentation authoring tool
  ☆218Updated this week
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆110Updated this week