ftsrg / gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
☆31Updated this week
Alternatives and similar repositories for gamma:
Users that are interested in gamma are comparing it to the libraries listed below
- The Melange Language Workbench☆29Updated last year
- Server implementation for the Sprotty diagramming framework☆24Updated 4 months ago
- ☆44Updated last year
- Eclipse Modeling Framework for C++☆46Updated 3 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆25Updated this week
- openmcx☆36Updated 2 weeks ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆22Updated 2 years ago
- COMODO2 is a Java tool that allows to transform a UML/SysML model into code for different software platforms.☆25Updated 10 months ago
- An efficient graph solver for generating well-formed models☆25Updated 2 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…☆14Updated 11 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- SysIDE provides SysML v2 language support in VS Code☆31Updated last month
- This repository hosts all the projects used in the MDSE Book☆15Updated 5 years ago
- ☆13Updated 2 years ago
- YAKINDU Statechart Tools (http://www.statecharts.org)☆178Updated 4 years ago
- Recipes for using the SysML v2 API☆36Updated 2 weeks ago
- MPS-extensions aims to ease language development within MPS.☆85Updated this week
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated last year
- The front-end of the INTO-CPS tool chain☆20Updated last week
- Open Source AADL2 Tool Environment☆44Updated 5 months ago
- An example Xtext DSL in Theia with Sprotty visualisation☆73Updated 4 years ago
- A Theia Application with DSL support through an Xtext Language Server☆29Updated 2 years ago
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆71Updated last week
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆144Updated this week
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆89Updated this week
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- Python Model to Text framework for PyEcore, including the Ecore to Python generator☆31Updated 3 years ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆105Updated last year
- Components for web-based C/C++ tools☆17Updated 10 months ago