GitHub / jwaldmann issue stats
Total issues: 717
Total pull requests: 51
Merged pull request: 39
Average time to close issues: 6 months
Average time to close pull requests: 6 months
Average comments per issue: 1.97
Average comments per pull request: 1.63
Issues created
- jwaldmann/star-exec-presenter: 177
- abau/co4: 84
- ekmett/ersatz: 45
- jwaldmann/haskell-tpdb: 41
- haskell/containers: 26
- jwaldmann/ceta-postproc: 24
- haskell/cabal: 22
- jwaldmann/matchbox: 21
- spell-music/csound-expression: 16
- tidalcycles/Tidal: 16
- jwaldmann/safe-tidal-cli: 14
- munshkr/flok: 12
- jwaldmann/haskell-obdd: 10
- jwaldmann/flat-tex: 9
- jwaldmann/plain-postproc: 8
- yav/simple-smt: 8
- jwaldmann/logical-juggling: 7
- rudymatela/leancheck: 7
- adamwalker/haskell_cudd: 7
- letmaik/monadiccp: 6
- haskell/haddock: 5
- ucsd-progsys/liquidhaskell: 5
- klemens/openolat: 5
- jwaldmann/ersatz-kissatapi: 4
- haskell-unordered-containers/hashable: 4
- Bodigrim/smallcheck: 4
- gwern/mueval: 4
- emacs-lsp/lsp-haskell: 4
- nominolo/atto-lisp: 3
- jwaldmann/satchmo: 3
- byorgey/haxr: 3
- agda/agda: 3
- snoyberg/xml: 3
- haskell/criterion: 3
- haskell-hint/hint: 3
- niklasso/minisat-haskell-bindings: 3
- rudymatela/speculate: 3
- ranjitjhala/sprite-lang: 2
- haskell/parsec: 2
- spell-music/csound-catalog: 2
- haskell/pretty: 2
- haskell-suite/haskell-src-exts: 2
- vincenthz/hs-gauge: 2
- AccelerateHS/accelerate-fft: 2
- haskell/c2hs: 2
- jwaldmann/pento-pento: 2
- ndmitchell/derive: 2
- JPMoresmau/scion-class-browser: 2
- jvoigtlaender/elm-tutorium: 2
- commercialhaskell/stack: 2
- AccelerateHS/accelerate: 2
- haskell-numerics/hmatrix: 2
- sri-csl/pvs: 2
- glguy/utf8-string: 2
- ivanperez-keera/spaceinvaders: 2
- skogsbaer/hscurses: 2
- ekmett/wl-pprint-extras: 1
- yesodweb/shakespeare: 1
- haskell/text: 1
- fricas/fricas: 1
- leanprover/lean3: 1
- swamp-agr/blaze-textual: 1
- jwaldmann/echo-postproc: 1
- msoos/cryptominisat: 1
- haskell-github-trust/ekg-json: 1
- haskell-hvr/cabal-plan: 1
- Daniel-Diaz/HaTeX: 1
- domschrei/mallob: 1
- norfairking/haskell-dangerous-functions: 1
- haas/harmtrace: 1
- TravisWhitaker/rdf: 1
- spell-music/temporal-csound: 1
- supercollider/sc3-plugins: 1
- lonsing/depqbf: 1
- bkomuves/compact-word-vectors: 1
- xmonad/xmonad: 1
- haskell/ThreadScope: 1
- Mikolaj/enummapset: 1
- cdepillabout/pretty-simple: 1
- ndmitchell/ghcid: 1
- snoyberg/githash: 1
- lehins/hip: 1
- haskell/parallel: 1
- haskell/random: 1
- acfoltzer/gitrev: 1
- ekmett/reflection: 1
- ekmett/intern: 1
- paul-rouse/mysql: 1
- SRI-CSL/yices2: 1
- jackaudio/jackaudio.github.com: 1
- jwaldmann/cudd-ersatz: 1
- marcellussiegburg/call-alloy: 1
- haskell/tar: 1
- jwaldmann/pretty-test: 1
- csound/plugins: 1
- haskell/aeson: 1
- haskell/network: 1
- agda/agda-stdlib: 1
- treeowl/compact-sequences: 1
- ivan-m/wl-pprint-text: 1
- haskell/stm: 1
- gregorycollins/hashtables: 1
- UweSchmidt/hxt: 1
- timbod7/haskell-chart: 1
- yesodweb/persistent: 1
- jwaldmann/haskell-boolector: 1
- abau/satchmo-core: 1
- xmonad/xmonad-contrib: 1
- bgamari/mersenne-random-pure64: 1
- haskell/bytestring: 1
- ivan-m/graphviz: 1
- gereeter/bounded-intmap: 1
- hspec/hspec-smallcheck: 1
Pull requests created
- haskell/containers: 10
- ekmett/ersatz: 10
- abau/co4: 7
- tidalcycles/Tidal: 4
- nominolo/atto-lisp: 2
- jwaldmann/haskell-tpdb: 2
- nomeata/hal2016-website: 2
- byorgey/haxr: 1
- vincenthz/hs-gauge: 1
- haskell-github-trust/ekg-json: 1
- astanin/moo: 1
- letmaik/monadiccp: 1
- jwaldmann/star-exec-presenter: 1
- adamwalker/haskell_cudd: 1
- haskell/bytestring: 1
- niklasso/minisat-haskell-bindings: 1
- haskell/aeson: 1
- csound/plugins: 1
- spell-music/csound-catalog: 1
- gwern/mueval: 1
- niklasso/minisat-c-bindings: 1
Maintainer
- jwaldmann/star-exec-presenter: 178
- abau/co4: 91
- ekmett/ersatz: 55
- jwaldmann/haskell-tpdb: 43
- jwaldmann/ceta-postproc: 24
- jwaldmann/matchbox: 21
- jwaldmann/safe-tidal-cli: 14
- jwaldmann/haskell-obdd: 10
- jwaldmann/flat-tex: 9
- jwaldmann/plain-postproc: 8
- jwaldmann/logical-juggling: 7
- jwaldmann/ersatz-kissatapi: 4
- jwaldmann/satchmo: 3
- jwaldmann/pento-pento: 2
- jwaldmann/haskell-boolector: 1
Active Maintainer
Issue Author Associations
- Owner (324, 45.19%)
- None (198, 27.62%)
- Collaborator (130, 18.13%)
- Contributor (65, 9.07%)
Pull Request Author Associations
- Contributor (24, 47.06%)
- Collaborator (17, 33.33%)
- None (7, 13.73%)
- Owner (3, 5.88%)
Top Issue Labels
- enhancement (134)
- bug (104)
- data base (23)
- question (20)
- important for TC17 (17)
- starexec connection (16)
- termination (15)
- feature proposal (14)
- type: bug (13)
- documentation (11)
- tables (queries) (11)
- constraints (8)
- IntMap (6)
- IntSet (5)
- cabal-install: cmd/install (5)