GitHub / monsterkrampe issue stats
Total issues: 14
Total pull requests: 26
Merged pull request: 21
Average time to close issues: 3 months
Average time to close pull requests: about 2 months
Average comments per issue: 1.0
Average comments per pull request: 1.58
Issues created
Pull requests created
- ellmau/adf-obdd: 6
- knowsys/nemo: 5
- monsterkrampe/proof-library: 3
- alexkeizer/qpftypes: 2
- JustinFeng/fakeit: 2
- exercism/problem-specifications: 1
- 3m5/coco: 1
- leanprover/lean4: 1
- iansinnott/react-string-replace: 1
- dphilipson/typescript-fsa-reducers: 1
- exercism/crystal: 1
- knowsys/rulewerk: 1
- davidjbradshaw/iframe-resizer-react: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (9, 64.29%)
- Contributor (4, 28.57%)
- Collaborator (1, 7.14%)
Pull Request Author Associations
- Contributor (8, 30.77%)
- Collaborator (8, 30.77%)
- Member (6, 23.08%)
- Owner (3, 11.54%)
- None (1, 3.85%)
Top Issue Labels
- enhancement (6)
- bug (4)
- type system (4)
- logical (3)
- physical (2)
- help wanted (1)
- tests (1)
- regression (1)
- wasm (1)
- api (1)
- program analysis (1)
- critical (1)
Top Pull Request Labels
- enhancement (4)
- dependencies (3)
- javascript (3)
- bug (3)
- logical (2)
- type system (2)
- rust (1)
- documentation (1)
- wasm (1)
- tracing (1)
- critical (1)
- toolchain-available (1)
- library (1)
- server (1)