GitHub / andreasabel issue stats
Total issues: 1,314
Total pull requests: 2,018
Merged pull request: 1,576
Average time to close issues: 5 months
Average time to close pull requests: 22 days
Average comments per issue: 2.44
Average comments per pull request: 1.0
Issues created
- agda/agda: 162
- haskell/cabal: 147
- axelf4/pfm-lambda: 27
- haskell/actions: 26
- haskell/hackage-server: 24
- haskell/happy: 22
- skogsbaer/HTF: 16
- commercialhaskell/stack: 16
- hackage-trustees/hackage-cli: 16
- agda/fix-whitespace: 16
- haskell-github/github: 15
- haskell/text-icu: 15
- fugue/goldplate: 11
- phile314/tasty-silver: 11
- haskell/ghcup-hs: 11
- ddssff/listlike: 9
- haskell/aeson: 9
- gregwebs/Shelly.hs: 9
- martijnbastiaan/doctest-parallel: 9
- haskell/alex: 9
- sol/doctest: 9
- haskell/containers: 9
- kosmikus/lhs2tex: 9
- haskell-hvr/http-io-streams: 9
- haskell-cryptography/HsOpenSSL: 8
- haskell/haddock: 8
- haskell/ghcup-metadata: 8
- UnkindPartition/tasty: 7
- acid-state/acid-state: 7
- juhp/stack-clean-old: 7
- wenkokke/setup-agda: 7
- sol/hpack: 6
- commercialhaskell/stackage: 6
- cli/cli: 6
- haskell-unordered-containers/hashable: 6
- hasktorch/hasktorch: 6
- spl/dlist: 5
- ocharles/monadplus: 5
- haskell/zlib: 5
- haskell/pvp: 5
- JetBrains/intellij-arend: 5
- mistuke/ghcchoco: 5
- haskell-hvr/regex-tdfa: 5
- haskell/bytestring: 5
- haskell/mtl: 5
- snapframework/snap: 5
- nick8325/quickcheck: 5
- corsis/clock: 5
- agda/agda-stdlib: 5
- stevenfontanella/microlens: 4
- banacorn/agda-mode-vscode: 4
- haskell/pretty: 4
- basvandijk/scientific: 4
- hackage-trustees/malcolm-wallace-universe: 4
- LeventErkok/sbv: 4
- agda/hs-tags: 4
- maoe/lifted-async: 4
- ayberkt/agda-brzozowski: 4
- haskell/vector: 4
- robdockins/edison: 4
- timbod7/haskell-chart: 4
- HaXml/HaXml: 4
- tweag/linear-base: 4
- haskell/process: 4
- BNFC/bnfc: 4
- thoughtpolice/hs-ed25519: 4
- haskell/vscode-haskell: 4
- haskell/unix: 4
- quchen/prettyprinter: 4
- haskell/double-conversion: 4
- well-typed/cborg: 3
- andreasabel/miniagda: 3
- haskell-hvr/cassava: 3
- haskell/network-uri: 3
- haskell/lsp: 3
- fpco/haskell-filesystem: 3
- haskell/network: 3
- haskell/haskell-language-server: 3
- haskell/haskell-mode: 3
- jgm/skylighting: 3
- freizl/hoauth2: 3
- haskellari/cabal-doctest: 3
- bos/filemanip: 3
- snapframework/heist: 3
- haskellari/binary-instances: 3
- snoyberg/yaml: 3
- nominolo/union-find: 3
- bjpop/language-python: 3
- jacobstanley/unix-compat: 3
- Lysxia/generic-data: 3
- actions/cache: 3
- haskell/directory: 3
- haskell/filepath: 3
- ndmitchell/hlint: 3
- pcapriotti/optparse-applicative: 3
- hspec/hspec-expectations: 2
- gregorycollins/hashtables: 2
- agda-attic/agda-github-syntax-highlighting: 2
- gtk2hs/gtk2hs: 2
- UnkindPartition/data-lens-light: 2
- cr-marcstevens/dblpbibtex: 2
- conal/boolean: 2
- haskell/core-libraries-committee: 2
- snoyberg/mono-traversable: 2
- ocharles/weeder: 2
- ndmitchell/shake: 2
- andreasabel/ini: 2
- achirkin/easytensor: 2
- haskell/entropy: 2
- freckle/stack-action: 2
- haskell/time: 2
- dmwit/encoding: 2
- sphinx-doc/sphinx: 2
- teach-plt/LR-demo: 2
- informatikr/aeson-pretty: 2
- acid-state/safecopy: 2
- jaspervdj/blaze-markup: 2
- actions/runner-images: 2
- chessai/patience: 2
- dannypsnl/agda-tree: 2
- haskell-hvr/netrc: 2
- rhysd/actionlint: 2
- haskell/primitive: 2
- nedervold/context-free-grammar: 2
- snoyberg/http-client: 2
- UnkindPartition/ansi-terminal: 2
- ulidtko/cabal-doctest: 2
- nick8325/twee: 2
- seereason/Diff: 2
- spell-music/csound-expression-typed: 2
- jaspervdj/goldplate: 2
- haskell-hvr/cryptohash-sha1: 2
- simonmar/async: 2
- seereason/process-extras: 2
- simonmar/ghc-paths: 2
- mihaimaruseac/hindent: 2
- haskell/haskeline: 2
- snoyberg/packdeps: 2
- hesselink/type-equality: 2
- pa-ba/compdata: 2
- arybczak/ghc-tags: 2
- pa-ba/equivalence: 2
- dreixel/syb: 2
- ndmitchell/extra: 2
- klapaucius/vector-hashtables: 2
- Hexirp/doctest-driver-gen: 2
- haskell-CI/haskell-ci: 2
- typeclasses/chell: 2
- bos/vector-binary-instances: 2
- snapframework/io-streams: 2
- takano-akio/filelock: 2
- swyddfa/esbonio: 2
- aesiniath/http-streams: 2
- borisveytsman/acmart: 2
- luke-clifton/shh: 2
- phadej/trustee: 2
- haskell/stm: 2
- haskell/test-framework: 2
- yesodweb/haskell-xss-sanitize: 2
- haskell-hvr/HsYAML: 2
- snapframework/snap-server: 2
- fizruk/http-api-data: 2
- haskell/attoparsec: 2
- freckle/stack-cache-action: 2
- haskell/HTTP: 2
- byorgey/split: 2
- haskell-hvr/cabal-plan: 2
- kowainik/.github: 1
- haskell-hvr/missingh: 1
- haskellari/lattices: 1
- haskell-unordered-containers/unordered-containers: 1
- ekmett/constraints: 1
- liyang/system-posix-redirect: 1
- haskell/base16-bytestring: 1
- DavHau/cabal2json: 1
- Happstack/happstack-server: 1
- jirutka/setup-alpine: 1
- snapframework/snap-core: 1
- blaze-builder/blaze-builder: 1
- haskellari/qc-instances: 1
- hedgehogqa/haskell-hedgehog: 1
- kowainik/summoner: 1
- mpickering/apply-refact: 1
- typeclasses/ascii-superset: 1
- haskell-hvr/xor: 1
- juhp/hwk: 1
- mietek/research: 1
- mpickering/hlint-refactor-mode: 1
- quchen/articles: 1
- mokus0/th-extras: 1
- haskell/win32: 1
- ndmitchell/filepattern: 1
- phadej/boring: 1
- haskell/hackage-security: 1
- jespercockx/cubes: 1
- jvranish/Lenses: 1
- meiersi/strict-base-types: 1
- haskell-hvr/text-short: 1
- ndmitchell/tagsoup: 1
- strake/peano.hs: 1
- psibi/fb: 1
- haskellari/time-compat: 1
- haskell-pkg-janitors/filelock: 1
- HuwCampbell/grenade: 1
- mitchellwrosen/io-capture: 1
- kowainik/policeman: 1
- jfischoff/tmp-postgres: 1
- teach-plt/lab3-testsuite: 1
- haskell/parallel: 1
- badgen/badgen.net: 1
- haskell-gi/haskell-gi: 1
- digama0/lean-type-theory: 1
- lspitzner/pqueue: 1
- nikita-volkov/lawful-conversions: 1
- dreixel/generic-deriving: 1
- ulysses4ever/rere: 1
- kallisti-dev/cond: 1
- bitc/lushtags: 1
- Raynes/fsutils: 1
- bos/configurator: 1
- ekmett/either: 1
- seemoo-lab/opendrop: 1
- glguy/th-abstraction: 1
- jgm/commonmark-hs: 1
- actions/download-artifact: 1
- haskell/text: 1
- haskell-hvr/resolv: 1
- nomeata/cabal-plan-bounds: 1
- haskellari/strict: 1
- GlideAngle/flare-timing: 1
- hspec/setup-haskell: 1
- haskell/old-time: 1
- pylover/hangman-ascii: 1
- tbidne/package-version: 1
- haskell-infra/cloudflare: 1
- totbwf/agda-tic-tac-toe: 1
- haskell-opengl/GLUT: 1
- simonwaldherr/howto-deploy-latex-documents: 1
- MarcWeber/hasktags: 1
- chrispenner/haskell-stack-travis-ci: 1
- Bodigrim/logict: 1
- tectonic-typesetting/tectonic: 1
- gabriella439/haskell-mmorph-library: 1
- granule-project/granule: 1
- ekmett/lens: 1
- blamario/incremental-parser: 1
- haskell/random: 1
- RyanGlScott/mintty: 1
- phadej/integer-conversion: 1
- uhub/awesome-haskell: 1
- vincenthz/cabal-db: 1
- aristidb/http-types: 1
- isovector/type-errors: 1
- haskell-infra/cf-err-pages: 1
- Porges/email-validate-hs: 1
- svenstaro/upx-action: 1
- nikita-volkov/neat-interpolation: 1
- norfairking/haskell-dangerous-functions: 1
- agocorona/workflow: 1
- nick8325/jukebox: 1
- haskell-hvr/uuid: 1
- tree-sitter/haskell-tree-sitter: 1
- selectel/yaml-config: 1
- dev-drprasad/delete-tag-and-release: 1
- haskell-suite/haskell-names: 1
- lichess-bot-devs/lichess-bot: 1
- nikita-volkov/list-t: 1
- judah/haskeline: 1
- yav/haskell-lexer: 1
- actions/typescript-action: 1
- haskell-rewriting/union-find-array: 1
- omelkonian/setup-agda: 1
- koalaman/shellcheck: 1
- phadej/zinza: 1
- jaspervdj/cabal-dependency-licenses: 1
- fpco/typed-process: 1
- brendanhay/credentials: 1
- guillaumecherel/cached: 1
- kowainik/hintman: 1
- hspec/silently: 1
- GaloisInc/cereal: 1
- commercialhaskell/stackage-content: 1
- haskell-servant/servant-multipart: 1
- niklasf/python-chess: 1
- k0001/pipes-zlib: 1
- agda/organization: 1
- vincenthz/hs-securemem: 1
- haskellari/integer-logarithms: 1
- ocramz/sparse-linear-algebra: 1
- rwe/actions-hlint-setup: 1
- composewell/unicode-transforms: 1
- ulfnorell/agda-bench: 1
- coot/ghc-tags-plugin: 1
- RefactoringTools/HaRe: 1
- fujimura/hi: 1
- Bodigrim/tasty-bench: 1
- GaloisInc/sqlite: 1
- deemp/lima: 1
- andreasabel/haskell-ci: 1
- simonmichael/shelltestrunner: 1
- bcpierce00/unison: 1
- LeelaChessZero/lc0: 1
- Beluga-lang/Beluga: 1
- IreneKnapp/hs-captcha: 1
- athanclark/sets: 1
- MLton/mlton: 1
- Shou/type-operators: 1
- ddssff/cabal-debian: 1
- haskell/hsc2hs: 1
- haskell/os-string: 1
- andreasabel/cabal-clean: 1
- haskell/fgl: 1
- andreasabel/agda-for-bisecting: 1
- nominolo/murmur-hash: 1
- kcsongor/generic-lens: 1
- phantamanta44/graded-type-theory: 1
- GregorySchwartz/spectral-clustering: 1
- taffybar/xdg-desktop-entry: 1
- yi-editor/yi: 1
- ivanperez-keera/Yampa: 1
- haskell/c2hs: 1
- haskell-works/oops: 1
- typeclasses/ascii-char: 1
- achirkin/constraints-deriving: 1
- haskellari/microstache: 1
- Happstack/sendfile: 1
- raehik/raehik.github.io: 1
- agda/cornelis: 1
- linear-generics/linear-generics: 1
- noughtmare/haskell-lsp-client: 1
- davidar/jasmin: 1
- xmonad/X11: 1
- UnkindPartition/tasty-golden: 1
- chessai/semirings: 1
- theam/tintin: 1
- ekmett/transformers-compat: 1
- andreasabel/fix-whitespace-action: 1
- haskell-hvr/brotli: 1
- fpco/streaming-commons: 1
- jtdaugherty/vty: 1
- wenkokke/agda-python: 1
- luqui/hothasktags: 1
- fourmolu/fourmolu: 1
- kallisti-dev/filesystem-trees: 1
- haskell-foundation/foundation: 1
- tfausak/github-release: 1
- hanshoglund/iso-deriving: 1
- jonathanknowles/haskell-example: 1
- byorgey/monadrandom: 1
- bjin/hprox: 1
- visq/language-c: 1
- andrewthad/ping: 1
- Happstack/happstack-jmacro: 1
- aleperaltabazas/hocon: 1
- stackbuilders/cassava-megaparsec: 1
- snapframework/openssl-streams: 1
- mitchellwrosen/strict-tuple: 1
- haskellari/lukko: 1
- elaforge/fast-tags: 1
- cdornan/hs: 1
- kazu-yamamoto/test-framework-th-prime: 1
- awkward-squad/text-ansi: 1
- haskell-hvr/rss: 1
- bruderj15/Hasmtlib: 1
- PLSysSec/lio: 1
- commercialhaskell/curator: 1
- debug-ito/staversion: 1
- grundprinzip/dblp: 1
- docopt/docopt.hs: 1
- haskell-hvr/hgettext: 1
- ndmitchell/safe: 1
- git-bug/git-bug: 1
- actions/checkout: 1
- romkatv/powerlevel10k: 1
- josefs/STMonadTrans: 1
- bitonic/tog: 1
- haskell/stylish-haskell: 1
- dimasamoz/agda-soas: 1
- audreyt/regex-pcre-builtin: 1
- ekmett/free: 1
- haskell-numerics/random-fu: 1
- tek/hix: 1
- mr-ohman/logrel-mltt: 1
- haskell-hvr/HsYAML-aeson: 1
- haskell-github-trust/.github: 1
- Happstack/happstack-server-tls: 1
- typst/templates: 1
- yesodweb/clientsession: 1
- emilypi/nonempty-vector: 1
- haskell/tar: 1
- danr/geniplate: 1
- haskell-hvr/regex-base: 1
- hasufell/streamly-yaml: 1
- commercialhaskell/lts-haskell: 1
- korias24/HaskellTurtleGraphics: 1
- haskell-suite/haskell-src-exts: 1
- haskellari/indexed-traversable: 1
- snoyberg/cookie: 1
- hslua/hslua: 1
- tsurucapital/vector-th-unbox: 1
- dbosk/weblogin: 1
- elisp-lsp/vscode-ellsp: 1
- NorfairKing/dirforest: 1
- stevemao/lambda-al-stack: 1
- mvoidex/hsdev: 1
- vincenthz/hs-cryptohash: 1
- kazu-yamamoto/easy-file: 1
- haskell-works/hw-fingertree: 1
- ekmett/semigroups: 1
- squarespace/gradle-jasmin-plugin: 1
- agda/agda-categories: 1
- nebuta/d3js-haskell: 1
- digital-asset/ghc-lib: 1
- tonyday567/chart-svg: 1
- wenkokke/data-debruijn: 1
Pull requests created
- agda/agda: 470
- haskell/cabal: 71
- haskell/alex: 45
- hackage-trustees/hackage-cli: 38
- haskell-hvr/regex-tdfa: 37
- haskell/hackage-security: 36
- haskell/actions: 34
- agda/fix-whitespace: 28
- commercialhaskell/stackage: 27
- haskell-github/github: 26
- haskell/text-icu: 26
- gregwebs/Shelly.hs: 24
- haskell-actions/setup: 22
- acid-state/acid-state: 22
- haskell-hvr/cassava: 20
- agda/agda-stdlib: 18
- ddssff/listlike: 17
- andreasabel/agda2lagda: 17
- josefs/STMonadTrans: 16
- haskell-hvr/HsYAML: 16
- haskell-hvr/microaeson: 15
- fugue/goldplate: 15
- haskell/happy: 14
- haskell/test-framework: 13
- haskell-hvr/brotli: 13
- haskell/hackage-server: 12
- acid-state/safecopy: 12
- haskell/HTTP: 12
- haskell-hvr/missingh: 12
- MarcWeber/hasktags: 12
- blaze-builder/blaze-builder: 12
- haskell-hvr/http-io-streams: 12
- haskell-hvr/xor: 12
- haskell-hvr/netrc: 11
- pa-ba/equivalence: 10
- haskell-hvr/hslogger: 10
- haskell/zlib: 10
- jaspervdj/goldplate: 10
- haskell-hvr/resolv: 10
- haskell/hsc2hs: 9
- haskell-hvr/regex-base: 9
- maoe/lifted-async: 9
- haskell-pkg-janitors/unix-compat: 9
- phile314/tasty-silver: 9
- haskell-pkg-janitors/filelock: 9
- hackage-trustees/malcolm-wallace-universe: 9
- UnkindPartition/tasty: 8
- andreasabel/cabal-clean: 8
- stevenfontanella/microlens: 8
- haskell/old-time: 8
- haskell-hvr/rss: 8
- snapframework/io-streams: 8
- andreasabel/ini: 8
- haskell/unix: 8
- agda/agda-language-server: 8
- haskell-hvr/brotli-streams: 8
- haskell-hvr/cryptohash-md5: 8
- haskell-hvr/cryptohash-sha1: 8
- simonmar/async: 8
- jaspervdj/blaze-markup: 7
- haskellari/cabal-doctest: 7
- Lysxia/generic-data: 7
- haskell-CI/haskell-ci: 7
- hspec/silently: 7
- haskell-hvr/deepseq-generics: 7
- hasktorch/hasktorch: 7
- haskell-hvr/cryptohash-sha512: 7
- andreasabel/agda-for-bisecting: 6
- HaXml/HaXml: 6
- haskell-hvr/regex-pcre: 6
- haskell-hvr/cryptohash-sha256: 6
- well-typed/visualize-cbn: 6
- snoyberg/yaml: 6
- haskell-opengl/StateVar: 6
- fpco/haskell-filesystem: 6
- haskell/primitive: 6
- wenkokke/setup-agda: 5
- haskell/attoparsec: 5
- haskell-hvr/newtype: 5
- corsis/clock: 5
- haskell/containers: 5
- lspitzner/pqueue: 5
- sol/doctest: 5
- byorgey/split: 5
- skogsbaer/HTF: 5
- simonmar/ghc-paths: 5
- thoughtpolice/hs-ed25519: 5
- haskell-hvr/regex-posix: 5
- teach-afp/afp-code: 5
- BNFC/bnfc: 5
- haskell/vector: 5
- audreyt/regex-pcre-builtin: 4
- gregorycollins/hashtables: 4
- andreasabel/helf: 4
- andreasabel/Sit: 4
- erikd/th-extras: 4
- haskell/network: 4
- andreasabel/risc386: 4
- kcsongor/generic-lens: 4
- snoyberg/file-embed: 4
- nominolo/murmur-hash: 4
- dreixel/generic-deriving: 4
- andreasabel/java-adt: 4
- ekmett/tagged: 4
- haskell-infra/hackage-doc-builder-config: 3
- sol/hpack: 3
- audreyt/string-qq: 3
- bjpop/language-python: 3
- judah/haskeline: 3
- yav/haskell-lexer: 3
- Twinside/Juicy.Pixels: 3
- chessai/semirings: 3
- haskell/tokenize: 3
- sjoerdvisscher/fmlist: 3
- ndmitchell/filepattern: 3
- snoyberg/conduit: 3
- haskell-hvr/text-short: 3
- haskell/c2hs: 3
- jaspervdj/blaze-html: 3
- martijnbastiaan/doctest-parallel: 3
- jgm/skylighting: 3
- hackage-trustees/text-format: 3
- haskell-pkg-janitors/haskell-src: 3
- debug-ito/staversion: 3
- agda/cubical: 3
- snapframework/snap: 3
- haskell-hvr/HsYAML-aeson: 3
- facebook/Haxl: 3
- haskell-hvr/hgettext: 3
- haskell/haskeline: 3
- tsurucapital/vector-th-unbox: 3
- snapframework/heist: 3
- haskell-hvr/regex-compat: 3
- well-typed/cborg: 2
- teach-plt/lab1-testsuite: 2
- UnkindPartition/tasty-golden: 2
- ghcjs/jsaddle: 2
- haskell/haskell-mode: 2
- ocharles/weeder: 2
- spl/dlist: 2
- andreasabel/miniagda: 2
- typeclasses/monads-tf: 2
- danr/geniplate: 2
- haskell/tar: 2
- Gabriella439/turtle: 2
- jgm/commonmark-hs: 2
- haskell/ghcup-hs: 2
- HeinrichApfelmus/vault: 2
- mr-ohman/logrel-mltt: 2
- andreasabel/heist: 2
- haskell/parallel: 2
- haskell-foundation/foundation: 2
- andreasabel/red-black-tree-left-leaning: 2
- haskell/lsp: 2
- sdiehl/repline: 2
- serokell/xrefcheck: 2
- typeclasses/options: 2
- andreasabel/peano.hs: 2
- takano-akio/filelock: 2
- haskell/pretty: 2
- haskell-hvr/windns: 2
- UnkindPartition/ansi-terminal: 2
- basvandijk/scientific: 2
- Happstack/happstack-server: 2
- typeclasses/chell: 2
- haskell-unordered-containers/unordered-containers: 2
- seereason/atp-haskell: 2
- valderman/data-embed: 2
- mstksg/incode: 2
- knisht/agda: 2
- haskell/stylish-haskell: 2
- ekmett/constraints: 2
- haskell-opengl/GLUT: 2
- tweag/HaskellR: 2
- haskell/stm: 2
- haskell/entropy: 2
- Hexirp/doctest-driver-gen: 2
- nick8325/twee: 2
- snapframework/xmlhtml: 2
- haskell-opengl/OpenGL: 2
- andreasabel/foetus: 2
- yesodweb/haskell-xss-sanitize: 2
- mokus0/th-extras: 2
- haskell/haddock: 2
- andreasabel/tutch: 2
- conal/boolean: 2
- axelf4/pfm-lambda: 2
- Bodigrim/tasty-bench: 2
- purcell/darcs-to-git: 2
- ivan-m/wl-pprint-text: 2
- haskell/process: 2
- tweag/linear-base: 2
- nick8325/quickcheck: 2
- snoyberg/mono-traversable: 2
- jbransen/minisat-bundle: 2
- hspec/HUnit: 2
- agda/agda-categories: 2
- nedervold/context-free-grammar: 2
- ocharles/monadplus: 2
- chessai/patience: 2
- haskell-opengl/OpenGLRaw: 2
- mightybyte/readable: 2
- seereason/process-extras: 2
- commercialhaskell/pantry: 2
- ekmett/exceptions: 2
- nikita-volkov/acc: 2
- ulidtko/cabal-doctest: 2
- kallisti-dev/cond: 2
- snoyberg/packdeps: 2
- haskellari/time-compat: 2
- andreasabel/OpenGL: 2
- mainland/symbol: 2
- pcapriotti/optparse-applicative: 2
- trskop/lock-file: 2
- isovector/type-errors: 2
- haskellari/splitmix: 1
- puffnfresh/wat-collection: 1
- haskell-rewriting/term-rewriting: 1
- ulysses4ever/rere: 1
- andreasabel/map-syntax: 1
- commercialhaskell/stackage-snapshots: 1
- snapframework/snap-core: 1
- linear-generics/linear-generics: 1
- andreasabel/cborg: 1
- haskell/base16-bytestring: 1
- andreasabel/vault: 1
- andreasabel/repline: 1
- lambdageek/unbound-generics: 1
- andreasabel/generic-lens: 1
- teach-plt/www: 1
- ekmett/semigroups: 1
- kazu-yamamoto/easy-file: 1
- JonasHoefer/poset-type-theory: 1
- pulp/pulpcore: 1
- ualib/agda-algebras: 1
- andreasabel/chell: 1
- andreasabel/hakyll: 1
- jaspervdj/hakyll: 1
- andreasabel/dlist: 1
- andreasabel/quickcheck: 1
- andreasabel/file-embed: 1
- peterlefanulumsdaine/palmgren-archive: 1
- vxern/logos: 1
- andreasabel/granule: 1
- graded-type-theory/graded-type-theory: 1
- teach-afp/binary-search-trees: 1
- granule-project/gerty: 1
- strake/peano.hs: 1
- andreasabel/twee: 1
- nomeata/cabal-plan-bounds: 1
- aesiniath/http-streams: 1
- haskell-rewriting/union-find-array: 1
- actions/cache: 1
- UnkindPartition/data-lens-light: 1
- hspec/hspec-expectations: 1
- andreasabel/jsaddle: 1
- Mikolaj/enummapset: 1
- jacobstanley/unix-compat: 1
- andreasabel/logrel-mltt: 1
- gallais/miniagda-mode: 1
- IreneKnapp/hs-captcha: 1
- dannypsnl/agda-tree-example: 1
- granule-project/granule: 1
- HeinrichApfelmus/operational: 1
- haskell-hvr/token-bucket: 1
- coot/ghc-tags-plugin: 1
- composewell/unicode-transforms: 1
- agda/hs-tags: 1
- jaspervdj/patat: 1
- benl23x5/gloss: 1
- andreasabel/lock-file: 1
- haskell/base64-bytestring: 1
- andreasabel/patience: 1
- KDE/syntax-highlighting: 1
- andreasabel/gloss: 1
- ulfnorell/agda-bench: 1
- andreasabel/hopenssl: 1
- gabriella439/haskell-pipes-bytestring-library: 1
- andreasabel/exceptions: 1
- andreasabel/options: 1
- andreasabel/OpenGLRaw: 1
- erikd/vector-algorithms: 1
- haskell/text: 1
- juhp/stack-clean-old: 1
- andreasabel/entropy: 1
- liesnikov/extensible-elaborator: 1
- andreasabel/fix-whitespace-action: 1
- haskell/fgl: 1
- andreasabel/packdeps: 1
- snoyberg/http-client: 1
- ncrashed/grow-vector: 1
- snapframework/io-streams-haproxy: 1
- haskell/ghcup-metadata: 1
- Happstack/sendfile: 1
- andreasabel/haskell-ci: 1
- andreasabel/monads-tf: 1
- pa-ba/compdata: 1
- andreasabel/snap: 1
- bos/vector-binary-instances: 1
- andreasabel/HUnit: 1
- phadej/zinza: 1
- agda/tasty-silver: 1
- andreasabel/blaze-html: 1
- koalaman/shellcheck: 1
- andreasabel/tagged: 1
- hslua/hslua: 1
- haskell/haskell-language-server: 1
- quchen/prettyprinter: 1
- snapframework/openssl-streams: 1
- andreasabel/time: 1
- andreasabel/pantry: 1
- haskell/network-bsd: 1
- andreasabel/haskell-filesystem: 1
- andreasabel/ipl: 1
- bitonic/tog: 1
- nick8325/equinox: 1
- haskell/pvp: 1
- andreasabel/readable: 1
- andreasabel/tasty-golden: 1
- peti/hopenssl: 1
- andreasabel/acc: 1
- philopon/barrier: 1
- visq/language-c: 1
- ptarau/natlog: 1
- agda/ooagda: 1
- prikhi/ca-province-codes: 1
- andreasabel/generic-deriving: 1
- yesodweb/clientsession: 1
- andreasabel/tpil25: 1
- andreasabel/unordered-containers: 1
- andreasabel/ghc-paths: 1
- mightybyte/map-syntax: 1
- andreasabel/GLUT: 1
- haskell/bytestring: 1
- gabriella439/haskell-mvc-updates-library: 1
- mietek/research: 1
- seereason/Diff: 1
- andreasabel/process-extras: 1
- simonmar/monad-par: 1
- andreasabel/sendfile: 1
- commercialhaskell/curator: 1
Maintainer
- agda/agda: 632
- haskell/cabal: 218
- haskell/actions: 60
- haskell/alex: 54
- hackage-trustees/hackage-cli: 54
- agda/fix-whitespace: 44
- haskell-hvr/regex-tdfa: 42
- haskell/text-icu: 41
- haskell-github/github: 41
- haskell/hackage-security: 37
- haskell/happy: 36
- haskell/hackage-server: 36
- gregwebs/Shelly.hs: 33
- acid-state/acid-state: 29
- fugue/goldplate: 26
Active Maintainer
- agda/agda: 364
- haskell/cabal: 18
- haskell-github/github: 13
- haskell-hvr/regex-tdfa: 12
- agda/fix-whitespace: 10
- haskell/test-framework: 9
- haskell/alex: 9
- haskell/hackage-security: 8
- haskell-actions/setup: 7
- andreasabel/agda-for-bisecting: 7
- agda/agda-stdlib: 7
- acid-state/acid-state: 7
- haskell/hackage-server: 7
- ddssff/listlike: 6
- andreasabel/agda2lagda: 6
Issue Author Associations
- Member (650, 49.47%)
- None (371, 28.23%)
- Contributor (198, 15.07%)
- Collaborator (86, 6.54%)
- Owner (9, 0.68%)
Pull Request Author Associations
- Member (1,294, 64.12%)
- Contributor (323, 16.01%)
- Collaborator (177, 8.77%)
- Owner (113, 5.60%)
- None (111, 5.50%)
Top Issue Labels
- type: bug (60)
- documentation (35)
- bug (28)
- type: enhancement (28)
- type: discussion (22)
- enhancement (22)
- ux: error reporting (19)
- attention: pr-welcome (19)
- cabal-install: cmd/install (16)
- ux: warnings (14)
- good first issue (11)
- cabal-install: cmd/check (11)
- type-based-termination (9)
- re: error-message (9)
- performance (9)
Top Pull Request Labels
- refactor (58)
- pr: preserve commits (54)
- ux: error reporting (50)
- ux: warnings (45)
- merge me (43)
- GenericError (31)
- documentation (29)
- merge delay passed (28)
- infra: github workflows (26)
- release (22)
- ux: installation (22)
- range (18)
- CI (17)
- continuous integration (15)
- squash+merge me (15)