GitHub / Seasawher issue stats
Total issues: 164
Total pull requests: 79
Merged pull request: 69
Average time to close issues: 21 days
Average time to close pull requests: 3 days
Average comments per issue: 1.06
Average comments per pull request: 0.8
Issues created
- seasawher/mdgen: 38
- seasawher/free-math: 20
- seasawher/lean-book: 15
- oliver-butterley/lean-update: 14
- seasawher/mk-exercise: 11
- leanprover/lean-action: 8
- leanprover/reservoir: 8
- lecopivo/scientific-computing-lean: 5
- leanprover/theorem_proving_in_lean4: 3
- leanprover/verso: 3
- seasawher/seasawher: 3
- getzola/zola: 2
- leanprover/lean4: 2
- leanprover/fp-lean: 2
- seasawher/game-of-life: 2
- jorelali/mdbook-pagetoc: 2
- lecopivo/scilean: 2
- lean-ja/lean-by-example: 2
- dwrensha/compfiles: 2
- lumeland/theme-simple-blog: 2
- seasawher/preventcreatepublicrepo: 1
- seasawher/import-all: 1
- arthurpaulino/chrome-lean-unicode: 1
- rzk-lang/rzk: 1
- asi1024/topprover-lean-example: 1
- arthurpaulino/lean2md: 1
- seasawher/book-recommendation: 1
- rust-lang/mdBook: 1
- rust-unofficial/too-many-lists: 1
- codewars/runner: 1
- julian/setup-lean: 1
- eric-song-nop/eric-song-nop: 1
- seasawher/mathematics_in_lean_my_solutions: 1
- SquarePear/p5_commander: 1
- victorstanciu/dbv: 1
- lovettchris/naturalnumbers: 1
- 34j/best-of-lean4: 1
- seasawher/neural-network-sms-text-classifier: 1
Pull requests created
- seasawher/mdgen: 22
- seasawher/mk-exercise: 13
- oliver-butterley/lean-update: 11
- seasawher/lean-book: 6
- seasawher/mathematics_in_lean_my_solutions: 4
- seasawher/seasawher: 3
- seasawher/lean-quiz-template: 3
- leanprover/lean-action: 3
- arthurpaulino/lean2md: 3
- lecopivo/scilean: 2
- seasawher/concretesemantics.lean: 2
- cmu-l3/ntptutorial-ii: 1
- igrep/lean-workshop: 1
- dwrensha/compfiles: 1
- 34j/best-of-lean4: 1
- leanprover/lean4: 1
- lecopivo/scientific-computing-lean: 1
- seasawher/import-all: 1
Maintainer
- seasawher/mdgen: 60
- oliver-butterley/lean-update: 25
- seasawher/mk-exercise: 24
- seasawher/lean-book: 21
- seasawher/free-math: 20
- seasawher/seasawher: 6
- seasawher/mathematics_in_lean_my_solutions: 5
- seasawher/lean-quiz-template: 3
- seasawher/import-all: 2
- seasawher/game-of-life: 2
- seasawher/concretesemantics.lean: 2
- lean-ja/lean-by-example: 2
- seasawher/neural-network-sms-text-classifier: 1
- seasawher/preventcreatepublicrepo: 1
- seasawher/book-recommendation: 1
Active Maintainer
Issue Author Associations
- Owner (94, 57.32%)
- None (33, 20.12%)
- Contributor (21, 12.80%)
- Collaborator (14, 8.54%)
- Member (2, 1.22%)
Pull Request Author Associations
- Owner (54, 68.35%)
- Contributor (13, 16.46%)
- Collaborator (11, 13.92%)
- None (1, 1.27%)
Top Issue Labels
- enhancement (20)
- bug (11)
- C-bug (4)
- C-enhancement (4)
- update (2)
- question (1)
- A-package (1)
- A-search (1)
- R-duplicate (1)
- C-discussion (1)
- request/language (1)
- RFC (1)
- Lake (1)
- P-low (1)
- refactor (1)
Top Pull Request Labels
- enhancement (2)
- toolchain-available (1)
- changelog-doc (1)
- bug (1)
- documentation (1)