Alternatives and similar repositories for dpp-e2022-pub:

Users that are interested in dpp-e2022-pub are comparing it to the libraries listed below

• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated last year
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 4 years ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆61Updated 4 months ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆75Updated 3 weeks ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 5 months ago
• teorth / symmetric_project
  ☆86Updated last year
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• funexists / coq-lean-cheatsheet
  A Cheat Sheet for Coq Developers who want to try LeanProver
  ☆15Updated last year
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆98Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated last week
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆77Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 3 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆188Updated last year
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆55Updated 2 years ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆69Updated 2 months ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆113Updated 3 weeks ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated last month
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆82Updated 5 months ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• tchajed / coq-tactical
  Library of Coq proof automation
  ☆16Updated 3 years ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆58Updated 2 months ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 10 months ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆46Updated 2 weeks ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆48Updated 4 months ago
• leanprover-community / mathport
  Mathport is a tool for porting Lean3 projects to Lean4
  ☆43Updated 3 months ago