Ecosyste.ms: Issues

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

GitHub / JaredCorduan issue stats

Total issues: 55
Total pull requests: 65
Merged pull request: 61
Average time to close issues: 7 months
Average time to close pull requests: 1 day
Average comments per issue: 0.62
Average comments per pull request: 0.45

Issues created

Pull requests created

intersectmbo/cardano-ledger: 32
intersectmbo/cardano-updates: 25
nats-io/nkeys.py: 2
intersectmbo/formal-ledger-specifications: 2
jespercockx/agda-lecture-notes: 1
IntersectMBO/cardano-node: 1
leanprover/theorem_proving_in_lean: 1
intersectmbo/cardano-base: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (53, 96.36%)
None (2, 3.64%)

Pull Request Author Associations

Contributor (63, 96.92%)
None (2, 3.08%)

Top Issue Labels

:scroll: formal-spec (18)
:gear: executable-model (16)
:hammer_and_wrench: infrastructure (6)
:microscope: research (3)
:slot_machine: property test (2)
conway (2)
:credit_card: technical-debt (2)
enhancement (2)
:fountain_pen: documentation (2)
:detective: testing (2)
byron (1)
wontfix (1)

Top Pull Request Labels

:scroll: formal-spec (4)
:gear: executable-model (2)