Ecosyste.ms: Issues

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

GitHub / abakst issue stats

Total issues: 58
Total pull requests: 44
Merged pull request: 39
Average time to close issues: about 2 months
Average time to close pull requests: 4 days
Average comments per issue: 3.24
Average comments per pull request: 1.55

Issues created

GaloisInc/BESSPIN-Tool-Suite: 23
GaloisInc/HARDENS: 18
GaloisInc/ASKE-E: 7
GaloisInc/BESSPIN-Voter-Registration: 5
ucsd-progsys/liquidhaskell: 1
meelgroup/approxmc: 1
travitch/whole-program-llvm: 1
GaloisInc/heapster-saw: 1
GaloisInc/cryptol-specs: 1

Pull requests created

GaloisInc/HARDENS: 20
GaloisInc/ASKE-E: 12
GaloisInc/BESSPIN-Tool-Suite: 4
GaloisInc/BESSPIN-Voter-Registration: 4
jimporter/bencode.hpp: 1
GaloisInc/BESSPIN-Environment: 1
GaloisInc/cryptol-specs: 1
ucsd-progsys/csolve: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (54, 93.10%)
None (4, 6.90%)

Pull Request Author Associations

Contributor (43, 97.73%)
None (1, 2.27%)

Top Issue Labels

FETT (25)
Target (18)
appLayer (18)
UNIX (11)
LANDO (5)
Documentation (5)
ENHANCEMENT (5)
FreeBSD (5)
specifications (4)
Voting (4)
source code (4)
software (3)
Linux (3)
Q/A (3)
cryptol (3)

Top Pull Request Labels

assurance (3)
architecture (2)
FEATURE (2)
source code (2)
ENHANCEMENT (2)
specifications (2)
Q/A (2)
SysML (1)
FETT (1)
Target (1)
appLayer (1)
LANDO (1)