GitHub / gebner issue stats
Total issues: 153
Total pull requests: 234
Merged pull request: 192
Average time to close issues: 4 months
Average time to close pull requests: 26 days
Average comments per issue: 1.83
Average comments per pull request: 1.55
Issues created
- fstarlang/pulse: 21
- fstarlang/fstar_dataset: 20
- gapt/gapt: 19
- leanprover/vscode-lean: 13
- leanprover/vscode-lean4: 10
- fstarlang/fstar-vscode-assistant: 9
- FStarLang/FStar: 9
- leanprover/lean4: 8
- FStarLang/karamel: 6
- Julian/lean.nvim: 6
- leanprover-community/doc-gen: 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: 1
- microsoft/genaiscript: 1
- pali/hsphfpd-prototype: 1
- gebner/hott3: 1
- izuzak/github_issue_stats: 1
- actions/upload-artifact: 1
- leanprover/fp-lean: 1
- leanprover-community/mathlib-tools: 1
- leanprover-contrib/update-versions-action: 1
- hacl-star/merkle-tree: 1
- leanprover/tutorial: 1
- leanprover/tc: 1
Pull requests created
- leanprover-community/doc-gen: 35
- fstarlang/pulse: 33
- gapt/gapt: 23
- leanprover-community/mathlib4: 19
- FStarLang/FStar: 18
- Jelmerro/Vieb: 17
- FStarLang/karamel: 11
- fstarlang/fstar-vscode-assistant: 10
- leanprover/elan: 8
- Julian/lean.nvim: 6
- leanprover-community/mathlib: 6
- leanprover/vscode-lean4: 5
- leanprover/lean4: 5
- leanprover/vscode-lean: 4
- leanprover-community/mathlib-tools: 3
- leanprover/presentations: 2
- darktable-org/darktable: 2
- hacl-star/merkle-tree: 2
- leanprover/leanink: 2
- leanprover/lean3: 2
- cgag/loc: 1
- tpaviot/oce: 1
- fstarlang/pulse-sandbox: 1
- mmaroti/cadical-rs: 1
- leanprover/tc: 1
- NixOS/nix: 1
- espanso/hub: 1
- leanprover/lean.tmbundle: 1
- microsoft/node-native-keymap: 1
- sheimi/SGit: 1
- wmorgan/leveldb-ruby: 1
- jroesch/language-lean: 1
- leanprover/leanprover.github.io: 1
- smfakhoury/fstar-study: 1
- tridactyl/native_messenger: 1
- theowinterhalter/formal-type-theory: 1
- NixOS/systemd: 1
- fstarlang/pop-in-fstar: 1
- xmpppy/xmpppy: 1
- robertylewis/doc_gen: 1
- wmorgan/heliotrope: 1
Maintainer
- gapt/gapt: 42
- leanprover-community/doc-gen: 41
- leanprover-community/mathlib4: 20
- fstarlang/fstar_dataset: 20
- leanprover/vscode-lean: 17
- leanprover/vscode-lean4: 15
- leanprover/lean4: 13
- Julian/lean.nvim: 12
- leanprover/elan: 10
- leanprover-community/mathlib: 6
- leanprover-community/mathlib-tools: 4
- leanprover/lean3: 2
- leanprover/leanink: 2
- leanprover/tc: 2
- leanprover/presentations: 2
Active Maintainer
Issue Author Associations
- Member (63, 41.18%)
- Contributor (52, 33.99%)
- Collaborator (26, 16.99%)
- None (11, 7.19%)
- Owner (1, 0.65%)
Pull Request Author Associations
- Member (119, 50.85%)
- Contributor (105, 44.87%)
- Collaborator (7, 2.99%)
- None (3, 1.28%)
Top Issue Labels
- Bug :beetle: (13)
- bug (9)
- enhancement (7)
- P-medium (5)
- fixed by new code generator (2)
- kind/unsoundness (2)
- workaround (2)
- Potential Student Project :mortar_board: (2)
- Enhancement (2)
- nice to have (1)
- wontfix (1)
- User Manual 📙 (1)
- electron issue (1)
- Prooftool :microscope: (1)
- Lake (1)
Top Pull Request Labels
- Enhancement (4)
- cla-not-required (1)
- feature (1)
- UX (1)
- nix-shell (1)
- enhancement (1)
- WIP (1)
- P-low (1)
- dev meeting (1)