nicoabie / quickcheck
Randomized testing for Prolog à la QuickCheck
☆23Updated 5 years ago
Alternatives and similar repositories for quickcheck:
Users that are interested in quickcheck are comparing it to the libraries listed below
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 6 years ago
- Programming in Tabled Prolog by David S Warren☆22Updated 4 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆28Updated 7 years ago
- Logic for story telling!☆34Updated 6 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆10Updated last year
- ☆51Updated 2 months ago
- Boolean Constraint Solving in Prolog☆39Updated 2 months ago
- Interpreter for the reversible functional language rFun☆36Updated 6 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago
- ☆59Updated 5 years ago
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 8 years ago
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆16Updated 3 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 8 months ago
- HoTT in Lean 3☆78Updated 4 years ago
- Functional Geometry in Prolog☆17Updated 4 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- ☆13Updated 5 years ago
- Miller/pattern unification in Agda☆64Updated 11 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- A (formalised) general definition of type theories☆57Updated 3 years ago
- staged relational interpreters: running with holes, faster☆128Updated 3 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- The Ynot Project source code.☆21Updated 10 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆21Updated 3 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆71Updated 2 years ago
- Prolog implementation of microKanren☆41Updated 10 years ago