Alternatives and similar repositories for pnmlframework

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

• 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
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated last month
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆55Updated 2 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• gemoc / farmingmodeling
  DSLs for modeling and analyzing farming systems
  ☆12Updated 8 years ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago
• itemis / itemis-blog
  ☆27Updated 4 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)…
  ☆34Updated 2 years ago
• jcabot / ocl-repository
  A repository for examples of all kinds of OCL (Object Constraint Language) expressions
  ☆25Updated 9 years ago
• xtext / maven-xtext-example
  An Xtext language and example usage of it built with Maven
  ☆62Updated 2 weeks ago
• ricardojlrufino / eclipse-cdt-standalone-astparser
  Example using the Eclipse CDT Parser API
  ☆63Updated 7 years ago
• johnyf / tool_lists
  Links to tools by subject
  ☆386Updated last year
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated last year
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated 2 weeks ago
• dslmeinte / polyglot-emf
  Proposal(s) to make EMF polyglot.
  ☆11Updated 4 years ago
• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆14Updated 3 years ago
• 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
• fpom / snakes
  SNAKES is the Net Algebra Kit for Editors and Simulators
  ☆96Updated last year
• borkdominik / bigUML
  A UML web modeling tool based on GLSP, distributed via a VS Code extension.
  ☆50Updated last week
• itemis / xtext-languageserver-example
  An Example for an Xtext Language Server
  ☆55Updated 2 years ago
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆24Updated 3 years ago
• TelluIoT / ThingML
  The ThingML modelling language
  ☆108Updated last year
• catedrasaes-umu / emf4cpp
  Eclipse Modeling Framework for C++
  ☆46Updated 4 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆138Updated last month
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• dalzilio / mcc
  High-Level Nets Blaster for the Model-Checking Contest
  ☆10Updated last year
• 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…
  ☆168Updated last week
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated last week
• LionWeb-io / lionweb-typescript
  Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.
  ☆11Updated 2 weeks ago
• iig-uni-freiburg / WOLFGANG
  Petri Net Editor
  ☆26Updated 8 years ago