Ecosyste.ms: Issues

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

GitHub / JaredCorduan issue stats

Total issues: 47
Total pull requests: 65
Merged pull request: 61
Average time to close issues: 4 months
Average time to close pull requests: 1 day
Average comments per issue: 0.45
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 (45, 95.74%)
None (2, 4.26%)

Pull Request Author Associations

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

Top Issue Labels

:scroll: formal-spec (18)
:gear: executable-model (16)
:microscope: research (3)
:hammer_and_wrench: infrastructure (2)
:slot_machine: property test (2)

Top Pull Request Labels

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