GitHub / c-cube issue stats
Total issues: 363
Total pull requests: 456
Merged pull request: 365
Average time to close issues: 8 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.63
Average comments per pull request: 1.42
Issues created
- sneeuwballen/zipperposition: 24
- c-cube/ocaml-containers: 18
- c-cube/calculon: 16
- c-cube/tiny_httpd: 15
- gbury/msat: 15
- johnelse/ocaml-irc-client: 13
- mransan/ocaml-protoc: 11
- imandra-ai/imandrax-api: 10
- vincent-hugot/qtest: 9
- ocaml-community/ocaml-linenoise: 9
- c-cube/sidekick: 8
- c-cube/stimsym: 7
- ocaml/vim-ocaml: 6
- ocaml-community/ISO8601.ml: 6
- imandra-ai/ocaml-opentelemetry: 6
- c-cube/printbox: 5
- c-cube/moonpool: 5
- c-cube/smbc: 5
- c-cube/spelll: 5
- mattjbray/ocaml-decoders: 5
- c-cube/trustee: 5
- c-cube/bare-ocaml: 4
- ocaml-community/meta: 4
- c-cube/mc2: 4
- c-cube/oseq: 4
- c-cube/maki: 4
- let-def/lwd: 4
- c-cube/iter: 4
- realworldocaml/mdx: 3
- mmottl/sqlite3-ocaml: 3
- danr/hbmc: 3
- dgrunwald/rust-cpython: 3
- c-cube/andes: 3
- vbmithr/ocaml-msgpck: 3
- c-cube/batsat: 3
- imandra-ai/imandra-vscode: 3
- ygrek/ocaml-cbor: 3
- c-cube/gen: 3
- leonidas-from-xiv/slacko: 3
- rgrinberg/onanomsg: 2
- gildor478/ounit: 2
- c-cube/ocaml-minisat: 2
- c-cube/ocabot: 2
- ocsigen/tyxml: 2
- ocaml-community/yojson: 2
- rgrinberg/bencode: 2
- c-cube/ocaml-trace: 2
- dbuenzli/mtime: 2
- gbury/dolmen: 2
- xavierleroy/camlzip: 2
- ocaml/ocaml-re: 2
- djs55/ocaml-sha: 2
- ocaml/ocaml: 2
- imandra-ai/cbor-pack: 2
- mirage/capnp-rpc: 2
- smimram/ocaml-glpk: 2
- c-cube/fuseau: 2
- pqwy/notty: 2
- c-cube/choice: 2
- ocaml/setup-ocaml: 2
- anmonteiro/piaf: 1
- rgrinberg/curly: 1
- janestreet/sexplib0: 1
- paurkedal/ppx_deriving_random: 1
- disruptek/openapi: 1
- imandra-ai/minisat-ml: 1
- rgrinberg/opium: 1
- c-cube/seq: 1
- dbuenzli/jsonm: 1
- sharkdp/hyperfine: 1
- rgrinberg/oasis.vim: 1
- imandra-ai/imandrakit: 1
- imandra-ai/imandra-goals: 1
- paurkedal/ocaml-caqti: 1
- ocaml-multicore/domainslib: 1
- paurkedal/ppx_regexp: 1
- armael/pp_loc: 1
- lonsing/depqbf: 1
- ocsigen/old.ocsigen.org: 1
- mirage/ocaml-cow: 1
- c-cube/qcheck: 1
- gasche/bisect: 1
- dbuenzli/logs: 1
- lpw25/prof_spacetime: 1
- fxfactorial/berber: 1
- nick8325/quickspec: 1
- ygrek/ocurl: 1
- BurntSushi/ripgrep: 1
- ocaml-ppx/ppx_deriving_protobuf: 1
- ukupat/tabs-or-spaces: 1
- ocaml-ppx/ppx_tools: 1
- ocaml/opam: 1
- ocaml/Zarith: 1
- ocaml-community/cppo: 1
- darobin/dasl.ing: 1
- janestreet/sexplib: 1
- mirage/ocaml-uri: 1
- altgr/opam-bundle: 1
- rleonid/bitset_shootout: 1
- c-cube/neperien: 1
- dtonhofer/prolog_notes: 1
- c-cube/olinq: 1
- dbuenzli/react: 1
- Meoowww/Crirc: 1
- tizoc/ocaml-interop: 1
- dbuenzli/uuidm: 1
- chris00/ocaml-benchmark: 1
- Val/crun: 1
- UnixJunkie/dolog: 1
- dsheets/codoc: 1
- qnighy/ratsat: 1
- zulip/zulip-archive: 1
- imandra-ai/ocaml-tracy: 1
- mirage/mirage-crypto: 1
- savonet/ocaml-ssl: 1
- lobsters/lobsters: 1
- mirage/alcotest: 1
Pull requests created
- mransan/ocaml-protoc: 36
- imandra-ai/ocaml-opentelemetry: 31
- c-cube/tiny_httpd: 28
- c-cube/moonpool: 26
- c-cube/ocaml-containers: 25
- imandra-ai/imandrax-api: 22
- c-cube/ocaml-trace: 19
- ocaml/opam-repository: 18
- johnelse/ocaml-irc-client: 15
- imandra-ai/imandrakit: 12
- mattjbray/ocaml-decoders: 10
- let-def/lwd: 8
- c-cube/sidekick: 8
- imandra-ai/batrpc: 7
- chris00/ocaml-benchmark: 6
- c-cube/ezcurl: 6
- c-cube/linol: 6
- gbury/msat: 6
- c-cube/printbox: 5
- imandra-ai/imandra-vscode: 5
- vincent-hugot/qtest: 5
- rgrinberg/bencode: 5
- sneeuwballen/zipperposition: 5
- ocaml-multicore/picos: 4
- wolfpld/tracy: 4
- ocaml-community/awesome-ocaml: 4
- vbmithr/ocaml-msgpck: 4
- elliottcable/ocaml-ambient-context: 4
- c-cube/fuseau: 3
- ocaml/vim-ocaml: 3
- c-cube/calculon: 3
- ocaml/RFCs: 3
- rgrinberg/opium: 3
- imandra-ai/imandra-document: 3
- rgrinberg/onanomsg: 3
- imandra-ai/imandra-goals: 3
- gbury/dolmen: 3
- ocaml-community/yojson: 3
- didactic-drunk/concurrent.cr: 3
- digama0/mm0: 2
- c-cube/iter: 2
- imandra-ai/ocaml-tracy: 2
- mransan/ocaml-protoc-yojson: 2
- ocaml-community/ISO8601.ml: 2
- c-cube/lwt-pipe: 2
- c-cube/sqlite3_utils: 2
- gbury/sat-bench: 2
- ocaml/ocaml-re: 2
- whitequark/ocaml-inotify: 2
- imandra-ai/imandra-docs: 2
- ygrek/ocaml-cbor: 2
- ocaml/ocaml: 2
- c-cube/nanoev: 2
- c-cube/seq: 2
- mirage/ocaml-cstruct: 2
- imandra-ai/imandra-prelude: 2
- ocaml-community/ocaml-linenoise: 2
- imandra-ai/jekyll-resources: 1
- mmottl/sqlite3-ocaml: 1
- gildor478/ounit: 1
- crystal-lang/crystal: 1
- whitequark/ocaml-lz4: 1
- c-cube/smtlib-utils: 1
- jeromeludmann/deno-irc: 1
- imandra-ai/cbor-pack: 1
- drup/dowsing: 1
- ocsigen/lwt: 1
- ocaml/opam: 1
- c-cube/batsat-ocaml: 1
- dbuenzli/hmap: 1
- UnixJunkie/dolog: 1
- hammerlab/ppx_deriving_cmdliner: 1
- tizoc/ocaml-interop: 1
- odin-lang/Odin: 1
- smimram/ocaml-glpk: 1
- vbmithr/ocaml-thrift-lib: 1
- astrada/rxocaml: 1
- disruptek/openapi: 1
- gasche/random-generator: 1
- c-cube/spelll: 1
- mirage/capnp-rpc: 1
- c-cube/datalog: 1
- ygrek/objsize: 1
- bergercookie/asm-lsp: 1
- backtracking/ocamlgraph: 1
- jmid/qcstm: 1
- ocaml/v2.ocaml.org: 1
- rizo/streams-bench: 1
- djs55/ocaml-sha: 1
- armael/pixels: 1
- armael/pp_loc: 1
- mjambon/mixtbl: 1
- andrenth/ocaml-stdint: 1
- craigfe/progress: 1
- imandra-ai/catapult: 1
- imandra-ai/imandra-ast: 1
- ocaml/Zarith: 1
- c-cube/ccbor: 1
- danr/hbmc: 1
- vshender/nats.ml: 1
- c-cube/trustee: 1
- c-cube/quip-book: 1
- ocamlpro/operf-micro: 1
- paurkedal/ocaml-caqti: 1
- c-cube/oseq: 1
- dbuenzli/jsonm: 1
- rgrinberg/curly: 1
- gbury/ocaml-simplex: 1
- fitzgen/bumpalo: 1
- Meoowww/Crirc: 1
Maintainer
- mransan/ocaml-protoc: 47
- c-cube/ocaml-containers: 43
- c-cube/tiny_httpd: 43
- imandra-ai/ocaml-opentelemetry: 37
- imandra-ai/imandrax-api: 32
- c-cube/moonpool: 31
- sneeuwballen/zipperposition: 29
- gbury/msat: 21
- c-cube/ocaml-trace: 21
- c-cube/calculon: 19
- c-cube/sidekick: 16
- mattjbray/ocaml-decoders: 15
- vincent-hugot/qtest: 14
- imandra-ai/imandrakit: 13
- ocaml-community/ocaml-linenoise: 11
Active Maintainer
- imandra-ai/imandrax-api: 14
- imandra-ai/imandrakit: 8
- imandra-ai/ocaml-opentelemetry: 7
- c-cube/moonpool: 5
- ocaml-multicore/picos: 4
- c-cube/tiny_httpd: 3
- c-cube/ocaml-trace: 3
- c-cube/ezcurl: 2
- chris00/ocaml-benchmark: 2
- c-cube/nanoev: 2
- ocaml-community/yojson: 1
- imandra-ai/batrpc: 1
- c-cube/printbox: 1
Issue Author Associations
- Owner (132, 36.36%)
- Member (71, 19.56%)
- None (60, 16.53%)
- Collaborator (57, 15.70%)
- Contributor (43, 11.85%)
Pull Request Author Associations
- Owner (147, 32.24%)
- Member (109, 23.90%)
- Contributor (96, 21.05%)
- Collaborator (94, 20.61%)
- None (10, 2.19%)
Top Issue Labels
- enhancement (72)
- bug (19)
- help wanted (13)
- research (10)
- I-proof-check (6)
- documentation (5)
- feature request (5)
- question (5)
- I-perf (5)
- help_wanted (4)
- D-hard (4)
- feature (4)
- long term (3)
- I-arith (3)
- A-python-API (2)
Top Pull Request Labels
- consider for merge (4)
- stdlib (2)
- kind:feature (1)
- kind:docs (1)
- topic:stdlib (1)
- pr:needs-review (1)
- rfc (1)
- postponed (1)
- enhancement (1)
- question (1)
- AREA: PERFORMANCE (1)