Alternatives and similar repositories for specifications:

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

• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆29Updated this week
• rewriting / tom
  ☆34Updated 4 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• StarExec / StarExec
  StarExec is a cross community logic solving service
  ☆17Updated 8 months ago
• smaccm / smaccm
  ☆33Updated 5 years ago
• SRI-CSL / PVS
  The People's Verification System
  ☆145Updated this week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 7 months ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆20Updated last month
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆48Updated 4 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 2 years ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆25Updated 3 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 3 months ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆72Updated 3 months ago
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆17Updated this week
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆24Updated 4 months ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆44Updated last year
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 3 months ago
• hexhex / core
  DLVHEX solver: core system and plugin API
  ☆25Updated 5 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated 3 weeks ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆64Updated 5 months ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 4 years ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago