GitHub / ldct issue stats
Total issues: 20
Total pull requests: 73
Merged pull request: 40
Average time to close issues: 3 months
Average time to close pull requests: 10 days
Average comments per issue: 1.5
Average comments per pull request: 0.82
Issues created
- teorth/analysis: 3
- leanprover/lean4: 2
- kmill/leantex-mathlib: 2
- duaraghav8/Ethlint: 1
- trufflesuite/truffle-hdwallet-provider: 1
- ethereum/pyethereum: 1
- lodash/lodash: 1
- ForbesLindesay/sync-request: 1
- rakuten-nlp/rakutenma: 1
- yosupo06/library-checker-problems: 1
- cydrobolt/spegill: 1
- leanprover-community/plausible: 1
- goldfire/howler.js: 1
- gajus/react-outside-event: 1
- amantus-ai/llm-codes: 1
- senchalabs/connect: 1
Pull requests created
- teorth/analysis: 27
- ethereum/pyethereum: 6
- leanprover-community/mathlib4: 6
- dwrensha/compfiles: 5
- kmill/leantex-mathlib: 3
- safe-global/safe-smart-account: 2
- ldct/analysis: 2
- ethers-io/documentation: 2
- swiftlang/swift-book: 2
- leanprover/lean4: 2
- provables/sequencelib: 2
- apple/swift-book: 2
- cheran-senthil/PyRival: 1
- lean-dojo/LeanCopilot: 1
- dapphub/ds-value: 1
- imperialcollegelondon/formalising-mathematics-2024: 1
- ethereum/research: 1
- apple/swift: 1
- elixir-sqlite/sqlitex: 1
- ethsociety/learn-plasma: 1
- teorth/equational_theories: 1
- amiller/sprites: 1
- DigixGlobal/doxity: 1
- scottcorgan/pushstate-server: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (14, 70.00%)
- Contributor (5, 25.00%)
- Collaborator (1, 5.00%)
Pull Request Author Associations
- Contributor (48, 65.75%)
- None (17, 23.29%)
- Collaborator (6, 8.22%)
- Owner (2, 2.74%)
Top Issue Labels
- bug (3)
- wontfix (1)
- enhancement (1)
- help wanted (1)
- contributions-welcome (1)
- work in progress (1)
Top Pull Request Labels
- new-contributor (5)
- delegated (3)
- t-algebra (3)
- toolchain-available (2)
- ready-to-merge (2)
- changelog-lake (1)