Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / franck44 issue stats

Total issues: 21
Total pull requests: 3
Merged pull request: 2
Average time to close issues: over 2 years
Average time to close pull requests: 6 days
Average comments per issue: 3.19
Average comments per pull request: 3.33

Issues created

apache/incubator-tuweni: 9
dafny-lang/dafny: 4
ethereum/consensus-specs: 4
leonardoalt/ethereum_formal_verification_overview: 2
aptos-labs/aptos-core: 1
ethereum/py-ssz: 1

Pull requests created

ethereum/py-ssz: 1
leonardoalt/ethereum_formal_verification_overview: 1
lemmy/lets-prove-blocking-queue: 1

Maintainer

Active Maintainer

Issue Author Associations

None (20, 95.24%)
Contributor (1, 4.76%)

Pull Request Author Associations

Contributor (2, 66.67%)
None (1, 33.33%)

Top Issue Labels

Stale (9)
kind: bug (3)
scope:fork-choice (2)
kind: enhancement (1)
general:presentation (1)
part: formatter (1)
priority: next (1)
during 2: compilation of correct program (1)
bug (1)