Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ice1000 issue stats
Total issues: 680
Total pull requests: 242
Merged pull request: 196
Average time to close issues: about 1 month
Average time to close pull requests: 14 days
Average comments per issue: 2.38
Average comments per pull request: 2.29
Issues created
- Glavo/kala-common: 152
- JuliaEditorSupport/julia-intellij: 82
- owo-lang/voile-rs: 74
- icela/FriceEngine: 70
- ice1000/jimgui: 70
- aya-prover/aya-dev: 40
- owo-lang/narc-rs: 34
- ice1000/intellij-zig: 26
- owo-lang/minitt-rs: 19
- JetBrains/Arend: 10
- JetBrains/intellij-arend: 10
- JetBrains/arend-lib: 7
- JetBrains/gradle-grammar-kit-plugin: 6
- graalvm/native-build-tools: 5
- banana-space/banana-space: 4
- tikv/protobuf-build: 4
- Heapy/awesome-kotlin: 4
- JetBrains/intellij-platform-gradle-plugin: 3
- ice1000/agda-mode: 3
- rowscript/rowscript: 3
- thautwarm/EBNFParser: 2
- aya-prover/aya-prover-docs: 2
- typst/typst: 2
- jacoco/jacoco: 2
- JetBrains/JetBrainsMono: 2
- xtlsoft/XPHP: 2
- matchy233/chi-cv-template: 2
- dimensionhq/fleet: 2
- grin-compiler/grin: 2
- nvarner/typst-lsp: 2
- haskell/happy: 1
- manifold-systems/manifold: 1
- gradle/kotlin-dsl-samples: 1
- codewars/codemirror-agda: 1
- mastodon/mastodon-android: 1
- vuepress/vuepress-next: 1
- aiekick/SdfFontDesigner: 1
- rikvdkleij/intellij-haskell: 1
- VictorTaelin/Interaction-Calculus: 1
- mathiasfrohlich/vscode-kotlin: 1
- oceanbase/oceanbase: 1
- julia-vscode/DocumentFormat.jl: 1
- github/semantic: 1
- mingyli/assoc: 1
- thekashifmalik/assoc-list: 1
- typst/biblatex: 1
- jbaublitz/getset: 1
- JesperAxelsson/rust-intmap: 1
- ksqsf/pest-mode: 1
- VictorTaelin/Symmetric-Interaction-Calculus: 1
- jline/jline3: 1
- tree-sitter/ruby-tree-sitter.old: 1
- thautwarm/flowpython: 1
- thautwarm/Rem: 1
- cqjjjzr/BiliLiveLib: 1
- lefou/mill-jacoco: 1
- Cm-lang/Cmc: 1
- dahlbyk/posh-git: 1
- thautwarm/Ruiko.fs: 1
- haskell/haddock: 1
- Glavo/kala-platform: 1
- rust-lang/rust-bindgen: 1
- JetBrains/java-annotations: 1
- browserslist/browserslist: 1
Pull requests created
- aya-prover/aya-dev: 111
- JetBrains/arend-lib: 33
- ice1000/jimgui: 21
- JetBrains/intellij-arend: 14
- tikv/protobuf-build: 10
- Cm-lang/Cmc: 7
- JetBrains/Arend: 6
- libgdx/libgdx: 6
- risinglightdb/risinglight: 3
- ice1000/guest0x0: 2
- JetBrains/intellij-sdk-docs: 2
- JuliaEditorSupport/julia-intellij: 2
- VictorTaelin/Symmetric-Interaction-Calculus: 2
- VictorTaelin/Interaction-Calculus: 2
- jacoco/jacoco: 2
- icela/FriceEngine: 2
- cretz/asmble: 2
- JetBrains/gradle-grammar-kit-plugin: 1
- github-linguist/linguist: 1
- ice1000/agda-mode: 1
- intellij-solidity/intellij-solidity: 1
- SchrodingerZhu/tabbycat: 1
- danburkert/procinfo-rs: 1
- ice1000/intellij-zig: 1
- ocornut/imgui_club: 1
- cbeust/jcommander: 1
- dramforever/each: 1
- risingwavelabs/risingwave: 1
- makenowjust/AnalF_ck: 1
- aya-prover/aya-prover-docs: 1
- ruby/tk: 1
- microsoft/vscode-markdown-it-katex: 1
Maintainer
- aya-prover/aya-dev: 151
- ice1000/jimgui: 91
- JuliaEditorSupport/julia-intellij: 84
- owo-lang/voile-rs: 74
- icela/FriceEngine: 72
- JetBrains/arend-lib: 40
- owo-lang/narc-rs: 34
- ice1000/intellij-zig: 27
- JetBrains/intellij-arend: 24
- owo-lang/minitt-rs: 19
- Cm-lang/Cmc: 8
- ice1000/agda-mode: 4
- aya-prover/aya-prover-docs: 3
- ice1000/guest0x0: 2
- thautwarm/Ruiko.fs: 1
Active Maintainer
Issue Author Associations
- Member (251, 36.91%)
- None (224, 32.94%)
- Owner (99, 14.56%)
- Collaborator (89, 13.09%)
- Contributor (17, 2.50%)
Pull Request Author Associations
- Member (115, 47.52%)
- Collaborator (58, 23.97%)
- Owner (25, 10.33%)
- Contributor (25, 10.33%)
- None (19, 7.85%)
Top Issue Labels
- enhancement (73)
- bug (57)
- parser (48)
- new feature (46)
- help wanted (22)
- breaking (17)
- wontfix (17)
- row-polymorphism (16)
- feature (16)
- meta (14)
- cleanup (11)
- invalid (10)
- universe (9)
- annotator (9)
- resolving (8)
Top Pull Request Labels
- build (33)
- enhancement (28)
- refactoring (21)
- bug (12)
- library (12)
- literate (10)
- cherry-pick (8)
- highlighter (7)
- building (6)
- coverage (6)
- test fixtures (6)
- feature (6)
- deps: upstream (5)
- cleanup (5)
- subexpr (4)