PrototypeCommon
mCRL2org/mCRL2
The Git repository for the mCRL2 toolset.
- Owner
- mCRL2org (organization)
- Stars
- Stars: 118
- Forks
- Forks: 51
- Language
- C++
- License
- BSL-1.0
- Created
- 2018
- Topics
- model-checkingmodel-checkermu-calculusterm-rewriting
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in C++
All C++ repos- z3xox/BT3-RecompStars: 118C++Prototype
- VantageEX/infamous-first-light-pcStars: 118C++Prototype
- lingquan11/cpp-matmul-performanceStars: 118C++Prototype
- aox/aoxStars: 118C++Prototype
- genome/breakdancerStars: 118C++Prototype
- hironishihara/ofxTrueTypeFontUCStars: 118C++Prototype