stormchecker/

storm

A Modern Probabilistic Model Checker

GitHub stormchecker.org

Start here

Open issues, live

Unassigned, straight from GitHub

Facts

Stars: 174
Forks: 87
License: GPL-3.0
Last commit: 1h ago
Replies in: ~5d
Good first issues: 10
Help wanted: 7
Language: C++

Topics: #model-checking #markov-chain #dtmc #mdp #ctmc #research #fault-tree #model-checker

Why this score

66

Welcoming to new contributors, out of 100.

Issues to pick from19/25
10 open good first issues and 7 help wanted
Recent activity20/20
Last commit 1 hour ago
Maintainer replies8/15
Maintainers usually reply in ~5d
Onboarding2/15
No CONTRIBUTING guide and a clear description
Up for grabs15/15
10 of the 10 newest good first issues are unassigned
Reach2/10
174 stars, so your work gets seen

First-PR friendly needs:

Met: Score of 60 or more
Met: At least 3 good first issues
Not met: A CONTRIBUTING guide
Not met: Replies within 3 days

Flag this repo (wrong data, not welcoming, gone)