GitHub / marcusrossel issue stats
Total issues: 59
Total pull requests: 33
Merged pull request: 28
Average time to close issues: about 1 month
Average time to close pull requests: 21 days
Average comments per issue: 0.78
Average comments per pull request: 0.94
Issues created
Pull requests created
- marcusrossel/language-kit: 6
- swiftlang/swift-corelibs-xctest: 4
- memoryleak47/slotted-egraphs: 3
- nomeata/lean-calcify: 2
- marcusrossel/lean-egg: 2
- marcusrossel/literal-lexer: 2
- marcusrossel/live-lightshow: 2
- marcusrossel/geometry-view: 1
- erlingrj/lf-traffic-light: 1
- leanprover/theorem_proving_in_lean4: 1
- dwrensha/lean4-maze: 1
- leanprover/tutorial: 1
- marcusrossel/lexer-protocol: 1
- marcusrossel/kaleidoscope: 1
- kiliankoe/DVB: 1
- philzook58/philzook58.github.io: 1
- leanprover/lean4: 1
- Human-Oriented-ATP/lean-tactics: 1
- egraphs-good/egg: 1
Maintainer
- marcusrossel/lean-egg: 33
- lf-lang/reactor-lean: 12
- lf-lang/reactor-model: 7
- 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 (36, 61.02%)
- Collaborator (19, 32.20%)
- Contributor (4, 6.78%)
Pull Request Author Associations
- Owner (15, 45.45%)
- Contributor (15, 45.45%)
- None (3, 9.09%)
Top Issue Labels
- low priority (7)
- bug (6)
Top Pull Request Labels
- changelog-library (1)