Alternatives and similar repositories for overture

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

• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 9 months ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 9 months ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆32Updated 2 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆36Updated last year
• cea-hpc / NabLab
  Full-fledged industrial environment for scientific computing and High Performance Computing
  ☆18Updated 2 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆70Updated 3 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆36Updated last year
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• yurifw / Visual-Automata-Simulator
  This small application allows to create and simulate any Deterministic or Non-Deterministic Finite Automata (DFA or NFA) as well as Turin…
  ☆9Updated 3 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…
  ☆158Updated this week
• markusvoelter / ProgrammingBasics
  How to think like a programmer.
  ☆38Updated last year
• fadoss / maude-bindings
  Language bindings for Maude
  ☆23Updated 6 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• eclipse-sprotty / sprotty-server
  Server implementation for the Sprotty diagramming framework
  ☆24Updated 8 months ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆32Updated last month
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆37Updated 7 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated 2 years ago
• elbrujohalcon / hPage
  A scrapbook for Haskell developers
  ☆16Updated 14 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆228Updated last week
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 5 months ago
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆37Updated 10 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆125Updated 2 months ago