Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Lysxia issue stats
Total issues: 250
Total pull requests: 370
Merged pull request: 330
Average time to close issues: 4 months
Average time to close pull requests: 20 days
Average comments per issue: 2.37
Average comments per pull request: 1.94
Issues created
- Lysxia/generic-data: 20
- isovector/cornelis: 17
- Lysxia/generic-random: 15
- QuickChick/QuickChick: 15
- creusot-rs/creusot: 12
- Lysxia/first-class-families: 11
- haskell/haddock: 11
- lysxia/coq-simple-io: 10
- lysxia/coq-ceres: 8
- Lysxia/test-monad-laws: 7
- coq-community/coq-ext-lib: 7
- Lysxia/generic-data-surgery: 6
- haskell/aeson: 6
- sjoerdvisscher/one-liner: 5
- nomeata/gipeda: 4
- whonore/Coqtail: 4
- haskell/cabal: 3
- chpatrick/codec: 3
- Lysxia/type-map: 3
- RefactoringTools/HaRe: 3
- haskell/text: 3
- haskell/bytestring: 3
- nomeata/inspection-testing: 2
- liyishuai/coq-http2: 2
- liyishuai/coq-http: 2
- jfischoff/reflection-extras: 2
- plclub/hs-to-coq: 2
- kcsongor/generic-lens: 2
- Lysxia/scanf: 2
- matt-noonan/gdp: 2
- Lysxia/show-combinators: 2
- tomjaguarpaw/product-profunctors: 2
- obsidiansystems/aeson-gadt-th: 2
- wenkokke/schmitty: 2
- coq/coq.github.io: 1
- enjeck/libre-logos: 1
- cpitclaudel/company-coq: 1
- kach/nearley: 1
- srid/neuron: 1
- tategakibunko/jingoo: 1
- parsonsmatt/parsonsmatt.github.io: 1
- xldenis/whycode: 1
- lysxia/coq-mtl: 1
- lysxia/advent-of-coq-2018: 1
- lysxia/aeson-benchmarks: 1
- nomeata/ghc-heap-view: 1
- phadej/cabal-extras: 1
- cartazio/old-random: 1
- gabriella439/haskell-lens-tutorial-library: 1
- byorgey/boltzmann: 1
- plclub/plclub-web: 1
- creusot-rs/creusot-ide: 1
- janestreet/splittable_random: 1
- haskell/filepath: 1
- haskell/containers: 1
- haskell/vector: 1
- haskell/hackage-server: 1
- haskell/attoparsec: 1
- haskell/actions: 1
- emc2/HUnit-Plus: 1
- rrnewton/haskell-lockfree: 1
- plaidfinch/StrictCheck: 1
- simonmar/async: 1
- Lysxia/boltzmann-samplers: 1
- chadaustin/buffer-builder: 1
- bolt12/f-algebra-gen: 1
- dreixel/generic-deriving: 1
- nomeata/ghc-proofs: 1
- tonyday567/hcount: 1
- ekmett/lens: 1
- kosmikus/lhs2tex: 1
- tweag/linear-base: 1
- basvandijk/monad-control: 1
- neovimhaskell/nvim-hs: 1
- commercialhaskell/stack: 1
- Lysxia/quickcheck-higherorder: 1
- recursion-schemes/recursion-schemes: 1
- kowainik/stan: 1
- ndmitchell/tagsoup: 1
- UnkindPartition/tasty-golden: 1
- glguy/th-abstraction: 1
- lambdageek/unbound-generics: 1
- ocaml-community/cppo: 1
- Marwes/pretty.rs: 1
Pull requests created
- isovector/cornelis: 37
- creusot-rs/creusot: 31
- haskell/aeson: 31
- QuickChick/QuickChick: 30
- haskell/text: 28
- Lysxia/generic-data: 24
- lysxia/coq-simple-io: 19
- lysxia/coq-ceres: 16
- Lysxia/first-class-families: 13
- Lysxia/generic-random: 13
- coq-community/coq-ext-lib: 11
- haskell/haddock: 10
- sjoerdvisscher/one-liner: 8
- tomjaguarpaw/product-profunctors: 6
- plclub/plclub-web: 6
- tomjaguarpaw/bluefin: 5
- wenkokke/schmitty: 4
- creusot-rs/creusot-ide: 4
- haskell/containers: 3
- Lysxia/generic-data-surgery: 3
- plclub/hs-to-coq: 3
- chpatrick/codec: 3
- basvandijk/monad-control: 2
- liyishuai/coq-http: 2
- haskell/bytestring: 2
- robdockins/edison: 2
- nomeata/gipeda: 2
- kcsongor/generic-lens: 2
- haskell/mtl: 2
- obsidiansystems/aeson-gadt-th: 2
- obsidiansystems/which: 2
- gabriella439/optparse-generic: 2
- obsidiansystems/commutative-semigroups: 2
- xldenis/whycode: 2
- coq/opam: 2
- coq/vscoq: 2
- haskell/attoparsec: 2
- Lysxia/quickcheck-higherorder: 1
- byorgey/series-formelles: 1
- nomeata/inspection-testing: 1
- reflex-frp/reflex-dom: 1
- Lysxia/type-map: 1
- ekmett/constraints: 1
- srid/reflex-dom-pandoc: 1
- gallais/agdarsec: 1
- pygments/pygments: 1
- rgrinberg/ocaml-mustache: 1
- plaidfinch/StrictCheck: 1
- sdiehl/wiwinwlh: 1
- dorchard/lambda-club: 1
- oisdk/arity-generic-liftA: 1
- treeowl/compact-sequences: 1
- CertiCoq/certicoq: 1
- tomjaguarpaw/ad: 1
- tlringer/plugin-tutorial: 1
- Lysxia/test-monad-laws: 1
- whonore/Coqtail: 1
- RefactoringTools/HaRe: 1
- chadaustin/buffer-builder: 1
- Lysxia/show-combinators: 1
- lysxia/generic-recursion-schemes: 1
- ocaml/ocaml-lsp: 1
- liyishuai/coq-http2: 1
- phadej/cabal-extras: 1
- lexi-lambda/freer-simple: 1
- haskell-compat/base-orphans: 1
- ekmett/free: 1
- recursion-schemes/recursion-schemes: 1
- conal/unamb: 1
Maintainer
- Lysxia/generic-data: 44
- creusot-rs/creusot: 42
- haskell/aeson: 37
- lysxia/coq-simple-io: 29
- Lysxia/generic-random: 28
- Lysxia/first-class-families: 24
- lysxia/coq-ceres: 24
- Lysxia/generic-data-surgery: 9
- Lysxia/test-monad-laws: 8
- plclub/plclub-web: 7
- creusot-rs/creusot-ide: 5
- plclub/hs-to-coq: 5
- Lysxia/type-map: 4
- liyishuai/coq-http: 4
- kcsongor/generic-lens: 4
Active Maintainer
Issue Author Associations
- Contributor (96, 38.40%)
- Owner (89, 35.60%)
- None (37, 14.80%)
- Collaborator (28, 11.20%)
Pull Request Author Associations
- Contributor (185, 50.00%)
- Owner (93, 25.14%)
- Collaborator (84, 22.70%)
- None (8, 2.16%)
Top Issue Labels
- enhancement (45)
- help wanted (18)
- bug (14)
- question (14)
- highlighting (4)
- good first issue (4)
- infra (3)
- ci (3)
- cargo-creusot (2)
- doc (2)
- internal (2)
- Stale (2)
- type: enhancement (2)
- R: Granted (1)
- logo request (1)
Top Pull Request Labels
- versioning level: patch/api unaffected (8)
- versioning level: minor/non-breaking addition (6)
- API Addition (PVP minor) (2)
- versioning level: major/breaking (2)
- help wanted (2)
- issue: breaking change (2)
- needs: rebase (2)
- documentation (1)
- internal (1)
- fix:bug (1)
- bug (1)
- update (1)