Alternatives and similar repositories for conjure:

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

• formalabstracts / formalabstracts
  ☆161Updated 5 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆204Updated 3 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated 2 years ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆139Updated 4 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆82Updated 4 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆156Updated last week
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆87Updated 4 months ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆69Updated 8 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last week
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 3 months ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆74Updated last month
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆301Updated last week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆74Updated 5 months ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆120Updated this week
• clf / celf
  ☆59Updated 5 years ago