Alternatives and similar repositories for pmph-e2020-pub

Users that are interested in pmph-e2020-pub are comparing it to the libraries listed below

• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated 2 years ago
• cedille / ial
  The Iowa Agda Library
  ☆53Updated 2 months ago
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆130Updated 3 months ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆27Updated 2 months ago
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆104Updated last week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆133Updated 5 months ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆53Updated 3 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 4 years ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆59Updated last month
• favonia / hdtt2020-notes
  ☆38Updated 4 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆68Updated last month
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆171Updated last year
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆93Updated 7 months ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆138Updated 2 years ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆157Updated last week
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆27Updated 2 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆120Updated 3 weeks ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆125Updated 4 years ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆52Updated last month
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆24Updated last year
• gelisam / klister
  an implementation of stuck macros
  ☆151Updated last month
• RedPRL / cooltt
  😎TT
  ☆241Updated 2 months ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆86Updated 4 years ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆79Updated 9 months ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆68Updated 2 years ago
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆180Updated 2 weeks ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last month
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆95Updated last week