JOSS: https://github.com/domschrei/mallob
Score: 7.129297548929372
Last synced: about 12 hours ago
JSON representation
Repository metadata:
Scalable Automated Reasoning for HPC and Clouds
- Host: GitHub
- URL: https://github.com/domschrei/mallob
- Owner: domschrei
- License: other
- Created: 2019-10-02T09:23:31.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2026-08-21T08:21:50.000Z (1 day ago)
- Last Synced: 2026-08-21T10:09:16.929Z (1 day ago)
- Language: C++
- Homepage:
- Size: 41.3 MB
- Stars: 94
- Watchers: 5
- Forks: 31
- Open Issues: 10
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE_LGPL
Owner metadata:
- Name: Dominik Schreiber
- Login: domschrei
- Email:
- Kind: user
- Description: Computer scientist at KIT (Karlsruhe), interested in SAT, Automated Planning and Linux stuff. Hobby musician and sporadic course instructor.
- Website: https://www.dominikschreiber.de
- Location: Karlsruhe, Germany
- Twitter:
- Company: Karlsruhe Institute of Technology
- Icon url: https://avatars.githubusercontent.com/u/17687040?u=c0751f909ce49097831320804cc41b2da3c95d5b&v=4
- Repositories: 7
- Last Synced at: 2023-04-03T11:51:00.535Z
- Profile URL: https://github.com/domschrei
GitHub Events
Total
- Create event: 11
- Fork event: 5
- Issue comment event: 18
- Issues event: 5
- Pull request event: 2
- Push event: 524
- Release event: 1
- Watch event: 18
- Total: 584
Last Year
- Create event: 2
- Fork event: 2
- Issue comment event: 8
- Issues event: 3
- Push event: 297
- Watch event: 7
- Total: 319
Committers metadata
Last synced: 3 days ago
Total Commits: 2,873
Total Committers: 12
Avg Commits per committer: 239.417
Development Distribution Score (DDS): 0.049
Commits in past year: 291
Committers in past year: 4
Avg Commits per committer in past year: 72.75
Development Distribution Score (DDS) in past year: 0.182
| Name | Commits | |
|---|---|---|
| Dominik Schreiber | m****l@d****e | 2731 |
| nrilu | 1****u | 101 |
| ~ | d****n@g****m | 13 |
| Maximilian Schick | m****k@g****m | 11 |
| Mike Whalen | m****w@a****m | 9 |
| fj0219@kit.edu | f****9@f****n | 2 |
| rubenGoetz | 1****z | 1 |
| MichaelDoerr | 5****r | 1 |
| Alex Ozdemir | a****r@h****u | 1 |
| 4nng0 | 8****0 | 1 |
| fj0219@kit.edu | f****9@f****n | 1 |
| fj0219@kit.edu | f****9@f****n | 1 |
Issue and Pull Request metadata
Last synced: 1 day ago
Total issues: 19
Total pull requests: 15
Average time to close issues: 13 days
Average time to close pull requests: 20 days
Total issue authors: 14
Total pull request authors: 7
Average comments per issue: 2.11
Average comments per pull request: 0.4
Merged pull request: 9
Bot issues: 0
Bot pull requests: 0
Past year issues: 6
Past year pull requests: 5
Past year average time to close issues: about 15 hours
Past year average time to close pull requests: 13 days
Past year issue authors: 5
Past year pull request authors: 2
Past year average comments per issue: 2.33
Past year average comments per pull request: 0.0
Past year merged pull request: 2
Past year bot issues: 0
Past year bot pull requests: 0
Top Issue Authors
- marino-mrc (2)
- bratelefant (2)
- gabriele-bellini (2)
- na3na3na (2)
- John-HW-Cao (2)
- agonhajdari (1)
- olegzaikin (1)
- faultlin3 (1)
- jwaldmann (1)
- GarrettRobinsondjwkqhrm497 (1)
- Gennaro-Parlato (1)
- kenniskoldewyn (1)
- vsigal (1)
- NeuralDistinguisher (1)
Top Pull Request Authors
- rubenGoetz (4)
- MichaelDoerr (3)
- domschrei (3)
- schick (2)
- 4nng0 (1)
- alex-ozdemir (1)
- danielskatz (1)
Top Issue Labels
Top Pull Request Labels
Dependencies
- ubuntu 23.04 build