← Back to Discover
mpi-sws-rse

mpi-sws-rse/jmc

JavaApache-2.0active
85Health

JMC - Java Model Checker

Stars68
Forks5
Open Issues0
Contributors5
Last Push0d ago

Health Breakdown

Activity
25
Community
25
Maintenance
14
Popularity
21
#concurrency-testing#model-checker#verification
View on GitHub ↗Issues (0) ↗Pull Requests ↗Wiki ↗

Should you contribute to mpi-sws-rse/jmc?

mpi-sws-rse/jmc has a FoundDev health score of 85/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

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 Java, so prior Java experience will shorten ramp-up.

Licensed under Apache-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

mpi-sws-rse
mpi-sws-rse/jmc
JavaApache 2.0
85

JMC - Java Model Checker

active
685 contributors
0d ago

More Java repos

apache
apache/camel
Apache Camel is an open source integration framework with 350+ connectors. Write routes in Java, YAML, or XML. Run on Spring Boot, Quarkus, or standalone. Apache License 2.0.
6.3k98
igniterealtime
igniterealtime/Spark
Cross-platform real-time collaboration client optimized for business and organizations.
60197
Xiao-MoMi
Xiao-MoMi/Custom-Fishing
Fishing plugin with games and powerful loot system.
14196