Alternatives and similar repositories for montre

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

• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 4 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆32Updated last month
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated 3 months ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated last month
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 8 months ago
• ths-rwth / smtrat
  ☆55Updated this week
• malyzajko / daisy
  ☆48Updated 2 weeks ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆20Updated 9 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆36Updated last year
• fredokun / arbogen
  a fast uniform random tree generator
  ☆31Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆20Updated 3 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 12 years ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆74Updated 3 weeks ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• evdenis / acsl-proved
  Fully proved small C functions (examples for verification course).
  ☆16Updated 8 years ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆24Updated 2 months ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆65Updated 2 months ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆16Updated 11 months ago