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
  ☆47Updated 2 weeks 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
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 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
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• Systems-Modeling / SysML-v2-Pilot-Implementation
  Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization
  ☆172Updated last week
• itemisCREATE / statecharts
  YAKINDU Statechart Tools (http://www.statecharts.org)
  ☆183Updated 4 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆54Updated this week
• eclipse-syson / syson
  SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact…
  ☆196Updated this week
• DLR-FT / ModelBasedSTPA
  ☆10Updated 2 weeks ago
• dbinfrago / py-capellambse
  A Python 3 headless implementation of the Capella modeling tool.
  ☆60Updated last week
• eclipse-capella / capella-requirements-vp
  This add-on allows importing a set of requirements from a ReqIF file
  ☆22Updated 4 months ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆180Updated 8 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated this week
• SE-Stuttgart / XSTAMPP
  XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…
  ☆28Updated 2 months ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• labs4capella / python4capella
  Python for Capella
  ☆66Updated 3 months ago
• Open-MBEE / exec-ve
  Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models
  ☆46Updated last year
• eclipse-capella / capella
  Open Source Solution for Model-Based Systems Engineering
  ☆281Updated last week
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆25Updated last year
• eclipse-sprotty / sprotty-vscode
  sprotty-vscode
  ☆58Updated last month
• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆14Updated 2 months ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆173Updated 2 weeks ago
• itsallcode / openfasttrace
  Open source requirement tracing suite
  ☆120Updated this week
• webgme / webgme
  Web-based Generic Modeling Environment
  ☆165Updated 7 months ago
• labs4capella / stpa-capella
  STPA Viewpoint for Capella
  ☆24Updated 2 months ago
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆210Updated last week