Alternatives and similar repositories for DesignBIP

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

• ExpoSEJS / z3javascript
  A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
  ☆23Updated last year
• will62794 / logless-reconfig
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆12Updated 7 months ago
• TypeFox / chevrotain-allstar
  Plugin module for the ALL(*) lookahead algorithm in Chevrotain
  ☆12Updated last year
• fm4se / fm-playground
  A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
  ☆14Updated this week
• LionWeb-io / lionweb-typescript
  Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.
  ☆11Updated this week
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated last week
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆11Updated 7 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 9 months ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 7 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆67Updated 3 weeks ago
• kieler / KLighD
  KIELER Lightweight Diagams
  ☆36Updated last month
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 3 weeks ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆80Updated last week
• SteKoe / ocl.js
  The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…
  ☆57Updated this week
• json-schema-tools / transpiler
  Transpile JSON Schema to Type aliases for many languages
  ☆26Updated 6 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆87Updated last week
• rubensworks / rdf-data-factory.js
  A TypeScript/JavaScript implementation of the RDF/JS data factory.
  ☆11Updated last month
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆23Updated 6 months ago
• cwi-swat / meta-environment
  The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…
  ☆16Updated 12 years ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆66Updated 10 months ago
• pubkey / binary-decision-diagram
  A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
  ☆34Updated this week
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 5 months ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated this week
• eclipse-sprotty / sprotty-server
  Server implementation for the Sprotty diagramming framework
  ☆24Updated 8 months ago
• stardog-union / millan
  The Stardog Whisperer: TypeScript/JS parsers for Stardog languages
  ☆16Updated last week