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 11 months ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆14Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last week
• AlexKontorovich / PrimeNumberTheoremAnd
  Blueprint for the PNT+ Project
  ☆218Updated this week
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆21Updated 4 months ago
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆81Updated this week
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆20Updated 3 years ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆125Updated 3 months ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated last year
• MixedMatched / formalizing-game-theory
  Example formalization of Game Theoretic concepts in Lean
  ☆24Updated 10 months ago
• teorth / expdb
  Exponent pair database
  ☆67Updated last week
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆116Updated last year
• GasStationManager / LeanTool
  A "code intepreter" for Lean
  ☆75Updated 4 months ago
• madvorak / read-lean
  How to read Lean
  ☆22Updated 11 months ago
• RemyDegenne / brownian-motion
  Construction of a Brownian Motion in Lean
  ☆38Updated this week
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated 11 months ago
• VMatthijs / CHAD
  ☆22Updated 3 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated 3 weeks ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆85Updated this week
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆111Updated last month
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆63Updated last year
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆44Updated 3 weeks ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆76Updated 2 years ago
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆131Updated 3 years ago
• leanprover-community / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆177Updated 3 weeks ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year