MetaBorgCube/metaborg-state-machine
State machine language based on Tratt's "Evolving a DSL implementation" paper
Public GitHub Catalog
Discovered Sep 28, 2026
MetaBorgCube / metaborg-coq
Coq editors
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#13078657GitHub System ID
MetaBorgCubeOrganization / User
PublicVisibility
ActiveCatalog Status
More from MetaBorgCube
MetaBorgCube/metaborg-while
Definition of the WHILE language in Spoofax
MetaBorgCube/metaborg-jinja
Definition of Jinja (is not Java) in Spoofax
MetaBorgCube/metaborg-pcf
Definition of the PCF language in Spoofax