conjure-cp / conjure

Related projects ⓘ

Alternatives and complementary repositories for conjure

• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 7 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 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…
  ☆139Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 weeks ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆200Updated last week
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• coq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆111Updated this week
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆155Updated 2 months ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• formalabstracts / formalabstracts
  ☆159Updated 5 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆117Updated this week
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆51Updated 3 years ago
• andrejbauer / marshall
  Real number computation software
  ☆121Updated 2 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆92Updated this week
• gebner / hott3
  HoTT in Lean 3
  ☆75Updated 4 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆69Updated last month
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆79Updated 2 months ago
• affeldt-aist / infotheo
  A Coq formalization of information theory and linear error-correcting codes
  ☆64Updated last week
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆104Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• eprover / eprover
  ☆134Updated 2 weeks ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆194Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆48Updated 2 years ago
• clf / celf
  ☆59Updated 5 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 3 years ago