graph-transformation-systems

There are 11 repositories under graph-transformation-systems topic.

Kappa-Dev/ReGraph
Tool for building graph-based hierarchical knowledge representation systems
Language:Python76 8 916
Verites/verigraph
Software specification and verification system based on graph rewriting
Language:Haskell37 6 624
eMoflon/emoflon-ibex
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
Language:Java15 13 1774
eMoflon/emoflon-ibex-ui
Independent and reusable GUI components for graph transformation rules and Triple Graph Grammars
Language:Java5 11 1222
jar2333/GRE.NET
simple labelled graph rewriting for .NET
Language:C#4 3 00
elhoussam/Formalism
its implementation for the graph transformation from OMACS framework TO PNS framework
Language:Python2 1 00
eMoflon/emoflon-ibex-tests
A collection of all tests for ibex variants
Language:Java2 11 360
eMoflon/emoflon-ibex-democles
Incremental unidirectional and bidirectional graph transformations with the Democles pattern matching engine
Language:Java1 12 542
nl-utwente-groove/samples
GROOVE sample rule systems
Language:Groovy0 1 00
eMoflon/emoflon-ibex-hipe
Incremental unidirectional and bidirectional graph transformations with the HiPE incremental parallel pattern matching engine
Language:Java7 11
patrickrobrecht/thesis-emoflon-ibex-gt
LaTeX source code of my Master's thesis "Incremental Unidirectional Model Transformation via Graph Transformation with eMoflon::IBeX"
Language:TeX1 0