monae
by affeldt-aist
Monadic effects and equational reasonig in Coq
AI summary
monad library
A Coq library for formalizing and reasoning about monads with equational logic
- stars
- 70
- forks
- 12
- watching
- 6
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Code library
A formalization of information theory and linear error-correcting codes in Coq.
Robot math library
A Coq-based library for formal foundations of 3D geometry and robot manipulators
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
Relation algebra library
A collection of lemmas and tactics about lists and binary relations for a proof assistant
Monad library
A Kotlin implementation of monadic types for functional programming.
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Monad implementation library
A library for implementing monads by specifying instructions and their operational semantics
Monad library
A Scala macro-based library for creating typelevel monads with first-class support in IntelliJ
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Category theory library
An axiomatic formalization of category theory in Coq for personal study and practical work
haskell/mtl364
Monad transformer library
A collection of monad classes and transformers that enable functional programming in Haskell
Effect library
Provides fine-grained reasoning about effects in Haskell computations
Relation Algebra Library
A Coq library providing algebraic tools and tactics for working with binary relations
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions monae.
