Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leonardoalt issue stats
Total issues: 96
Total pull requests: 104
Merged pull request: 92
Average time to close issues: about 1 month
Average time to close pull requests: 7 days
Average comments per issue: 1.21
Average comments per pull request: 0.47
Issues created
- leonardoalt/adt_transform: 26
- ethereum/act: 18
- leonardoalt/fusion: 17
- leonardoalt/yools: 14
- ethereum/solidity: 6
- recmo/yul: 2
- awslabs/rust-smt-ir: 2
- ethereum/solc-js: 2
- seahorn/seahorn: 2
- schaeff/pilspector: 2
- Z3Prover/z3: 1
- filecoin-project/bellperson: 1
- supranational/pasta-msm: 1
- nikini/ionic-gallery-modal: 1
- kktuax/youtupi: 1
Pull requests created
- leonardoalt/fusion: 39
- schaeff/pilspector: 17
- leonardoalt/yools: 12
- ethereum/act: 9
- ethereum/fv-blog: 7
- axic/yultsur: 4
- ethereum/solidity: 2
- arnaucube/babyjubjub-rs: 2
- ethereum/solc-js: 1
- Zokrates/ZoKrates: 1
- leonardoalt/tinyzkevm: 1
- awslabs/rust-smt-ir: 1
- leonardoalt/ethereum_formal_verification_overview: 1
- leonardoalt/swap.socks.sol: 1
- axic/puretea: 1
- leonardoalt/sol-macros: 1
- leonardoalt/dl_symb_exec_sol: 1
- risc0/risc0: 1
- microsoft/Nova: 1
- lurk-lab/neptune: 1
Maintainer
- leonardoalt/fusion: 56
- ethereum/act: 27
- leonardoalt/yools: 26
- leonardoalt/adt_transform: 26
- schaeff/pilspector: 19
- ethereum/solidity: 8
- ethereum/fv-blog: 7
- axic/yultsur: 4
- ethereum/solc-js: 3
- leonardoalt/ethereum_formal_verification_overview: 1
- leonardoalt/dl_symb_exec_sol: 1
- leonardoalt/tinyzkevm: 1
- leonardoalt/sol-macros: 1
- axic/puretea: 1
- leonardoalt/swap.socks.sol: 1
Active Maintainer
Issue Author Associations
- Owner (57, 59.38%)
- Member (26, 27.08%)
- None (8, 8.33%)
- Contributor (3, 3.13%)
- Collaborator (2, 2.08%)
Pull Request Author Associations
- Owner (56, 53.85%)
- Collaborator (22, 21.15%)
- Member (19, 18.27%)
- Contributor (7, 6.73%)
Top Issue Labels
- bug (8)
- smt (5)
- enhancement (4)
- testing :hammer: (3)
- documentation (3)
- low effort (2)
- wasm (1)
- question (1)
- Horn (1)
- must have eventually (1)
- easy difficulty (1)
- good first issue candidate (1)
- hacktoberfest (1)
Top Pull Request Labels
- changelog-not-required (1)
- stale (1)
- closed-due-inactivity (1)