https://github.com/ftsrg/gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

code-generation composition eclipse formal-verification model-transformations research statechart tool

Last synced: 10 Feb 2026

https://github.com/divengine/div

A powerful PHP template engine optimized for dynamic code generation and model-driven architecture. Process templates recursively, customize syntax through unique dialects, and seamlessly integrate with various data formats and programming environments.

code-generation custom-language model-driven-development model-transformations php template-engine template-language

Last synced: 11 Jan 2026

https://github.com/emoflon/emoflon-ibex

Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations

bidirectional graph-transformation graph-transformation-systems incremental model-driven-development model-transformations tgg triple-graph-grammars unidirectional

Last synced: 06 May 2025

https://github.com/emoflon/emoflon-victory

A visual debugger for graph transformation systems

debugging-tool graph-transformation model-transformations tggs triple-graph-grammars

Last synced: 06 May 2025

https://github.com/pkoerner/lisb

b-method dsl embedding event-b formal-methods model-transformations tooling

Last synced: 22 Oct 2025

https://github.com/emoflon/emoflon-ibex-eclipse-build

CI and build scripts for eMoflon::IBeX Eclipse installations.

ci eclipse emoflon ide model-transformations modeling

Last synced: 06 May 2025

https://github.com/ramsondon/xng

Lightweight javascript templating engine based on lodash

asynchronous auto-load javascript lodash model-transformations promises template-engine templates xng

Last synced: 24 Jan 2026

https://github.com/emoflon/emoflon-ibex-tests

A collection of all tests for ibex variants

graph-api graph-transformation graph-transformation-systems model-driven-development model-transformations tgg triple-graph-grammars

Last synced: 06 May 2025

https://github.com/emoflon/emoflon-ibex-vm

CI and build scripts for the eMoflon::IBeX VM based on Ubuntu.

ci emoflon model-transformations modeling ubuntu vagrant virtualbox virtualbox-vm vm

Last synced: 06 May 2025

https://github.com/emoflon/emoflon-ibex-democles

Incremental unidirectional and bidirectional graph transformations with the Democles pattern matching engine

emoflon graph-transformation graph-transformation-systems ibex incremental-pattern-matching model-transformations pattern-matching tgg triple-graph-grammars

Last synced: 23 Jan 2026

https://github.com/emoflon/emoflon-ibex-examples

All examples and artefacts used for the eMoflon::IBeX handbook.

graph-transformation model-transformations

Last synced: 02 Mar 2025

https://github.com/patrickrobrecht/thesis-emoflon-ibex-gt

LaTeX source code of my Master's thesis "Incremental Unidirectional Model Transformation via Graph Transformation with eMoflon::IBeX"

emoflon graph-transformation graph-transformation-systems model-transformations

Last synced: 01 Sep 2025

https://github.com/emoflon/emoflon-ibex-hipe

Incremental unidirectional and bidirectional graph transformations with the HiPE incremental parallel pattern matching engine

emoflon graph-transformation graph-transformation-systems incremental-pattern-matching model-transformations parallel-pattern-matching pattern-matching tgg triple-graph-grammars

Last synced: 02 Mar 2025