juodaspaulius/ClaferGrammar
Repository to support development of experimental Clafer grammar
Public GitHub Catalog
Discovered Sep 26, 2026
juodaspaulius / BehavioralClafer
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#8251809GitHub System ID
juodaspauliusOrganization / User
PublicVisibility
ActiveCatalog Status
More from juodaspaulius
juodaspaulius/clafer
Clafer is a lightweight modeling language
juodaspaulius/clafer-old-customBNFC
Public repository.
juodaspaulius/bnfc
BNF Converter