Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / shonfeder issue stats
Total issues: 231
Total pull requests: 226
Merged pull request: 194
Average time to close issues: 4 months
Average time to close pull requests: 19 days
Average comments per issue: 1.89
Average comments per pull request: 1.06
Issues created
- informalsystems/quint: 88
- informalsystems/themis-contract: 35
- ocaml-community/omd: 18
- ocaml/omd: 18
- shonfeder/tokenize: 16
- astrada/gapi-ocaml: 5
- ocaml/infrastructure: 4
- scalapb/zio-grpc: 3
- ocaml/opam-repository: 2
- ocaml/dune: 2
- rubygems/rubygems: 2
- ocaml-ppx/ppx_deriving: 2
- openai/openai-openapi: 2
- janestreet/bin_prot: 2
- ocsigen/lwt: 2
- scalanlp/breeze: 2
- mattjbray/ocaml-decoders: 1
- thierry-martinez/stdcompat: 1
- aantron/markup.ml: 1
- JamesLavin/recursive_selective_match: 1
- magit/forge: 1
- shonfeder/nomad: 1
- mirage/ocaml-github: 1
- rgrinberg/ocaml-mustache: 1
- shonfeder/um-abt: 1
- dinosaure/multipart_form: 1
- ocaml/opam: 1
- mirage/ocaml-uri: 1
- informalsystems/unclog: 1
- ocsigen/eliom: 1
- craigfe/oskel: 1
- tmattio/spin: 1
- oclif/example-multi-ts: 1
- janestreet/ppx_inline_test: 1
- gildor478/ocaml-markdown: 1
- sosy-lab/benchexec: 1
- fedej/poetry-grpc-plugin: 1
- tudo-aqua/z3-turnkey: 1
- FStarLang/FStar: 1
- danmarg/outtake: 1
- anko/txm: 1
- tendermint/tendermint: 1
- avsm/mirage-ci: 1
- ocaml/camlp-streams: 1
Pull requests created
- informalsystems/quint: 86
- shonfeder/tokenize: 43
- ocaml-community/omd: 14
- ocaml/omd: 14
- informalsystems/themis-contract: 12
- shonfeder/alg_structs: 7
- ocaml/ocaml.org: 6
- mtelvers/ansible: 5
- shonfeder/ocobs: 5
- astrada/gapi-ocaml: 3
- shonfeder/um-abt: 3
- caredox/aws_ssm_provider: 2
- shonfeder/semigrouper: 2
- ocaml-ppx/ppx_deriving: 2
- mirage/mrmime: 2
- hng/tech-coops: 2
- ocaml/opam-repository: 2
- ocsigen/lwt: 2
- mirage/ocaml-github: 1
- rgrinberg/curly: 1
- ebuchman/blog: 1
- ocaml/infrastructure: 1
- ocaml/v2.ocaml.org: 1
- informalsystems/unclog: 1
- c-cube/ocaml-containers: 1
- ulrikstrid/logs-ppx: 1
- ocaml/dune: 1
- shonfeder/emojitsu: 1
- interlay/interbtc-spec: 1
- ocaml-multicore/uring-trace: 1
- pqwy/notty: 1
- c-cube/datalog: 1
Maintainer
- informalsystems/quint: 157
- shonfeder/tokenize: 59
- informalsystems/themis-contract: 47
- ocaml-community/omd: 32
- ocaml/omd: 32
- shonfeder/alg_structs: 7
- ocaml/infrastructure: 5
- shonfeder/ocobs: 5
- mtelvers/ansible: 5
- shonfeder/um-abt: 4
- ocaml/dune: 3
- informalsystems/unclog: 2
- shonfeder/semigrouper: 2
- shonfeder/nomad: 1
- shonfeder/emojitsu: 1
Active Maintainer
Issue Author Associations
- Member (113, 48.92%)
- Collaborator (42, 18.18%)
- None (33, 14.29%)
- Contributor (25, 10.82%)
- Owner (18, 7.79%)
Pull Request Author Associations
- Member (93, 41.15%)
- Owner (61, 26.99%)
- Collaborator (36, 15.93%)
- Contributor (34, 15.04%)
- None (2, 0.88%)
Top Issue Labels
- bug (30)
- enhancement (9)
- tla+ transpilation (7)
- help wanted (6)
- high-priority (6)
- usability (6)
- language design (6)
- doc (5)
- simulator (5)
- UX (4)
- feedback (4)
- feature (4)
- typechecker (3)
- devops (3)
- forwarded-to-js-devs (3)
Top Pull Request Labels
- wip (1)
- tech-debt (1)