Alternatives and similar repositories for dpp-e2021-pub

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

• rwbarton / advent-of-lean-4
  Advent of Code 2020 solutions in Lean 4
  ☆26Updated 4 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated this week
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 4 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆58Updated 4 years ago
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• danelahman / lograc-2022
  Git repository for the course Logika v računalništvu
  ☆15Updated 3 years ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆71Updated last year
• ElifUskuplu / Stlc_deBruijn
  Simply Typed Lambda Calculus with de Bruijn indices
  ☆16Updated 8 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆123Updated last year
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 7 months ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆73Updated 5 months ago
• RobertHarper / pl-syntax
  PL syntax macros.
  ☆21Updated 2 weeks ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆61Updated this week
• math-comp / finmap
  Finite sets, finite maps, multisets and generic sets
  ☆51Updated last month
• jonsterling / project-pterosaur
  ☆45Updated 8 months ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆48Updated 4 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• fizruk / simple-topes
  Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
  ☆18Updated 2 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated 2 years ago
• cameronfreer / lean4-skills
  Claude skills for Lean 4 theorem proving
  ☆47Updated last month
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated last year
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆110Updated 10 years ago
• MevenBertrand / NbEReadingGroup
  A repository for material from the reading group on NbE
  ☆17Updated 2 years ago
• uds-psl / coq-library-complexity
  ☆33Updated 2 years ago
• dunnl / tealeaves
  A Coq library for abstract syntactical reasoning
  ☆24Updated 7 months ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆65Updated 3 years ago
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 3 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 4 months ago
• rocq-community / coq-plugin-template
  Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
  ☆22Updated 2 years ago