dbueno / funsat
An efficient, embeddable DPLL SAT solver in Haskell
☆37Updated 9 years ago
Alternatives and similar repositories for funsat
Users that are interested in funsat are comparing it to the libraries listed below
Sorting:
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- NbE course @ Chalmers☆28Updated 7 months ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Constructive Galois connections☆32Updated 7 years ago
- ☆23Updated last year
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- ☆21Updated 5 months ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆61Updated last year
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- The Evolution of a Typechecker☆54Updated 6 years ago
- Agda programming with holes☆27Updated 4 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 5 months ago
- Unification and type inference algorithms☆125Updated 10 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆51Updated 9 months ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆22Updated 6 years ago
- Literature review of GHC's Core language, System FC☆67Updated 6 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆14Updated 7 years ago
- Self-contained repository for the eponymous paper☆29Updated 6 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- Machine-checked Agda formalization for the ILC project☆15Updated 7 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- being the beginnings of at least zero typecheckers☆33Updated 8 years ago
- The Prettiest Printer☆34Updated last year
- ☆45Updated 5 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 6 years ago
- ICFP tutorial☆39Updated 3 years ago