GitHub / SnarkBoojum issue stats
Total issues: 224
Total pull requests: 6
Merged pull request: 5
Average time to close issues: 7 months
Average time to close pull requests: 8 days
Average comments per issue: 3.13
Average comments per pull request: 2.17
Issues created
- JohnCremona/eclib: 8
- node-unicode/node-unicode-data: 7
- BRiAl/BRiAl: 5
- lpcic/elpi: 5
- pynac/pynac: 4
- minetest-mods/xdecor: 4
- LPCIC/coq-elpi: 4
- ejgallego/coq-serapi: 4
- fredrik-johansson/arb: 4
- math-comp/algebra-tactics: 3
- cornernote/minetest-skyblock: 3
- QuickChick/QuickChick: 3
- cornernote/minetest-infinite_chest: 3
- coq/coq: 3
- fplll/fpylll: 3
- math-comp/real-closed: 3
- coq-community/coq-dpdgraph: 3
- linbox-team/givaro: 3
- typestyle/typestyle: 3
- math-comp/math-comp: 3
- minetest-mods/throwing: 3
- ocaml/merlin: 3
- math-comp/multinomials: 3
- kpdecker/jsdiff: 2
- lukaszcz/coqhammer: 2
- jazzband/django-ical: 2
- minetest-mods/moreblocks: 2
- minetest-mods/character_creator: 2
- UniMath/UniMath: 2
- flintlib/antic: 2
- Rich-Harris/vlq: 2
- TrySound/rollup-plugin-string: 2
- Rich-Harris/locate-character: 2
- ocaml/dune: 2
- component/is-module: 2
- pickleshare/pickleshare: 2
- fplll/fplll: 2
- pypa/setuptools-scm: 2
- minetest-mods/craftguide: 2
- inexorabletash/text-encoding: 2
- minetest/minetestmapper: 2
- coq-community/reglang: 2
- math-comp/mcb: 2
- flintlib/arb: 2
- unicoq/unicoq: 2
- coq/stdlib: 2
- ocaml-community/utop: 1
- benjamn/private: 1
- pytroll/satpy: 1
- minetest-mods/3d_armor: 1
- math-comp/abel: 1
- tornadoweb/tornado: 1
- cython/backports_abc: 1
- mathiasbynens/regexpu: 1
- jaraco/path: 1
- mathiasbynens/jsesc: 1
- kaeza/mt-firearms: 1
- johncremona/ecdata: 1
- gyoto/Gyoto: 1
- dmonad/lib0: 1
- Rich-Harris/magic-string: 1
- jupyterlab/jupyterlab: 1
- minetest-mods/intllib: 1
- takluyver/entrypoints: 1
- coin-or/Cbc: 1
- tacigar/maidroid: 1
- cgeo/send2cgeo: 1
- rollup/rollup-pluginutils: 1
- minetest-mods/throwing_arrows: 1
- lysxia/coq-simple-io: 1
- rocq-community/paramcoq: 1
- chaijs/check-error: 1
- ocsigen/ocsigenserver: 1
- coq-community/math-classes: 1
- ocaml/ocamlbuild: 1
- jupyter/terminado: 1
- agronholm/anyio: 1
- math-comp/analysis: 1
- damien-pous/relation-algebra: 1
- frenic/csstype: 1
- dbuenzli/cmdliner: 1
- bublejs/buble: 1
- mixmark-io/turndown: 1
- cherrypy/cheroot: 1
- rollup/rollup-plugin-typescript: 1
- oreillymedia/thebe: 1
- colis-anr/morbig: 1
- xmlrunner/unittest-xml-reporting: 1
- minetest-mods/unified_inventory: 1
- janestreet/ppxlib_jane: 1
- jupyterlab/lumino: 1
- jupyterlab/jupyterlab_pygments: 1
- mathiasbynens/unicode-property-aliases-ecmascript: 1
- acornjs/acorn-object-spread: 1
- eslint/doctrine: 1
- jrh13/hol-light: 1
- HoTT/Coq-HoTT: 1
- mnemosyne-proj/mnemosyne: 1
- JsCommunity/make-error: 1
- stedolan/ocaml-afl-persistent: 1
- umr-lops/xsar: 1
- tchajed/coq-record-update: 1
- django-import-export/django-import-export: 1
- minetest-mods/more_chests: 1
- jviereck/regjsparser: 1
- ipython/ipyparallel: 1
- graph-algorithms/edge-addition-planarity-suite: 1
- esnext/es6-module-transpiler: 1
- kamicane/require-relative: 1
- pexpect/ptyprocess: 1
- thlorenz/proxyquire: 1
- dmnd/dedent: 1
- StevenLooman/mocha-lcov-reporter: 1
- jupyter/testpath: 1
- mirage/alcotest: 1
- ryanmcgrath/wrench-js: 1
- ott-lang/ott: 1
- rocq-community/reduction-effects: 1
- rocq-community/math-classes: 1
- math-comp/hierarchy-builder: 1
- coq-community/reduction-effects: 1
- minetest-mods/areas: 1
- chaijs/get-func-name: 1
- rocq-community/corn: 1
- ProofGeneral/PG: 1
- thery/coqprime: 1
- here-be/snapdragon: 1
- jupyter/jupyter_client: 1
- rocq-community/coqeal: 1
- olov/stringmap: 1
- evanw/node-source-map-support: 1
- TritonDataCenter/node-getopt: 1
- isaacs/rimraf: 1
- acoquereau/psmt2-frontend: 1
- microsoft/vscode-iconv-lite-umd: 1
- microsoft/node-pty: 1
- minetest-mods/nether: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (195, 87.05%)
- Contributor (29, 12.95%)
Pull Request Author Associations
- None (4, 66.67%)
- Contributor (2, 33.33%)
Top Issue Labels
- bug (7)
- enhancement (5)
- help wanted (2)
- good first issue (2)
- needs: triage (2)
- kind: bug (2)
- easy difficulty (1)
- low priority (1)
- forwarded-to-js-devs (1)
- planned-for-next-release (1)
- major-new-feature (1)
- kind: documentation (1)
- sexplib (1)
- Feature Request (1)
- documentation (1)
Top Pull Request Labels
- kind: cleanup (1)