GitHub / clayrat issue stats
Total issues: 105
Total pull requests: 175
Merged pull request: 144
Average time to close issues: 4 months
Average time to close pull requests: 15 days
Average comments per issue: 1.9
Average comments per pull request: 1.83
Issues created
- rocq-community/fav-ssr: 12
- gallais/idris-tparsec: 10
- ucsd-progsys/liquidhaskell: 8
- imdea-software/htt: 6
- edwinb/idris2-boot: 5
- clayrat/dwujescica: 4
- elba/elba: 3
- clayrat/fav-ssr: 3
- monix/monix-kafka: 3
- clayrat/sequent-calc: 3
- imdea-software/fcsl-pcm: 2
- purescript-deprecated/purescript-maps: 2
- Risto-Stevcev/idris-heyting-algebra: 2
- jonsterling/coq-domains: 2
- arthuraa/extructures: 2
- coq-community/fav-ssr: 2
- monix/monix: 1
- purescript-deprecated/purescript-base: 1
- math-comp/algebra-tactics: 1
- miniboxing/miniboxing-plugin: 1
- purescript/purescript-transformers: 1
- Risto-Stevcev/idris-functors: 1
- brendanzab/idris-power-of-pi: 1
- rgrempel/purescript-int-53: 1
- DistributedComponents/disel: 1
- silentorbit/protobuf: 1
- smtcoq/smtcoq: 1
- sharkdp/purescript-flare: 1
- paf31/purescript-foreign-lens: 1
- purescript-contrib/purescript-argonaut: 1
- ocaml-multicore/kcas: 1
- cvc5/cvc5: 1
- purescript/purescript-foldable-traversable: 1
- shevek/lzo-java: 1
- edwinb/typedd-samples: 1
- rocq-community/coqeal: 1
- dgelessus/old-lzo-ports: 1
- math-comp/analysis: 1
- zrho/purescript-optic-ui: 1
- math-comp/real-closed: 1
- coq-community/tarjan: 1
- bodil/purescript-smolder: 1
- buggyj/savetiddlers: 1
- garyb/purescript-http-headers: 1
- pelotom/purescript-d3: 1
- clayrat/ipc-ssr: 1
- statebox/idris-ct: 1
- com-lihaoyi/geny: 1
- bamboo/idris-hamt: 1
- math-comp/multinomials: 1
- purescript/purescript-lists: 1
- ilyasergey/pnp: 1
Pull requests created
- ucsd-progsys/liquidhaskell: 32
- ucsd-progsys/liquid-fixpoint: 19
- imdea-software/htt: 13
- gallais/idris-tparsec: 12
- cmcmA20/cubical-mini: 12
- imdea-software/fcsl-pcm: 11
- edwinb/idris2-boot: 6
- redprl/redtt: 6
- jonsterling/coq-domains: 5
- r3nya/madrid101: 4
- monix/monix-kafka: 4
- statebox/idris-ct: 3
- gallais/great-library-of-idris: 3
- zrho/purescript-optic-ui: 3
- edwinb/typedd-samples: 2
- timbod7/haskell-chart: 2
- shevek/lzo-java: 2
- rocq-community/coqeal: 2
- ligurio/practical-fm: 2
- purescript-deprecated/purescript-maps: 1
- purescript/purescript-distributive: 1
- alexandru/scala-best-practices: 1
- purescript/purescript-transformers: 1
- rocq-archive/ipc: 1
- rocq-community/awesome-coq: 1
- SandroGrzicic/ScalaBuff: 1
- thery/flocqlecture: 1
- thery/grobner: 1
- unimath/symmetrybook: 1
- vmchale/comonad: 1
- vmchale/permutations: 1
- xuanruiqi/commalg: 1
- purescript/purescript-foldable-traversable: 1
- anton-trunov/coq-lecture-notes: 1
- bamboo/idris-hamt: 1
- bgavran/lens_resources: 1
- CapillarySoftware/purescript-requestAnimationFrame: 1
- coq-community/reglang: 1
- coq-community/tarjan: 1
- DistributedComponents/disel: 1
- fluffynukeit/purescript-foreign-options: 1
- http4s/blaze: 1
- ilyasergey/pnp: 1
- joaomilho/awesome-idris: 1
- jonsterling/coq-sgdt: 1
- jonsterling/dreamtt: 1
- jutaro/ycombinator: 1
- Kristories/awesome-guidelines: 1
- math-comp/math-comp: 1
- melted/get-idris: 1
- palmskog/coind-sem-while: 1
Maintainer
- gallais/idris-tparsec: 22
- imdea-software/htt: 19
- imdea-software/fcsl-pcm: 13
- rocq-community/fav-ssr: 12
- cmcmA20/cubical-mini: 7
- jonsterling/coq-domains: 7
- clayrat/dwujescica: 4
- statebox/idris-ct: 4
- rocq-community/coqeal: 3
- clayrat/fav-ssr: 3
- clayrat/sequent-calc: 3
- gallais/great-library-of-idris: 3
- coq-community/fav-ssr: 2
- coq-community/tarjan: 2
- jonsterling/coq-sgdt: 1
Active Maintainer
Issue Author Associations
- None (35, 33.33%)
- Member (25, 23.81%)
- Contributor (22, 20.95%)
- Collaborator (12, 11.43%)
- Owner (11, 10.48%)
Pull Request Author Associations
- Contributor (101, 57.71%)
- Member (31, 17.71%)
- Collaborator (28, 16.00%)
- None (15, 8.57%)
Top Issue Labels
- enhancement (9)
- good first issue (3)
- design (3)
- help wanted (3)
- Good first issue (2)
- question (2)
- info (1)
- travis (1)
- Feature request (1)
- documentation (1)
- Confirmed bug (1)
- Bug (1)
- meta (1)
Top Pull Request Labels
- enhancement (7)
- design (2)
- order (2)
- bug (1)