GitHub / clayrat issue stats
Total issues: 97
Total pull requests: 128
Merged pull request: 112
Average time to close issues: 4 months
Average time to close pull requests: 14 days
Average comments per issue: 2.12
Average comments per pull request: 1.83
Issues created
- rocq-community/fav-ssr: 17
- gallais/idris-tparsec: 10
- ucsd-progsys/liquidhaskell: 8
- imdea-software/htt: 6
- edwinb/idris2-boot: 5
- clayrat/dwujescica: 4
- clayrat/sequent-calc: 3
- elba/elba: 3
- jonsterling/coq-domains: 2
- imdea-software/fcsl-pcm: 2
- purescript-deprecated/purescript-maps: 2
- Risto-Stevcev/idris-heyting-algebra: 2
- arthuraa/extructures: 2
- rocq-community/coqeal: 1
- purescript/purescript-transformers: 1
- purescript/purescript-lists: 1
- sharkdp/purescript-flare: 1
- coq-community/tarjan: 1
- cvc5/cvc5: 1
- zrho/purescript-optic-ui: 1
- com-lihaoyi/geny: 1
- garyb/purescript-http-headers: 1
- DistributedComponents/disel: 1
- ucsd-progsys/liquid-fixpoint: 1
- clayrat/ipc-ssr: 1
- edwinb/typedd-samples: 1
- brendanzab/idris-power-of-pi: 1
- math-comp/multinomials: 1
- bodil/purescript-smolder: 1
- purescript-contrib/purescript-argonaut: 1
- bamboo/idris-hamt: 1
- miniboxing/miniboxing-plugin: 1
- purescript/purescript-foldable-traversable: 1
- math-comp/algebra-tactics: 1
- dgelessus/old-lzo-ports: 1
- math-comp/real-closed: 1
- rgrempel/purescript-int-53: 1
- ilyasergey/pnp: 1
- paf31/purescript-foreign-lens: 1
- shevek/lzo-java: 1
- pelotom/purescript-d3: 1
- ocaml-multicore/kcas: 1
- Risto-Stevcev/idris-functors: 1
- purescript-deprecated/purescript-base: 1
Pull requests created
- ucsd-progsys/liquidhaskell: 20
- imdea-software/htt: 13
- gallais/idris-tparsec: 12
- ucsd-progsys/liquid-fixpoint: 10
- imdea-software/fcsl-pcm: 10
- redprl/redtt: 6
- edwinb/idris2-boot: 6
- jonsterling/coq-domains: 5
- gallais/great-library-of-idris: 3
- zrho/purescript-optic-ui: 3
- ligurio/practical-fm: 2
- shevek/lzo-java: 2
- rocq-community/coqeal: 2
- edwinb/typedd-samples: 2
- timbod7/haskell-chart: 2
- coq-community/reglang: 1
- joaomilho/awesome-idris: 1
- coq-community/tarjan: 1
- purescript/purescript-foldable-traversable: 1
- xuanruiqi/commalg: 1
- thery/flocqlecture: 1
- vmchale/comonad: 1
- alexandru/scala-best-practices: 1
- rocq-community/awesome-coq: 1
- jonsterling/dreamtt: 1
- melted/get-idris: 1
- anton-trunov/coq-lecture-notes: 1
- CapillarySoftware/purescript-requestAnimationFrame: 1
- rocq-archive/ipc: 1
- purescript/purescript-distributive: 1
- thery/grobner: 1
- purescript-deprecated/purescript-maps: 1
- math-comp/math-comp: 1
- DistributedComponents/disel: 1
- Kristories/awesome-guidelines: 1
- fluffynukeit/purescript-foreign-options: 1
- jonsterling/coq-sgdt: 1
- bamboo/idris-hamt: 1
- purescript/purescript-transformers: 1
- vmchale/permutations: 1
- jutaro/ycombinator: 1
- ilyasergey/pnp: 1
- SandroGrzicic/ScalaBuff: 1
- palmskog/coind-sem-while: 1
- bgavran/lens_resources: 1
Maintainer
- gallais/idris-tparsec: 22
- imdea-software/htt: 19
- rocq-community/fav-ssr: 17
- imdea-software/fcsl-pcm: 12
- jonsterling/coq-domains: 7
- clayrat/dwujescica: 4
- clayrat/sequent-calc: 3
- gallais/great-library-of-idris: 3
- rocq-community/coqeal: 3
- coq-community/tarjan: 2
- rocq-community/awesome-coq: 1
- jonsterling/coq-sgdt: 1
- clayrat/ipc-ssr: 1
Active Maintainer
Issue Author Associations
- None (30, 30.93%)
- Member (27, 27.84%)
- Contributor (20, 20.62%)
- Collaborator (12, 12.37%)
- Owner (8, 8.25%)
Pull Request Author Associations
- Contributor (67, 52.34%)
- Member (27, 21.09%)
- Collaborator (21, 16.41%)
- None (13, 10.16%)
Top Issue Labels
- enhancement (9)
- help wanted (4)
- design (3)
- good first issue (3)
- info (3)
- question (2)
- Good first issue (2)
- documentation (1)
- travis (1)
- Feature request (1)
- Confirmed bug (1)
- meta (1)
Top Pull Request Labels
- enhancement (6)
- design (2)
- bug (1)