Chorus-bdd/Chorus
The Chorus BDD interpreter - Executable specifications for distributed systems
JavaMIT
Stargazers
- aaronpKind Services Ltd
- ansyeowPJ, Selangor, Malaysia
- artemdwoTrainline
- bhaskarjana
- DavidWilcock
- deepakcdoHead Front Consulting
- DeepikaPolu
- denodaeus@Fabianware-IO
- filfreire@Kong
- ganeshm25
- imfangs
- inshua
- JasonHewisonAnaplan
- JohnYeldham
- jsnsimpson
- katgleasonBrooklyn
- ktec@cleverbunny
- lakestephen
- lifeinchordsIn transit.
- martinyoung1
- mattsaltUK
- mitchbe
- motjuste@canonical, ex @fraunhofer-iais
- mrjgreenYork, United Kingdom
- nickebbuttLogic Mint Ltd.
- nsangha
- qdrivenNowhere
- ralphiteEarth
- sahildjain
- shirea
- stevenealSmartkey
- taketoday7Wuhan
- taupokina
- yamaduc
- yffudCalifornia
- zhangyu2020Montreal