JOSS: https://github.com/domschrei/mallob
Score: 6.907755278982138
Last synced: about 17 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 (over 6 years ago)
- Default Branch: master
- Last Pushed: 2026-05-22T15:53:05.000Z (about 1 month ago)
- Last Synced: 2026-05-25T18:48:44.100Z (28 days ago)
- Language: C++
- Homepage:
- Size: 41.1 MB
- Stars: 90
- Watchers: 5
- Forks: 29
- Open Issues: 10
-
Metadata Files:
- Readme: README.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: 438
- Release event: 1
- Watch event: 18
- Total: 498
Last Year
- Create event: 7
- Fork event: 4
- Issue comment event: 15
- Issues event: 4
- Pull request event: 1
- Push event: 327
- Release event: 1
- Watch event: 10
- Total: 369
Committers metadata
Last synced: about 1 month ago
Total Commits: 2,633
Total Committers: 10
Avg Commits per committer: 263.3
Development Distribution Score (DDS): 0.053
Commits in past year: 117
Committers in past year: 2
Avg Commits per committer in past year: 58.5
Development Distribution Score (DDS) in past year: 0.496
| Name | Commits | |
|---|---|---|
| Dominik Schreiber | m****l@d****e | 2494 |
| nrilu | 1****u | 100 |
| ~ | 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 |
| MichaelDoerr | 5****r | 1 |
| Alex Ozdemir | a****r@h****u | 1 |
| fj0219@kit.edu | f****9@f****n | 1 |
| fj0219@kit.edu | f****9@f****n | 1 |
Issue and Pull Request metadata
Last synced: 3 months ago
Total issues: 19
Total pull requests: 11
Average time to close issues: 13 days
Average time to close pull requests: 23 days
Total issue authors: 14
Total pull request authors: 6
Average comments per issue: 2.11
Average comments per pull request: 0.55
Merged pull request: 7
Bot issues: 0
Bot pull requests: 0
Past year issues: 7
Past year pull requests: 1
Past year average time to close issues: about 15 hours
Past year average time to close pull requests: N/A
Past year issue authors: 6
Past year pull request authors: 1
Past year average comments per issue: 2.0
Past year average comments per pull request: 0.0
Past year merged pull request: 0
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
- MichaelDoerr (3)
- domschrei (3)
- schick (2)
- rubenGoetz (1)
- alex-ozdemir (1)
- danielskatz (1)
Top Issue Labels
Top Pull Request Labels
Dependencies
- ubuntu 20.04 build