GitHub / adrianleh issue stats
Total issues: 41
Total pull requests: 40
Merged pull request: 29
Average time to close issues: 5 months
Average time to close pull requests: 5 days
Average comments per issue: 1.37
Average comments per pull request: 0.4
Issues created
- inqwire/vyzx: 20
- dginev/ar5iv: 3
- microsoft/QuantumLibraries: 2
- microsoft/iqsharp: 2
- egraphs-good/egg: 2
- public-transport/gtfs-via-postgres: 1
- jetbrains-research/coqpilot: 1
- egraphs-good/egglog-python: 1
- microsoft/qsharp-runtime: 1
- JuliaSymbolics/Metatheory.jl: 1
- Kamva/mgm: 1
- inqwire/quantumlib: 1
- transitland/transitland-processing-animation: 1
- russhughes/st7789_mpy: 1
- egraphs-good/egglog: 1
- k-dizzled/relations-via-egg: 1
- coq-community/docker-coq-action: 1
Pull requests created
- inqwire/vyzx: 7
- coq/opam: 6
- inqwire/quantumlib: 5
- inQWIRE/SQIR: 4
- inqwire/vizx: 3
- egraphs-good/egg: 3
- adrianleh/wtmp-middleend: 3
- microsoft/QuantumLibraries: 2
- JuliaSymbolics/Metatheory.jl: 1
- GSLabDev/terraform-provider-scvmm: 1
- k4rtik/uchicago-dissertation: 1
- adrianleh/wtmp-client: 1
- vax-me/vaccine-passport-be: 1
- Tutorialwork/deutsche_bahn_api: 1
- yeah-tiger/yeah-tiger.github.io: 1
Maintainer
Active Maintainer
- inqwire/vyzx: 1
- inqwire/vizx: 1
Issue Author Associations
- Member (21, 51.22%)
- None (18, 43.90%)
- Contributor (2, 4.88%)
Pull Request Author Associations
- Member (20, 50.00%)
- None (9, 22.50%)
- Contributor (7, 17.50%)
- Owner (4, 10.00%)
Top Issue Labels
- enhancement (10)
- Rules (6)
- Hard (5)
- Ltac (3)
- Kind-Enhancement (3)
- Scalars (3)
- Proof Repair (2)
- High priority (2)
- Base (2)
- bug (2)
- Status-NeedsApiReview (2)
- Low priority (2)
- good first issue (1)
- question (1)
- Area-Documentation (1)