GitHub / ice1000 issue stats
Total issues: 574
Total pull requests: 175
Merged pull request: 140
Average time to close issues: about 2 months
Average time to close pull requests: 14 days
Average comments per issue: 2.11
Average comments per pull request: 1.91
Issues created
- JuliaEditorSupport/julia-intellij: 82
- icela/FriceEngine: 70
- Glavo/kala-common: 63
- owo-lang/voile-rs: 45
- owo-lang/narc-rs: 34
- ice1000/intellij-zig: 26
- owo-lang/minitt-rs: 19
- ice1000/jimgui: 16
- ice1000/algo4j: 13
- aya-prover/aya-dev: 12
- JetBrains/Arend: 10
- JetBrains/intellij-arend: 7
- myriad-dreamin/shiroa: 6
- manifold-systems/manifold-ij: 6
- JetBrains/gradle-grammar-kit-plugin: 6
- banacorn/agda-mode-vscode: 5
- banana-space/banana-space: 4
- risinglightdb/pretty-xmlish: 4
- JetBrains/arend-lib: 4
- tikv/protobuf-build: 4
- ice1000/dev-kt: 4
- rowscript/rowscript: 3
- bollu/bollu.github.io: 3
- JetBrains/intellij-platform-gradle-plugin: 3
- agda/agda: 3
- hott/hott-agda: 2
- harrisongrodin/atpl24: 2
- Heapy/awesome-kotlin: 2
- himself65/lianxue: 2
- chuigda/xjbutil4j: 2
- aya-prover/aya-prover-docs: 2
- typst/typst: 2
- agda-attic/agda-web-semantic: 2
- ice1000/agda-mode: 2
- codewars/runner: 2
- nvarner/typst-lsp: 2
- xtlsoft/XPHP: 2
- thautwarm/EBNFParser: 2
- grin-compiler/grin: 2
- lfkdsk/justweengine: 2
- matchy233/chi-cv-template: 2
- gallais/thesis: 2
- dimensionhq/fleet: 2
- huanglizhuo/kotlin-in-chinese: 1
- jline/jline3: 1
- JetBrains/JetBrainsMono: 1
- emmylua/emmylua-languageserver: 1
- mastodon/mastodon-android: 1
- risingwavelabs/rfcs: 1
- ulfnorell/insane: 1
- rikvdkleij/intellij-haskell: 1
- andreasabel/agda-issues: 1
- browserslist/browserslist: 1
- Glavo/kala-platform: 1
- losfair/x-lang: 1
- limemloh/cubical-congruence: 1
- ice1000/a8translate: 1
- daskol/typst-telegram-bot: 1
- saigut/intellij-scheme: 1
- cqjjjzr/laplacian: 1
- abccsss/letesansmath: 1
- beryx/badass-jlink-plugin: 1
- thautwarm/Ruiko.fs: 1
- mingyli/assoc: 1
- icela/friceengine-dsl: 1
- orangex4/typst-cheq: 1
- agda-attic/agda-github-syntax-highlighting: 1
- codgician/uspider: 1
- thautwarm/flowpython: 1
- glavo/jnode-docs: 1
- thautwarm/Rem: 1
- ice1000/arend-io: 1
- dramforever/vscode-ghc-simple: 1
- github/semantic: 1
- deducteam/dedukti: 1
- thautwarm/restrain-jit: 1
- VictorTaelin/Symmetric-Interaction-Calculus: 1
- zxj5470/personal-bashrc: 1
- vuejs/vitepress: 1
- cqjjjzr/BiliLiveLib: 1
- ice1000/oi-codes: 1
- hlb/sass-doc-zh: 1
- h0tk3y/kotlin-monads: 1
- manifold-systems/manifold: 1
- JesperAxelsson/rust-intmap: 1
- raymondmars/tech-forum-on-android: 1
- lefou/mill-jacoco: 1
- mortberg/yacctt: 1
- rust-lang/rust-bindgen: 1
- Cm-lang/Cmc: 1
- jacoco/jacoco: 1
- haskell/happy: 1
- thautwarm/languagecollections: 1
- codewars/codemirror-agda: 1
- yangyangwithgnu/the_new_world_linux: 1
- ice1000/castle-game: 1
- haskell/haddock: 1
- mathiasfrohlich/vscode-kotlin: 1
- icela/touhoudemo: 1
- MarioAriasC/zig-support: 1
- JetBrains/java-annotations: 1
- julia-vscode/DocumentFormat.jl: 1
- graalvm/native-build-tools: 1
- chuigda/vulkan4j: 1
- gradle/kotlin-dsl-samples: 1
- thautwarm/typed-bnf: 1
- ice1000/plasticapp: 1
- gregsh/clojure-kit: 1
- gradle/gradle: 1
- thekashifmalik/assoc-list: 1
- bulenkov/darcula: 1
- dahlbyk/posh-git: 1
- xampprocky/tokei_rs: 1
- icela/friceengine-json: 1
- glavo/gchecksum: 1
- yuleisui/svf-eclipseplugin: 1
- tree-sitter/ruby-tree-sitter.old: 1
- JetBrains/markdown: 1
- trebor-huang/history: 1
- tyrchen/racket-book: 1
- oceanbase/oceanbase: 1
- jbaublitz/getset: 1
- aiekick/SdfFontDesigner: 1
- trebor-huang/ice1000: 1
- kdl-org/intellij-kdl: 1
- typst/biblatex: 1
- vuepress/vuepress-next: 1
- leanprover/lean4: 1
- ksqsf/pest-mode: 1
Pull requests created
- aya-prover/aya-dev: 37
- JetBrains/arend-lib: 18
- tikv/protobuf-build: 10
- ice1000/castle-game: 8
- Cm-lang/Cmc: 7
- JetBrains/intellij-arend: 7
- JetBrains/Arend: 6
- xieyuheng/cat: 5
- ice1000/jimgui: 5
- libgdx/libgdx: 4
- myriad-dreamin/shiroa: 3
- risinglightdb/risinglight: 3
- harrisongrodin/atpl24: 3
- lfkdsk/justweengine: 3
- ice1000/algo4j: 3
- risingwavelabs/rfcs: 2
- JetBrains/intellij-sdk-docs: 2
- JuliaEditorSupport/julia-intellij: 2
- icela/FriceEngine: 2
- jacoco/jacoco: 2
- ice1000/guest0x0: 2
- VictorTaelin/Symmetric-Interaction-Calculus: 2
- cs-baoyan/csbasicknowledge: 1
- ice1000/kt2dart: 1
- ruby/tk: 1
- juliacn/meetupmaterials: 1
- makenowjust/AnalF_ck: 1
- tikv/titan: 1
- saigut/intellij-scheme: 1
- lazyparser/survival-manual-for-interns: 1
- cansik/kotlin-latex-listing: 1
- intellij-solidity/intellij-solidity: 1
- icela/friceengine-json: 1
- himself65/lianxue: 1
- openjdk/amber-docs: 1
- andreasabel/miniagda: 1
- cqjjjzr/gensokyo: 1
- ocornut/imgui_club: 1
- risingwavelabs/risingwave: 1
- microsoft/vscode-markdown-it-katex: 1
- zxj5470/javax-var-hint: 1
- aya-prover/aya-prover-docs: 1
- peng1999/blog: 1
- zxj5470/opencv-kotlinnative: 1
- dramforever/each: 1
- cbeust/jcommander: 1
- hellogcc/osdt2020: 1
- ice1000/intellij-zig: 1
- codewars/agda: 1
- trebor-huang/history: 1
- cretz/asmble: 1
- danburkert/procinfo-rs: 1
- ice1000/aiandroid: 1
- SchrodingerZhu/tabbycat: 1
- ice1000/agda-mode: 1
- github-linguist/linguist: 1
- JetBrains/gradle-grammar-kit-plugin: 1
- manifold-systems/manifold-ij: 1
- tikv/rfcs: 1
- libgdx/gdx-box2d-v2: 1
- tuna/blogroll: 1
Maintainer
- JuliaEditorSupport/julia-intellij: 84
- icela/FriceEngine: 72
- aya-prover/aya-dev: 49
- owo-lang/voile-rs: 45
- owo-lang/narc-rs: 34
- ice1000/intellij-zig: 27
- JetBrains/arend-lib: 22
- ice1000/jimgui: 21
- owo-lang/minitt-rs: 19
- ice1000/algo4j: 16
- JetBrains/intellij-arend: 14
- ice1000/castle-game: 9
- Cm-lang/Cmc: 8
- harrisongrodin/atpl24: 5
- ice1000/dev-kt: 4
Active Maintainer
Issue Author Associations
- Member (198, 34.49%)
- None (182, 31.71%)
- Collaborator (93, 16.20%)
- Owner (66, 11.50%)
- Contributor (35, 6.10%)
Pull Request Author Associations
- Contributor (52, 29.71%)
- Member (41, 23.43%)
- Collaborator (41, 23.43%)
- Owner (22, 12.57%)
- None (19, 10.86%)
Top Issue Labels
- enhancement (76)
- bug (50)
- new feature (46)
- parser (43)
- breaking (17)
- cleanup (11)
- meta (10)
- annotator (9)
- help wanted (9)
- wontfix (9)
- row-polymorphism (8)
- execution (8)
- user interface (8)
- resolving (8)
- feature (6)
Top Pull Request Labels
- enhancement (22)
- build (9)
- refactoring (6)
- library (5)
- building (3)
- coverage (3)
- literate (3)
- bug (3)
- subexpr (2)
- new (2)
- parser (2)
- cherry-pick (2)
- highlighter (2)
- deps: upstream (2)
- release (2)