Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / filipeom issue stats
Total issues: 116
Total pull requests: 144
Merged pull request: 134
Average time to close issues: 2 months
Average time to close pull requests: 5 days
Average comments per issue: 0.58
Average comments per pull request: 0.23
Issues created
- formalsec/smtml: 51
- formalsec/explode-js: 19
- formalsec/ocaml-cvc5: 9
- formalsec/whilloc: 6
- filipeom/home: 5
- fast-sp-2023/fast: 3
- formalsec/vulcan-dataset: 3
- formalsec/waspc: 3
- formalsec/instrumentation2: 3
- filipeom/dwmstatusml: 2
- formalsec/ecmasl-vim: 2
- ocaml/opam: 2
- formalsec/graphjs: 1
- dbuenzli/bos: 1
- formalsec/test-comp: 1
- formalsec/ast-gen: 1
- filipeom/wasm-se-bench: 1
- srdja/Collections-C: 1
- formalsec/smt-comp: 1
- ChrisTimperley/comby-python: 1
Pull requests created
- formalsec/smtml: 93
- formalsec/whilloc: 11
- formalsec/explode-js: 8
- formalsec/ast-gen: 6
- formalsec/ocaml-cvc5: 6
- sosy-lab/benchexec: 4
- formalsec/instrumentation2: 4
- ocaml/opam-repository: 2
- formalsec/graphjs: 2
- formalsec/smt-comp: 2
- filipeom/dwmstatusml: 1
- formalsec/collections-c: 1
- mirage/ocaml-conduit: 1
- srdja/Collections-C: 1
- formalsec/test-comp: 1
- facebook/flow: 1
Maintainer
- formalsec/smtml: 144
- formalsec/explode-js: 27
- formalsec/whilloc: 17
- formalsec/ocaml-cvc5: 15
- formalsec/instrumentation2: 7
- formalsec/ast-gen: 7
- filipeom/home: 5
- formalsec/graphjs: 3
- formalsec/waspc: 3
- formalsec/vulcan-dataset: 3
- formalsec/smt-comp: 3
- filipeom/dwmstatusml: 3
- formalsec/ecmasl-vim: 2
- formalsec/test-comp: 2
- filipeom/wasm-se-bench: 1
Active Maintainer
- formalsec/smtml: 119
- formalsec/explode-js: 27
- formalsec/whilloc: 16
- formalsec/ocaml-cvc5: 15
- formalsec/instrumentation2: 7
- formalsec/ast-gen: 7
- filipeom/home: 5
- formalsec/graphjs: 3
- formalsec/vulcan-dataset: 3
- formalsec/smt-comp: 3
- filipeom/dwmstatusml: 3
- formalsec/ecmasl-vim: 2
- filipeom/wasm-se-bench: 1
- formalsec/test-comp: 1
- formalsec/collections-c: 1
Issue Author Associations
- Member (100, 86.21%)
- Owner (8, 6.90%)
- None (7, 6.03%)
- Contributor (1, 0.86%)
Pull Request Author Associations
- Member (134, 93.06%)
- Contributor (9, 6.25%)
- Owner (1, 0.69%)
Top Issue Labels
- type: bug (17)
- good first issue (15)
- enhancement (11)
- type: feature (8)
- work: obvious (8)
- piority: medium (7)
- type: discussion (7)
- priority: critical (7)
- work: complex (5)
- work: complicated (4)
- piority: low (4)
- state: pending (3)
- help wanted (2)
- work: chaotic (2)
- KIND: FEATURE WISH (2)
Top Pull Request Labels
- type: fix (4)
- tool support (3)
- bitwuzla (2)
- type: chore (2)
- enhancement (1)
- CLA Signed (1)
- Merged (1)
- alt-ergo (1)
- breaking (1)
- priority: critical (1)
- type: feature (1)
- work: obvious (1)