Chorus-bdd/Chorus-bdd.github.io
Chorus BDD Website
Public GitHub Catalog
Discovered Sep 26, 2026
Chorus-bdd / Chorus-tools
Extra utilities and tools for Chorus. Home of the Chorus WebAgent
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.
#6376404GitHub System ID
Chorus-bddOrganization / User
PublicVisibility
ActiveCatalog Status
More from Chorus-bdd
Chorus-bdd/Chorus-demo
Some simple Chorus examples
Chorus-bdd/Chorus
The Chorus BDD interpreter - Executable specifications for distributed systems