Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / yav issue stats
Total issues: 172
Total pull requests: 60
Merged pull request: 45
Average time to close issues: 2 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.1
Average comments per pull request: 1.0
Issues created
- GaloisInc/cryptol: 52
- GaloisInc/cryptol-compiler: 33
- GaloisInc/daedalus: 21
- GaloisInc/lustre: 17
- GaloisInc/ASKE-E: 10
- GaloisInc/galua: 8
- haskell/lsp: 5
- GaloisInc/libBF-hs: 3
- haskell/containers: 3
- haskell/cabal: 2
- GaloisInc/crucible: 2
- Z3Prover/z3: 2
- aisamanra/s-cargot: 1
- LeventErkok/sbv: 1
- GaloisInc/what4: 1
- GaloisInc/argo: 1
- cvc5/cvc5: 1
- GaloisInc/parameterized-utils: 1
- haskell/alex: 1
- haskell/aeson: 1
- luqui/data-inttrie: 1
- haskell/base64-bytestring: 1
- GaloisInc/config-value-getopt: 1
- haskell/vector: 1
- GaloisInc/lustre-sally: 1
- ndmitchell/hlint: 1
Pull requests created
- GaloisInc/cryptol: 36
- harpocrates/language-rust: 3
- glguy/tries: 2
- glguy/config-value: 2
- glguy/language-lua: 2
- GaloisInc/daedalus: 2
- GaloisInc/crucible: 2
- haskell/rfcs: 2
- haskell/happy: 2
- mainland/language-c-quote: 2
- GaloisInc/cryptol-compiler: 1
- GaloisInc/argo: 1
- GaloisInc/ASKE-E: 1
- GaloisInc/cryptol-specs: 1
- apauley/HollingBerries: 1
Maintainer
- GaloisInc/cryptol: 88
- GaloisInc/cryptol-compiler: 34
- GaloisInc/daedalus: 23
- GaloisInc/lustre: 17
- GaloisInc/ASKE-E: 11
- GaloisInc/galua: 8
- GaloisInc/crucible: 4
- GaloisInc/libBF-hs: 3
- glguy/language-lua: 2
- GaloisInc/argo: 2
- GaloisInc/config-value-getopt: 1
- GaloisInc/parameterized-utils: 1
- GaloisInc/what4: 1
- GaloisInc/cryptol-specs: 1
- GaloisInc/lustre-sally: 1
Active Maintainer
Issue Author Associations
- Member (151, 87.79%)
- None (20, 11.63%)
- Contributor (1, 0.58%)
Pull Request Author Associations
- Member (44, 73.33%)
- Contributor (9, 15.00%)
- None (5, 8.33%)
- Collaborator (2, 3.33%)
Top Issue Labels
- enhancement (17)
- bug (15)
- feature (12)
- Cryptol to IR (12)
- parameterized modules (11)
- IR to Rust (8)
- feature request (7)
- design needed (6)
- nice to have (5)
- typechecker (4)
- projects (4)
- docstrings (3)
- design (3)
- docs (3)
- language (3)
Top Pull Request Labels
- Needs Implementation (1)
- GHC extension (1)
- :: Syntax (1)
- enums (1)