Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gebner issue stats
Total issues: 152
Total pull requests: 267
Merged pull request: 206
Average time to close issues: 3 months
Average time to close pull requests: 22 days
Average comments per issue: 1.92
Average comments per pull request: 1.7
Issues created
- gapt/gapt: 36
- fstarlang/fstar_dataset: 20
- fstarlang/pulse: 13
- leanprover/vscode-lean: 13
- Julian/lean.nvim: 12
- leanprover/vscode-lean4: 10
- FStarLang/FStar: 8
- leanprover-community/doc-gen: 7
- fstarlang/fstar-vscode-assistant: 6
- julian/tree-sitter-lean: 3
- Jelmerro/Vieb: 3
- jroesch/language-lean: 3
- leanprover-contrib/lean-upgrade-action: 3
- leanprover/elan: 2
- leanprover-community/mathlib4: 2
- leanprover/tc: 1
- hacl-star/merkle-tree: 1
- leanprover/lean4: 1
- leanprover-community/mathlib-tools: 1
- leanprover/fp-lean: 1
- gebner/hott3: 1
- leanprover-contrib/update-versions-action: 1
- leanprover/tutorial: 1
- pali/hsphfpd-prototype: 1
- actions/upload-artifact: 1
- izuzak/github_issue_stats: 1
Pull requests created
- leanprover-community/doc-gen: 41
- leanprover-community/mathlib4: 37
- gapt/gapt: 37
- fstarlang/pulse: 27
- FStarLang/FStar: 17
- Jelmerro/Vieb: 17
- leanprover-community/mathlib: 15
- Julian/lean.nvim: 10
- fstarlang/fstar-vscode-assistant: 10
- leanprover/elan: 8
- leanprover/vscode-lean4: 5
- leanprover/lean4: 5
- leanprover/vscode-lean: 4
- leanprover-community/mathlib-tools: 3
- leanprover/leanink: 3
- hacl-star/merkle-tree: 2
- leanprover/presentations: 2
- espanso/hub: 2
- leanprover/lean3: 2
- darktable-org/darktable: 2
- cgag/loc: 1
- tpaviot/oce: 1
- mmaroti/cadical-rs: 1
- leanprover/tc: 1
- NixOS/nix: 1
- leanprover/lean.tmbundle: 1
- wmorgan/leveldb-ruby: 1
- microsoft/node-native-keymap: 1
- sheimi/SGit: 1
- jroesch/language-lean: 1
- leanprover/leanprover.github.io: 1
- tridactyl/native_messenger: 1
- xmpppy/xmpppy: 1
- FStarLang/karamel: 1
- theowinterhalter/formal-type-theory: 1
- NixOS/systemd: 1
- wmorgan/heliotrope: 1
- robertylewis/doc_gen: 1
Maintainer
- gapt/gapt: 73
- leanprover-community/doc-gen: 48
- leanprover-community/mathlib4: 39
- Julian/lean.nvim: 22
- fstarlang/fstar_dataset: 20
- leanprover/vscode-lean: 17
- leanprover/vscode-lean4: 15
- leanprover-community/mathlib: 15
- leanprover/elan: 10
- leanprover/lean4: 6
- leanprover-community/mathlib-tools: 4
- leanprover/leanink: 3
- leanprover/presentations: 2
- leanprover/tc: 2
- leanprover/lean3: 2
Active Maintainer
Issue Author Associations
- Member (75, 49.34%)
- Contributor (34, 22.37%)
- Collaborator (32, 21.05%)
- None (10, 6.58%)
- Owner (1, 0.66%)
Pull Request Author Associations
- Member (167, 62.55%)
- Contributor (87, 32.58%)
- Collaborator (10, 3.75%)
- None (3, 1.12%)
Top Issue Labels
- Bug :beetle: (25)
- bug (8)
- enhancement (8)
- Enhancement (4)
- Potential Student Project :mortar_board: (4)
- 💩 ⊢ ⊥ (2)
- Prooftool :microscope: (2)
- User Manual 📙 (2)
- workaround (2)
- kind/unsoundness (2)
- nice to have (1)
- wontfix (1)
- electron issue (1)
- P-medium (1)
Top Pull Request Labels
- Enhancement (8)
- WIP (2)
- dev meeting (2)
- cla-not-required (1)
- feature (1)
- UX (1)
- nix-shell (1)
- enhancement (1)