Alternatives and similar repositories for conjure:

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

• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• formalabstracts / formalabstracts
  ☆162Updated 5 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…
  ☆141Updated 6 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆209Updated last week
• imdea-software / htt
  Hoare Type Theory
  ☆75Updated this week
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆124Updated 2 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆92Updated 7 months ago
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated 3 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• nadia-polikarpova / synquid
  ☆127Updated 3 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 6 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 2 weeks ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 6 months ago
• shnarazk / mios
  A SAT solver written in Haskell.
  ☆39Updated 6 years ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆311Updated this week
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆68Updated this week
• clf / celf
  ☆60Updated 5 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆160Updated last month