mCRL2org/mCRL2
C++BSL-1.0active
Health
The Git repository for the mCRL2 toolset.
Health Breakdown
Activity25
Community25
Maintenance5
Popularity24
Should you contribute to mCRL2org/mCRL2?
mCRL2org/mCRL2 has a FoundDev health score of 64/100, which means activity is steady but not booming. Worth contributing to if the project is in your wheelhouse, but expect slower review cycles than a top-tier repo.
Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in C++, so prior C++ experience will shorten ramp-up.
Licensed under BSL-1.0 — verify your employer's open source policy before contributing, as this license may have unusual terms.
Community
C++BSL-1.0
active
0d ago
