An open API service providing repository metadata for many open source software ecosystems.

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

    Loading...