GitHub topics: graph-transformation-systems
eMoflon/emoflon-ibex-hipe
Incremental unidirectional and bidirectional graph transformations with the HiPE incremental parallel pattern matching engine
Language: Java - Size: 17.5 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 1
eMoflon/emoflon-ibex-tests
A collection of all tests for ibex variants
Language: Java - Size: 82.3 MB - Last synced at: 14 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0
eMoflon/emoflon-ibex
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
Language: Java - Size: 72.2 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 12 - Forks: 4
eMoflon/emoflon-ibex-ui
Independent and reusable GUI components for graph transformation rules and Triple Graph Grammars
Language: Java - Size: 6.44 MB - Last synced at: 11 months ago - Pushed at: 12 months ago - Stars: 5 - Forks: 2
eMoflon/emoflon-ibex-democles
Incremental unidirectional and bidirectional graph transformations with the Democles pattern matching engine
Language: Java - Size: 183 MB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 2
nl-utwente-groove/samples
GROOVE sample rule systems
Language: Groovy - Size: 1.55 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
Kappa-Dev/ReGraph
Tool for building graph-based hierarchical knowledge representation systems
Language: Python - Size: 107 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 70 - Forks: 15
Verites/verigraph
Software specification and verification system based on graph rewriting
Language: Haskell - Size: 2.91 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 36 - Forks: 4
elhoussam/Formalism
its implementation for the graph transformation from OMACS framework TO PNS framework
Language: Python - Size: 20 MB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0
jar2333/GRE.NET
simple labelled graph rewriting for .NET
Language: C# - Size: 135 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
patrickrobrecht/thesis-emoflon-ibex-gt
LaTeX source code of my Master's thesis "Incremental Unidirectional Model Transformation via Graph Transformation with eMoflon::IBeX"
Language: TeX - Size: 2.02 MB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
