GitHub / konn issue stats
Total issues: 80
Total pull requests: 185
Merged pull request: 167
Average time to close issues: 6 months
Average time to close pull requests: 19 days
Average comments per issue: 2.95
Average comments per pull request: 1.24
Issues created
- haskell/haskell-language-server: 30
- konn/hskk: 9
- gfngfn/SATySFi: 4
- konn/ghc-typelits-presburger: 4
- tfausak/cabal-gild: 3
- haskell/haskell-mode: 3
- ekmett/parsers: 2
- konn/vscode-generic-input-method: 2
- konn/sized: 2
- ekmett/representable-tries: 1
- yishn/tikzcd-editor: 1
- commercialhaskell/stack: 1
- PyO3/maturin: 1
- dhall-lang/vscode-dhall-lsp-server: 1
- kazu-yamamoto/cab: 1
- nomeata/inspection-testing: 1
- haskell/stylish-haskell: 1
- ghcjs/ghcjs: 1
- tweag/linear-base: 1
- KaTeX/KaTeX: 1
- leanprover/tutorial: 1
- cchalmers/plots: 1
- ekmett/trifecta: 1
- konn/catex: 1
- kazu-yamamoto/mighttpd2: 1
- mboes/haskell-src-exts-qq: 1
- ekmett/ad: 1
- iterative/dvc: 1
- eschnett/mpi-hs: 1
- well-typed/falsify: 1
Pull requests created
- haskell/haskell-language-server: 20
- konn/ghc-typelits-presburger: 20
- konn/herbrand: 20
- konn/computational-algebra: 14
- konn/type-natural: 13
- konn/subcategories: 11
- konn/linear-extra: 10
- konn/sized: 9
- deepflowinc/guardian: 9
- konn/equational-reasoning-in-haskell: 8
- gfngfn/SATySFi: 5
- konn/discord-uploader: 5
- konn/humblr: 3
- konn/qualified_do: 3
- konn/presburger-dfa: 2
- konn/path-tagged: 2
- clash-lang/ghc-typelits-natnormalise: 2
- nomeata/inspection-testing: 2
- tweag/linear-base: 2
- kazu-yamamoto/io-choice: 2
- konn/lambda-pi: 2
- konn/ghc-magic-dict-compat: 2
- clash-lang/ghc-typelits-knownnat: 1
- maxgabriel/brittany-vscode-extension: 1
- konn/shortener: 1
- mchakravarty/language-c-inline: 1
- dmjio/miso: 1
- reinerp/indexed-extras: 1
- ekmett/algebra: 1
- haskell/vscode-haskell: 1
- konn/ad-delcont-primop: 1
- haskell/stylish-haskell: 1
- tfausak/cabal-gild: 1
- kazu-yamamoto/wai-app-file-cgi: 1
- tmcdonell/nvvm: 1
- yav/presburger: 1
- yesodweb/authenticate: 1
- ekmett/hybrid-vectors: 1
- dmcclean/exact-pi: 1
- ekmett/ad: 1
- mstksg/backprop: 1
Maintainer
- haskell/haskell-language-server: 50
- konn/ghc-typelits-presburger: 24
- konn/herbrand: 20
- konn/computational-algebra: 14
- konn/type-natural: 13
- konn/sized: 11
- konn/subcategories: 11
- konn/linear-extra: 10
- deepflowinc/guardian: 9
- konn/hskk: 9
- konn/equational-reasoning-in-haskell: 8
- konn/discord-uploader: 5
- konn/humblr: 3
- konn/qualified_do: 3
- konn/vscode-generic-input-method: 2
Active Maintainer
Issue Author Associations
- Collaborator (31, 38.75%)
- None (20, 25.00%)
- Owner (18, 22.50%)
- Contributor (11, 13.75%)
Pull Request Author Associations
- Owner (126, 68.11%)
- Collaborator (31, 16.76%)
- Contributor (24, 12.97%)
- None (4, 2.16%)
Top Issue Labels
- type: bug (20)
- enhancement (9)
- type: enhancement (9)
- component: ghcide (8)
- bug (8)
- component: hls-eval-plugin (6)
- build tool: stack (3)
- status: blocked (3)
- component: lsp (3)
- CI (2)
- component: imports plugin (2)
- component: wingman (2)
- multi-component (2)
- status: needs info (1)
- upstream (1)
Top Pull Request Labels
- merge me (11)
- enhancement (5)
- bug (1)