letmaik / monadiccp
Monadic Constraint Programming framework
☆28Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for monadiccp
- Fun plugin to play with the Gallina AST.☆38Updated 5 years ago
- An equational theorem prover based on Knuth-Bendix completion☆49Updated 5 months ago
- Dependently Typed Metaprogramming Exercises☆22Updated 6 years ago
- Directed type theory for formal category theory☆16Updated 7 years ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- ☆28Updated 6 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆33Updated 5 years ago
- Constructive Galois connections☆32Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆69Updated 2 years ago
- HoTT in Lean 3☆75Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- ☆46Updated last month
- Web based opetopic editor☆34Updated 2 weeks ago
- Dependently-typed structures for quantum physics in Idris☆13Updated 8 years ago
- BDD-based implementation of Datalog☆36Updated 4 years ago
- ☆44Updated last year
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Observational Type Theory as an Agda library☆50Updated 7 years ago
- Paper and talk☆45Updated last year
- Algebraic Combinatorics in Coq☆36Updated last month
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- A showcase of interesting code and proof developments in Cedille☆36Updated last year
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- apkg - package manager for Agda☆38Updated 3 years ago
- Synthetic Differential Geometry in Agda☆12Updated 9 years ago
- Implementation of Nuprl's type theory in Coq☆44Updated 3 years ago