Alternatives and similar repositories for overture

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

• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆32Updated 3 weeks ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆161Updated last week
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆290Updated last month
• SRI-CSL / PVS
  The People's Verification System
  ☆161Updated this week
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆37Updated 10 months ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆33Updated 5 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆50Updated 3 months ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆37Updated last year
• rewriting / tom
  ☆34Updated 4 years ago
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆66Updated 7 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆136Updated 3 months ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆57Updated last year
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆37Updated last year
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆61Updated last week
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 5 months ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• AdaCore / Certyflie
  ☆34Updated 7 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆72Updated this week
• grammarware / bx-parsing
  Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, For…
  ☆18Updated 5 years ago
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆30Updated 4 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆70Updated 3 years ago
• AdaCore / langkit
  Language creation framework.
  ☆87Updated last week
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 6 years ago