Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / bollu issue stats
Total issues: 105
Total pull requests: 98
Merged pull request: 66
Average time to close issues: 4 months
Average time to close pull requests: 19 days
Average comments per issue: 0.5
Average comments per pull request: 2.92
Issues created
- bollu/lz: 34
- bollu/alok-bollu: 10
- bollu/elide: 8
- bollu/bollu.github.io: 7
- leanprover/lnsym: 6
- leanprover/lean4: 6
- bollu/qoc: 3
- bollu/lean-to: 3
- bollu/simplexhc: 3
- inducer/islpy: 3
- ModelChimp/modelchimp: 2
- bollu/polyscope.lean: 2
- leanprover/lean-action: 2
- snapframework/heist: 2
- polybuildr/petroglyph: 1
- victortaelin/absal-ex: 1
- tomcrypto/plume: 1
- grin-compiler/grin: 1
- facebookresearch/TensorComprehensions: 1
- skyronic/dogears: 1
- munificent/game-programming-patterns: 1
- hargonix/flame: 1
- leanprover/lean-llvm: 1
- cchalmers/plots: 1
- bollu/captainslog: 1
- grin-compiler/ghc-whole-program-compiler-project: 1
- osandov/drgn: 1
- commercialhaskell/stack: 1
Pull requests created
- leanprover/lnsym: 36
- leanprover/lean4: 10
- symengine/symengine.hs: 9
- emilypi/order: 4
- lecopivo/scilean: 3
- leanprover/lean-llvm: 3
- bollu/polly: 2
- hrydgard/native: 2
- digama0/lean-sys: 2
- bollu/mlir-hoopl-rete: 2
- melpa/melpa: 2
- edolstra/flake-compat: 2
- leanprover/lean4-cli: 2
- vispy/test-data: 2
- bollu/alok-bollu: 2
- imbrem/debruijn-ssa: 2
- ekmett/hyperfunctions: 1
- cchalmers/plots: 1
- grin-compiler/grin: 1
- NixOS/nixpkgs: 1
- ekmett/structs: 1
- ekmett/guanxi: 1
- satyarth/pixelsort: 1
- mawww/kakoune: 1
- ekmett/contravariant: 1
- quchen/stgi: 1
- bollu/llvm-multidim-array-indexing-proposal: 1
- servo/rust-opengles: 1
- wolfpld/tracy: 1
Maintainer
- leanprover/lnsym: 42
- bollu/lz: 34
- bollu/alok-bollu: 12
- bollu/elide: 8
- bollu/bollu.github.io: 7
- leanprover/lean-llvm: 4
- bollu/qoc: 3
- bollu/simplexhc: 3
- lecopivo/scilean: 3
- bollu/lean-to: 3
- imbrem/debruijn-ssa: 2
- bollu/mlir-hoopl-rete: 2
- bollu/polyscope.lean: 2
- bollu/polly: 2
- bollu/llvm-multidim-array-indexing-proposal: 1
Active Maintainer
Issue Author Associations
- Owner (71, 67.62%)
- None (19, 18.10%)
- Contributor (8, 7.62%)
- Collaborator (7, 6.67%)
Pull Request Author Associations
- Collaborator (44, 44.90%)
- Contributor (33, 33.67%)
- None (14, 14.29%)
- Owner (7, 7.14%)
Top Issue Labels
- bug (6)
- enhancement (5)
- beginner-friendly (2)
Top Pull Request Labels
- toolchain-available (10)
- awaiting-author (2)
- builds-mathlib (2)
- awaiting-upstream (2)
- 6.topic: nixos (1)
- 8.has: module (update) (1)
- 12. first-time contribution (1)
- P-high (1)
- awaiting-review (1)
- P-medium (1)
- changelog-library (1)