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