Alternatives and similar repositories for gamma

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

• catedrasaes-umu / emf4cpp
  Eclipse Modeling Framework for C++
  ☆45Updated 4 years ago
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆24Updated 2 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆49Updated this week
• itemisCREATE / statecharts
  YAKINDU Statechart Tools (http://www.statecharts.org)
  ☆184Updated 4 years ago
• eclipse-sprotty / sprotty-server
  Server implementation for the Sprotty diagramming framework
  ☆24Updated 10 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• itemisCREATE / examples
  YAKINDU Statechart Tools examples
  ☆21Updated 3 weeks ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆56Updated this week
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• Open-MBEE / mcf
  The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…
  ☆14Updated last year
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆113Updated 2 weeks ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• itsallcode / openfasttrace
  Open source requirement tracing suite
  ☆123Updated last week
• coco-team / cocoSim-deprecated
  Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)
  ☆25Updated 8 years ago
• DLR-FT / ModelBasedSTPA
  ☆10Updated last month
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆182Updated 9 months ago
• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆14Updated 3 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 3 weeks ago
• google / statechart
  C++ StateChart Library
  ☆121Updated 5 years ago
• eclipse-openmcx / openmcx
  openmcx
  ☆39Updated 7 months ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆44Updated last year
• OpenAADL / AADLib
  Library of AADL models
  ☆45Updated 11 months ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• eclipse-capella / capella-requirements-vp
  This add-on allows importing a set of requirements from a ReqIF file
  ☆22Updated 5 months ago
• tklab-tud / uscxml
  SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua
  ☆111Updated 8 months 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 last year
• eclipse-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆110Updated this week