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
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆25Updated last month
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 5 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆97Updated last week
• diku-dk / pmph-e2024-pub
  ☆19Updated 6 months ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 9 months ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 3 months ago
• diku-dk / ap-e2025-pub
  Public repository for Advanced Programming
  ☆16Updated this week
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆17Updated 10 months ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆108Updated this week
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆28Updated this week
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆208Updated this week
• VMatthijs / CHAD
  ☆21Updated 3 years ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆14Updated last week
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆51Updated last month
• DavidJaz / DynamicalSystemsBook
  ☆49Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 10 months ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated 2 months ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆76Updated last year
• dwrensha / lean4-maze
  maze game encoded in Lean 4 syntax
  ☆60Updated last month
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆70Updated 5 months ago
• sinhp / groupoid_model_in_lean4
  ☆24Updated this week
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆55Updated 2 months ago
• 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…
  ☆36Updated 3 weeks ago
• MixedMatched / formalizing-game-theory
  Example formalization of Game Theoretic concepts in Lean
  ☆20Updated 5 months ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆67Updated 9 months ago
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆72Updated this week