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-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 2 months ago
• 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
  ☆13Updated 10 months ago
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆18Updated last year
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 11 months ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• dignissimus / Untangle
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆27Updated last year
• diku-dk / pmph-e2024-pub
  ☆19Updated 9 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆76Updated last year
• bollu / lean-to
  Jupyter notebook for the Lean4 programming language
  ☆26Updated 3 years ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆202Updated this week
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆30Updated 3 weeks ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆70Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated last week
• MevenBertrand / NbEReadingGroup
  A repository for material from the reading group on NbE
  ☆17Updated 2 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆21Updated last month
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆112Updated last year
• leanprover / KLR
  A formalization of ML kernel languages
  ☆29Updated this week
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆52Updated last month
• MixedMatched / formalizing-game-theory
  Example formalization of Game Theoretic concepts in Lean
  ☆22Updated 8 months ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• MPLLang / parallel-ml-bench
  Parallel ML benchmark suite
  ☆19Updated this week
• david-christiansen / bob24
  ☆16Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 8 months ago
• VMatthijs / CHAD
  ☆21Updated 3 years ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 5 months ago
• conal / felix
  Agda category theory library for denotational design
  ☆53Updated 2 weeks ago
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆98Updated this week