← Back to Discover
Smattr

Smattr/rumur

C++Unlicenseactive
64Health

yet another model checker

Stars26
Forks7
Open Issues29
Contributors7
Last Push0d ago

Health Breakdown

Activity
25
Community
19
Maintenance
3
Popularity
17
#model-checker#model-checking
View on GitHub ↗Issues (29) ↗Pull Requests ↗

Should you contribute to Smattr/rumur?

Smattr/rumur 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 Unlicense, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

Smattr
Smattr/rumur
C++Unlicense
64

yet another model checker

active
267 contributors29 issues
0d ago

More C++ repos

PX4
PX4/PX4-Autopilot
PX4 Autopilot Software
12.5k99
owncloud
owncloud/client
🖥️ Desktop Syncing Client for ownCloud
1.5k93
linuxdeepin
linuxdeepin/dde-file-manager
File manager for deepin desktop environment.
41393