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 / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• diku-dk / pmph-e2024-pub
  ☆19Updated 11 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 4 months ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆14Updated last year
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated last year
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆79Updated last week
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated this week
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆214Updated this week
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆19Updated last year
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆26Updated 5 months ago
• janestreet / torch
  ☆143Updated last month
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆107Updated 3 weeks ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆113Updated last year
• leanprover / KLR
  A formalization of ML kernel languages
  ☆32Updated this week
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆307Updated last week
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆206Updated 2 months ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆54Updated last month
• VMatthijs / CHAD
  ☆22Updated 3 years ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆199Updated last week
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆28Updated last week
• diku-dk / ap-e2025-pub
  Public repository for Advanced Programming
  ☆60Updated last month
• leanprover / reference-manual
  The Lean reference manual
  ☆90Updated this week
• dignissimus / Untangle
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆28Updated last year
• MixedMatched / formalizing-game-theory
  Example formalization of Game Theoretic concepts in Lean
  ☆24Updated 10 months ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆15Updated last week
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆21Updated 2 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆202Updated this week