IagoAbal / haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
☆57Updated 6 months ago
Related projects: ⓘ
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated last year
- Sturdy is a library for developing sound static analyses in Haskell.☆60Updated last year
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆55Updated 5 months ago
- Prototype implementations of systems based on setoid type theory☆64Updated 3 years ago
- Unification and type inference algorithms☆123Updated 9 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- Agda bindings to SMT-LIB2 compatible solvers.☆94Updated 5 months ago
- Agda formalisation of second-order abstract syntax