Alternatives and similar repositories for quickcheck

Users that are interested in quickcheck are comparing it to the libraries listed below

• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
  ☆11Updated last year
• rfindler / 395-2013
  ☆14Updated 6 years ago
• aprolog-lang / aprolog
  αProlog
  ☆18Updated last year
• clf / celf
  ☆60Updated 5 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 6 months ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated 2 months ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆30Updated 4 years ago
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆16Updated 2 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆45Updated 3 weeks ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 4 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 5 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• mndrix / dcg_util
  DCG utility predicates for Prolog
  ☆10Updated 10 years ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Updated 3 years ago
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 2 years ago
• halfaya / BayHac
  ☆11Updated 7 years ago
• pdarragh / parsing-with-zippers-paper-artifact
  The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
  ☆28Updated last year
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆22Updated 5 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• pa-ba / calc-comp
  Coq proofs for the paper "Calculating Correct Compilers"
  ☆30Updated last year
• meta-logic / lltp
  TPTP linear logic version
  ☆13Updated 4 months ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆73Updated 3 years ago