GitHub / adrianleh issue stats
Total issues: 34
Total pull requests: 25
Merged pull request: 20
Average time to close issues: 4 months
Average time to close pull requests: 7 days
Average comments per issue: 1.88
Average comments per pull request: 0.52
Issues created
- inqwire/vyzx: 19
- egraphs-good/egg: 2
- microsoft/QuantumLibraries: 2
- microsoft/iqsharp: 2
- k-dizzled/relations-via-egg: 1
- JuliaSymbolics/Metatheory.jl: 1
- transitland/transitland-processing-animation: 1
- inqwire/quantumlib: 1
- Kamva/mgm: 1
- public-transport/gtfs-via-postgres: 1
- coq-community/docker-coq-action: 1
- microsoft/qsharp-runtime: 1
- jetbrains-research/coqpilot: 1
Pull requests created
- inqwire/quantumlib: 4
- inqwire/vyzx: 4
- adrianleh/wtmp-middleend: 3
- inQWIRE/SQIR: 3
- coq/opam: 2
- microsoft/QuantumLibraries: 2
- egraphs-good/egg: 1
- adrianleh/wtmp-client: 1
- JuliaSymbolics/Metatheory.jl: 1
- vax-me/vaccine-passport-be: 1
- Tutorialwork/deutsche_bahn_api: 1
- inqwire/vizx: 1
- GSLabDev/terraform-provider-scvmm: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (20, 58.82%)
- None (12, 35.29%)
- Contributor (2, 5.88%)
Pull Request Author Associations
- Member (13, 52.00%)
- Owner (4, 16.00%)
- None (4, 16.00%)
- Contributor (4, 16.00%)
Top Issue Labels
- enhancement (9)
- Rules (6)
- Hard (5)
- Ltac (3)
- Kind-Enhancement (3)
- Scalars (3)
- Proof Repair (2)
- High priority (2)
- Base (2)
- Low priority (2)
- Status-NeedsApiReview (2)
- bug (2)
- question (1)
- Area-Documentation (1)
- Resolution-Done (1)