Alternatives and similar repositories for monadiccp

Users that are interested in monadiccp are comparing it to the libraries listed below

• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 6 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆54Updated last week
• dlicata335 / hott-agda
  ☆84Updated 8 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆30Updated 6 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆24Updated 13 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 3 years ago
• dmoverton / finite-domain
  Finite domain constraint solver in Haskell
  ☆19Updated 3 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 5 years ago
• langston-barrett / coq-big-o
  A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
  ☆35Updated 8 years ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆77Updated 3 years ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆12Updated 2 weeks ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆55Updated 2 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 5 months ago
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• andrejbauer / what-is-algebraic-about-algebraic-effects
  ☆46Updated 6 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• gallais / thesis
  Syntaxes with Binding, Their Programs, and Proofs
  ☆23Updated last year
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆36Updated 4 years ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆54Updated 2 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆87Updated 2 months ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆38Updated 5 years ago