Alternatives and similar repositories for pnmlframework

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

• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated 2 months ago
• fpom / snakes
  SNAKES is the Net Algebra Kit for Editors and Simulators
  ☆98Updated last year
• dalzilio / mcc
  High-Level Nets Blaster for the Model-Checking Contest
  ☆10Updated 3 weeks ago
• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆14Updated 3 years ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 3 years ago
• itemis / itemis-blog
  ☆27Updated 5 years ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆39Updated last week
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated last year
• johnyf / tool_lists
  Links to tools by subject
  ☆388Updated last year
• rkirsling / modallogic
  Modal Logic Playground
  ☆375Updated 2 years ago
• xtext / maven-xtext-example
  An Xtext language and example usage of it built with Maven
  ☆62Updated 2 weeks ago
• gemoc / farmingmodeling
  DSLs for modeling and analyzing farming systems
  ☆12Updated 8 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆30Updated 2 years ago
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆55Updated 3 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆160Updated 9 months ago
• TelluIoT / ThingML
  The ThingML modelling language
  ☆108Updated last year
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆99Updated last week
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆83Updated 5 months ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆26Updated 2 months ago
• LorenzoBettini / packtpub-xtext-book-2nd-examples
  This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"
  ☆74Updated 5 years ago
• sami-evangelista / helena
  the helena Petri net tool repository
  ☆11Updated 4 years ago
• pcooksey / bibtex-js
  BibTeX-js can parse a BibTeX-file and render it as part of an HTML file. This way, you can easily add a list of publications to your priv…
  ☆280Updated 5 years ago
• catedrasaes-umu / emf4cpp
  Eclipse Modeling Framework for C++
  ☆46Updated 4 years ago
• svenefftinge / xtext-lsp-workshop
  Tutorial: Building a language server for your DSL with Xtext
  ☆27Updated 2 years ago
• emfjson / ecore.js
  Ecore for JavaScript
  ☆70Updated 7 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆34Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆52Updated last month
• eclipse-gemoc / gemoc-studio
  gemoc-studio
  ☆28Updated 11 months ago
• ths-rwth / smtrat
  ☆61Updated 2 months ago