Farhangi/toolchain
WP7: Top Level Project for the toolchain
Public GitHub Catalog
Discovered Sep 30, 2026
Farhangi / modeling
WP3 Top Level Project: to cover all tasks related with modeling
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.
#17369721GitHub System ID
FarhangiOrganization / User
PublicVisibility
ActiveCatalog Status
More from Farhangi
Farhangi/ERTMSFormalSpecs
ERTMSFormalSpecs provides a domain-specific language, designed to express the ERTMS specification in a concise and verifiable formal representation. It is understandable by domain specialists while retaining the ability to be translated to executable representations by fully automated means.
Farhangi/Farhangi.github.io
Public repository.