https://github.com/moves-rwth/prophesy
Parameter Synthesis in Markov Models
https://github.com/moves-rwth/prophesy
Keywords
markov-chain model-checking parameters research
Last synced: 11 months ago
JSON representation
Acceptance Criteria
- Revelant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
Repository metadata
Parameter Synthesis in Markov Models
- Host: GitHub
- URL: https://github.com/moves-rwth/prophesy
- Owner: moves-rwth
- License: gpl-3.0
- Created: 2017-03-30T11:58:26.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2024-01-07T21:30:09.000Z (over 1 year ago)
- Last Synced: 2024-04-27T02:03:34.076Z (about 1 year ago)
- Topics: markov-chain, model-checking, parameters, research
- Language: Python
- Homepage: https://moves-rwth.github.io/prophesy/
- Size: 71.1 MB
- Stars: 6
- Watchers: 4
- Forks: 4
- Open Issues: 1
- Releases: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Owner metadata
- Name: Chair for Software Modeling and Verification @ RWTH Aachen University
- Login: moves-rwth
- Email:
- Kind: organization
- Description:
- Website: moves.rwth-aachen.de
- Location: Aachen, Germany
- Twitter:
- Company:
- Icon url: https://avatars.githubusercontent.com/u/22944638?v=4
- Repositories: 39
- Last ynced at: 2024-04-22T10:09:33.718Z
- Profile URL: https://github.com/moves-rwth
GitHub Events
Total
- Issues event: 15
- Watch event: 6
- Issue comment event: 20
- Push event: 176
- Pull request event: 2
- Fork event: 4
- Create event: 3
Last Year
- Push event: 5
Committers metadata
Last synced: about 1 year ago
Total Commits: 1,174
Total Committers: 18
Avg Commits per committer: 65.222
Development Distribution Score (DDS): 0.576
Commits in past year: 9
Committers in past year: 3
Avg Commits per committer in past year: 3.0
Development Distribution Score (DDS) in past year: 0.444
| Name | Commits | |
|---|---|---|
| Sebastian Junges | s****s@r****e | 498 |
| Matthias Volk | m****k@c****e | 226 |
| hbruintjes | h****s@c****e | 134 |
| Matthias Volk | m****k@r****e | 87 |
| Tom Janson | t****n@r****e | 82 |
| jansen | n****n@c****e | 48 |
| Lutz Klinkenberg | l****g@r****e | 44 |
| sjunges | s****s@g****m | 14 |
| Matthias Volk | m****k@a****e | 13 |
| Erika Abraham | e****b@c****e | 8 |
| Nils Jansen | j****n@i****n | 5 |
| Sebastian Junges | s****s@r****l | 5 |
| Matthias Volk | m****k@t****l | 2 |
| Matthias Volk | m****k@u****l | 2 |
| Nils Jansen | j****n@1****e | 2 |
| dehnert | d****t@c****e | 2 |
| Nils Jansen | j****n@d****e | 1 |
| Nils Jansen | j****n@i****e | 1 |
Committer domains:
- cs.rwth-aachen.de: 5
- rwth-aachen.de: 4
- informatik-2-137-226-194-152.nn.rwth-aachen.de: 1
- demeter.informatik.rwth-aachen.de: 1
- 102-072.vpn.rwth-aachen.de: 1
- utwente.nl: 1
- tue.nl: 1
- ru.nl: 1
- i202-mbp-2.localdomain: 1
- amphitryon.informatik.rwth-aachen.de: 1
Issue and Pull Request metadata
Last synced: 12 months ago
Total issues: 7
Total pull requests: 1
Average time to close issues: 2 days
Average time to close pull requests: about 2 hours
Total issue authors: 2
Total pull request authors: 1
Average comments per issue: 2.86
Average comments per pull request: 0.0
Merged pull request: 1
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 0
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 0
Past year pull request authors: 0
Past year average comments per issue: 0
Past year average comments per pull request: 0
Past year merged pull request: 0
Past year bot issues: 0
Past year bot pull requests: 0
Top Issue Authors
- oyendrila-dobe (6)
- xhajnal (1)
Top Pull Request Authors
- volkm (1)
Top Issue Labels
- wontfix (1)
Top Pull Request Labels
Package metadata
- Total packages: 1
-
Total downloads:
- pypi: 24 last-month
- Total dependent packages: 0
- Total dependent repositories: 1
- Total versions: 1
- Total maintainers: 2
pypi.org: prophesy
Prophesy - Parametric Probabilistic Model Checking
- Homepage: https://moves-rwth.github.io/prophesy/
- Documentation: https://prophesy.readthedocs.io/
- Licenses: GPLv3
- Latest release: 2.0.1 (published over 5 years ago)
- Last Synced: 2024-05-27T08:00:49.766Z (12 months ago)
- Versions: 1
- Dependent Packages: 0
- Dependent Repositories: 1
- Downloads: 24 Last month
-
Rankings:
- Dependent packages count: 10.06%
- Forks count: 15.315%
- Stargazers count: 20.311%
- Dependent repos count: 21.634%
- Average: 30.689%
- Downloads: 86.126%
- Maintainers (2)
Dependencies
- pycarl master
- stormpy master
- tornado *
- click *
- heuristic_optimization >=0.4.3,<0.5
- matplotlib *
- numpy *
- pycarl >=2.0.3
- shapely *
- $STORMPY_BASE latest build
Score: 8.132118772955806