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