Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / marcusrossel issue stats
Total issues: 66
Total pull requests: 27
Merged pull request: 22
Average time to close issues: 29 days
Average time to close pull requests: about 1 month
Average comments per issue: 0.5
Average comments per pull request: 0.74
Issues created
Pull requests created
- marcusrossel/language-kit: 6
- swiftlang/swift-corelibs-xctest: 4
- Human-Oriented-ATP/lean-tactics: 2
- marcusrossel/live-lightshow: 2
- marcusrossel/literal-lexer: 2
- leanprover/theorem_proving_in_lean4: 2
- nomeata/lean-calcify: 1
- egraphs-good/egg: 1
- philzook58/philzook58.github.io: 1
- kiliankoe/DVB: 1
- marcusrossel/kaleidoscope: 1
- marcusrossel/lexer-protocol: 1
- leanprover/tutorial: 1
- dwrensha/lean4-maze: 1
- marcusrossel/geometry-view: 1
Maintainer
- marcusrossel/lean-egg: 38
- lf-lang/reactor-lean: 13
- lf-lang/reactor-model: 8
- marcusrossel/language-kit: 6
- marcusrossel/live-lightshow: 4
- marcusrossel/literal-lexer: 2
- marcusrossel/laser-show: 1
- marcusrossel/stlc: 1
- marcusrossel/kaleidoscope: 1
- marcusrossel/lexer-protocol: 1
- marcusrossel/data-field: 1
- marcusrossel/geometry-view: 1
Active Maintainer
Issue Author Associations
- Owner (43, 65.15%)
- Collaborator (21, 31.82%)
- Contributor (2, 3.03%)
Pull Request Author Associations
- Owner (13, 48.15%)
- Contributor (10, 37.04%)
- None (4, 14.81%)
Top Issue Labels
- low priority (8)
- bug (7)