GitHub / Naraujo13 / Graph-Grammar-Translator
Given a graph grammar defined in AGG (.ggx) using a type graph, converts the file to a new one, usable in Rodin, containing the same definition.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Naraujo13%2FGraph-Grammar-Translator
PURL: pkg:github/Naraujo13/Graph-Grammar-Translator
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: Java
Size: 5.89 MB
Dependencies parsed at: Pending
Created at: over 9 years ago
Updated at: over 1 year ago
Pushed at: over 7 years ago
Last synced at: over 1 year ago
Topics: agg, event-b, grammar, graph, graph-grammars, parse, proof, rodin, translator, translators