Alternatives and similar repositories for dpp-e2021-pub

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

• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated last week
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 3 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆71Updated 3 months ago
• ElifUskuplu / Stlc_deBruijn
  Simply Typed Lambda Calculus with de Bruijn indices
  ☆16Updated 7 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 2 months ago
• danelahman / lograc-2022
  Git repository for the course Logika v računalništvu
  ☆15Updated 3 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆47Updated 4 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆30Updated 3 weeks ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 4 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆121Updated last year
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆70Updated last year
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated 2 years ago
• JacquesCarette / QuantumPi
  Code repository for our work on Quantum Pi
  ☆10Updated last year
• RobertHarper / pl-syntax
  PL syntax macros.
  ☆19Updated 2 weeks ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 5 months ago
• leanprover / KLR
  A formalization of ML kernel languages
  ☆28Updated last week
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆89Updated 4 months ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated last year
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated last month
• uds-psl / coq-library-complexity
  ☆32Updated 2 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆56Updated last week
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated last month
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 6 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated 2 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated 2 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆88Updated this week