GitHub / Lysxia issue stats
Total issues: 270
Total pull requests: 498
Merged pull request: 447
Average time to close issues: 4 months
Average time to close pull requests: 16 days
Average comments per issue: 2.27
Average comments per pull request: 1.64
Issues created
- creusot-rs/creusot: 39
- Lysxia/generic-data: 20
- Lysxia/generic-random: 15
- QuickChick/QuickChick: 15
- haskell/haddock: 11
- Lysxia/first-class-families: 11
- lysxia/coq-simple-io: 10
- Lysxia/test-monad-laws: 7
- Lysxia/generic-data-surgery: 6
- haskell/aeson: 6
- creusot-rs/creusot-ide: 5
- sjoerdvisscher/one-liner: 5
- lysxia/coq-ceres: 5
- nomeata/gipeda: 4
- agda/cornelis: 4
- rocq-community/coq-ext-lib: 4
- RefactoringTools/HaRe: 3
- haskell/text: 3
- chpatrick/codec: 3
- haskell/bytestring: 3
- Lysxia/type-map: 3
- rocq-prover/stdlib: 3
- haskell/cabal: 3
- liyishuai/coq-http2: 2
- tomjaguarpaw/product-profunctors: 2
- Lysxia/show-combinators: 2
- jfischoff/reflection-extras: 2
- haskell/hackage-server: 2
- whonore/Coqtail: 2
- matt-noonan/gdp: 2
- liyishuai/coq-http: 2
- nomeata/inspection-testing: 2
- plclub/hs-to-coq: 2
- Lysxia/scanf: 2
- cpitclaudel/company-coq: 1
- simonmar/async: 1
- lambdageek/unbound-generics: 1
- Lysxia/boltzmann-samplers: 1
- obsidiansystems/aeson-gadt-th: 1
- xldenis/whycode: 1
- ndmitchell/tagsoup: 1
- rust-lang/rust-analyzer: 1
- Lysxia/quickcheck-higherorder: 1
- gmalecha/coq-printf: 1
- Marwes/pretty.rs: 1
- tonyday567/hcount: 1
- lysxia/advent-of-coq-2018: 1
- lysxia/coq-mtl: 1
- dreixel/generic-deriving: 1
- neovimhaskell/nvim-hs: 1
- srid/neuron: 1
- commercialhaskell/stack: 1
- recursion-schemes/recursion-schemes: 1
- haskell/containers: 1
- nomeata/ghc-proofs: 1
- enjeck/libre-logos: 1
- crate-ci/escargot: 1
- glguy/th-abstraction: 1
- chadaustin/buffer-builder: 1
- janestreet/splittable_random: 1
- rrnewton/haskell-lockfree: 1
- bolt12/f-algebra-gen: 1
- ocaml-community/cppo: 1
- andrenth/ocaml-stdint: 1
- haskell/vector: 1
- gabriella439/haskell-lens-tutorial-library: 1
- rocq-prover/coq.github.io: 1
- byorgey/boltzmann: 1
- crate-ci/cargo-release: 1
- lysxia/aeson-benchmarks: 1
- kosmikus/lhs2tex: 1
- parsonsmatt/parsonsmatt.github.io: 1
- kcsongor/generic-lens: 1
- plaidfinch/StrictCheck: 1
- emc2/HUnit-Plus: 1
- kach/nearley: 1
- kowainik/stan: 1
- haskell/actions: 1
- phadej/cabal-extras: 1
- cartazio/old-random: 1
- tweag/linear-base: 1
- haskell/core-libraries-committee: 1
- tategakibunko/jingoo: 1
- wenkokke/schmitty: 1
- basvandijk/monad-control: 1
- plclub/plclub-web: 1
- ocaml/opam-repository: 1
- ekmett/lens: 1
- haskell/attoparsec: 1
- UnkindPartition/tasty-golden: 1
- haskell/filepath: 1
- nomeata/ghc-heap-view: 1
- rust-lang/rust: 1
- madgen/pretty-print-precedence: 1
Pull requests created
- creusot-rs/creusot: 152
- QuickChick/QuickChick: 32
- haskell/text: 32
- haskell/aeson: 31
- creusot-rs/creusot-ide: 25
- Lysxia/generic-data: 24
- lysxia/coq-simple-io: 19
- Lysxia/first-class-families: 14
- Lysxia/generic-random: 13
- haskell/haddock: 10
- gmalecha/coq-printf: 8
- sjoerdvisscher/one-liner: 8
- lysxia/coq-ceres: 8
- rocq-community/coq-ext-lib: 7
- Lysxia/twentyseven: 6
- tomjaguarpaw/product-profunctors: 6
- agda/cornelis: 6
- plclub/plclub-web: 6
- tomjaguarpaw/bluefin: 5
- coq/opam: 4
- Lysxia/generic-data-surgery: 3
- plclub/hs-to-coq: 3
- chpatrick/codec: 3
- isovector/cornelis: 3
- nomeata/gipeda: 2
- wenkokke/schmitty: 2
- basvandijk/monad-control: 2
- haskell/mtl: 2
- haskell/bytestring: 2
- highlightjs/highlight.js: 2
- haskell/containers: 2
- liyishuai/coq-http: 2
- robdockins/edison: 2
- xldenis/whycode: 2
- haskell/attoparsec: 2
- coq/vscoq: 2
- gabriella439/optparse-generic: 2
- byorgey/series-formelles: 1
- rocq-prover/coq.github.io: 1
- nomeata/inspection-testing: 1
- plaidfinch/StrictCheck: 1
- kowainik/.github: 1
- Lysxia/type-map: 1
- ekmett/constraints: 1
- srid/reflex-dom-pandoc: 1
- gallais/agdarsec: 1
- rust-lang/rustc-dev-guide: 1
- rgrinberg/ocaml-mustache: 1
- pygments/pygments: 1
- coq-community/notation-gallery: 1
- reflex-frp/reflex-dom: 1
- Lysxia/quickcheck-higherorder: 1
- kcsongor/generic-lens: 1
- obsidiansystems/which: 1
- sdiehl/wiwinwlh: 1
- obsidiansystems/commutative-semigroups: 1
- dorchard/lambda-club: 1
- oisdk/arity-generic-liftA: 1
- treeowl/compact-sequences: 1
- CertiCoq/certicoq: 1
- tomjaguarpaw/ad: 1
- obsidiansystems/aeson-gadt-th: 1
- lysxia/creusot-rust-std: 1
- tlringer/plugin-tutorial: 1
- Lysxia/test-monad-laws: 1
- Bodigrim/tasty-bench: 1
- whonore/Coqtail: 1
- RefactoringTools/HaRe: 1
- chadaustin/buffer-builder: 1
- Lysxia/show-combinators: 1
- coq-community/coqdocjs: 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
- coq/coq.github.io: 1
Maintainer
- creusot-rs/creusot: 191
- Lysxia/generic-data: 44
- haskell/aeson: 37
- creusot-rs/creusot-ide: 30
- lysxia/coq-simple-io: 29
- Lysxia/generic-random: 28
- Lysxia/first-class-families: 25
- lysxia/coq-ceres: 13
- Lysxia/generic-data-surgery: 9
- gmalecha/coq-printf: 9
- Lysxia/test-monad-laws: 8
- plclub/plclub-web: 7
- Lysxia/twentyseven: 6
- plclub/hs-to-coq: 5
- Lysxia/type-map: 4
Active Maintainer
Issue Author Associations
- Owner (86, 31.85%)
- Contributor (80, 29.63%)
- Collaborator (60, 22.22%)
- None (44, 16.30%)
Pull Request Author Associations
- Collaborator (233, 46.79%)
- Contributor (162, 32.53%)
- Owner (93, 18.67%)
- None (10, 2.01%)
Top Issue Labels
- enhancement (62)
- bug (21)
- help wanted (17)
- question (13)
- internal (5)
- cargo-creusot (4)
- good first issue (4)
- error-messages (3)
- infra (3)
- toolchain (3)
- doc (3)
- highlighting (2)
- crash (2)
- ci (2)
- type: enhancement (2)
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)
- S-waiting-on-author (1)
- WG-rustc-dev-guide (1)
- enhancement (1)