Alternatives and similar repositories for maude-bindings:

Users that are interested in maude-bindings are comparing it to the libraries listed below

• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆24Updated 3 weeks ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 3 months ago
• kframework / matching-logic-prover
  ☆15Updated 3 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated 7 years ago
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆17Updated 4 years ago
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• GaloisInc / lustre
  A parser and AST for Lustre
  ☆12Updated 3 months ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated last year
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• koengit / intuit
  An automated theorem prover for intuitionistic propostional logic
  ☆12Updated 4 years ago
• opencompl / egg-tactic-code
  ☆16Updated last year
• CertiGraph / CertiGraph
  A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
  ☆18Updated last week
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆75Updated 3 weeks ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated last year
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆47Updated last year
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆21Updated last year
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 10 months ago
• INRIA / velus
  A Lustre compiler in Coq
  ☆66Updated last month
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆29Updated this week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• KestrelInstitute / Specware
  Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…
  ☆21Updated 2 years ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆70Updated 2 months ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆10Updated 3 weeks ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 8 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago