Ecosyste.ms: Issues

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

GitHub / chameco issue stats

Total issues: 0
Total pull requests: 29
Merged pull request: 25
Average time to close issues: N/A
Average time to close pull requests: 18 days
Average comments per issue: 0
Average comments per pull request: 0.38

Issues created

Pull requests created

GaloisInc/BLST-Verification: 8
GaloisInc/flexdis86: 6
braxtonhall/fib: 2
awslabs/aws-lc-verification: 2
GaloisInc/language-sally: 1
GaloisInc/what4: 1
GaloisInc/AES-GCM-SIV-proof: 1
GaloisInc/jvm-verifier: 1
raymondjacobson/csci2963_mongodb_lab: 1
GaloisInc/cryptol-verifier: 1
GaloisInc/saw-core: 1
GaloisInc/saw-core-aig: 1
meh/elixir-socket: 1
GaloisInc/saw-core-sbv: 1
GaloisInc/saw-core-what4: 1

Maintainer

GaloisInc/what4: 1

Active Maintainer

Issue Author Associations

Pull Request Author Associations

Contributor (26, 89.66%)
None (2, 6.90%)
Member (1, 3.45%)