Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / wenkokke issue stats
Total issues: 140
Total pull requests: 92
Merged pull request: 78
Average time to close issues: 4 months
Average time to close pull requests: 4 days
Average comments per issue: 1.74
Average comments per pull request: 0.43
Issues created
- wenkokke/setup-agda: 45
- vehicle-lang/vehicle: 14
- wenkokke/tree-sitter-talon: 13
- wenkokke/talonfmt: 9
- jgm/pandoc: 6
- tree-sitter/tree-sitter: 5
- NeuralNetworkVerification/Marabou: 5
- parcel-bundler/parcel: 5
- haskell/cabal: 4
- cursorless-dev/vscode-parse-tree: 3
- roelvandijk/terminal-progress-bar: 3
- haskell/actions: 3
- tree-sitter/py-tree-sitter: 3
- mbarkhau/bumpver: 2
- jparsec/jparsec: 2
- agda/agda-pkg: 2
- haskell-hvr/cabal-plan: 1
- pypa/manylinux: 1
- Homebrew/homebrew-cask-fonts: 1
- joaotavora/yasnippet: 1
- wenkokke/py-tree-sitter-talon: 1
- sighingnow/parsec.py: 1
- tweag/ormolu: 1
- lclem/agda-kernel: 1
- nyousefi/Fountain: 1
- madmalik/mononoki: 1
- pypa/cibuildwheel: 1
- cda-tum/setup-z3: 1
- well-typed/cborg: 1
- commercialhaskell/stack: 1
- hslua/hslua: 1
- bitonic/hakyll-agda: 1
Pull requests created
- wenkokke/setup-agda: 35
- vehicle-lang/vehicle: 16
- wenkokke/talonfmt: 16
- NeuralNetworkVerification/Marabou: 7
- cursorless-dev/vscode-parse-tree: 5
- wenkokke/py-tree-sitter-talon: 3
- abasko/linkedhashmap: 2
- wenkokke/tree-sitter-talon: 2
- sindresorhus/windows-release: 1
- wenkokke/sesh: 1
- contivero/hasmin: 1
- batterseapower/charsetdetect: 1
- Homebrew/homebrew-cask-fonts: 1
- cda-tum/setup-z3: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (68, 48.57%)
- None (48, 34.29%)
- Collaborator (19, 13.57%)
- Contributor (5, 3.57%)
Pull Request Author Associations
- Owner (57, 61.96%)
- Collaborator (23, 25.00%)
- Contributor (10, 10.87%)
- None (2, 2.17%)
Top Issue Labels
- enhancement (19)
- bug (17)
- agdaup (9)
- documentation (5)
- backend:loss (4)
- github_actions (4)
- help wanted (4)
- simplify (3)
- refactoring (3)
- docs (2)
- question (2)
- good first issue (2)
- re: inputs (2)
- refactor (2)
- feature (2)
Top Pull Request Labels
- CI (3)
- refactoring (2)
- usability (1)
- dependencies (1)
- javascript (1)
- simple (1)
- project (1)
- missing zap (1)
- outdated (1)