Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Columbus240 issue stats
Total issues: 35
Total pull requests: 56
Merged pull request: 35
Average time to close issues: about 1 year
Average time to close pull requests: 3 months
Average comments per issue: 3.14
Average comments per pull request: 2.23
Issues created
- mit-plv/riscv-coq: 10
- coq-community/topology: 7
- jasongross/coq-tools: 3
- rust-osdev/multiboot2: 2
- coq/coq: 2
- l29ah/booboo: 2
- mit-plv/riscv-semantics: 2
- cole14/rust-elf: 1
- hasufell/games-overlay: 1
- SimonSapin/rust-forest: 1
- fornwall/rust-script: 1
- rust-lang/rfcs: 1
- xbrowsersync/api: 1
- casimirkapazi/unternull: 1
Pull requests created
- coq-community/topology: 20
- mit-plv/riscv-coq: 10
- rust-osdev/multiboot2: 6
- jwiegley/category-theory: 5
- lsegal/my_toy_compiler: 2
- mit-plv/riscv-semantics: 2
- hasufell/games-overlay: 2
- OpenLogicProject/OpenLogic: 2
- joelius300/werewolf-guide: 1
- cole14/rust-elf: 1
- coq-community/bignums: 1
- ProofGeneral/PG: 1
- mit-plv/bbv: 1
- contain-rs/bit-vec: 1
- casimirkapazi/unternull: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (17, 48.57%)
- None (11, 31.43%)
- Collaborator (7, 20.00%)
Pull Request Author Associations
- Contributor (28, 50.00%)
- Collaborator (20, 35.71%)
- None (8, 14.29%)
Top Issue Labels
- help wanted (3)
- enhancement (2)
- T-lang (1)
- requires careful thought (1)
- minimize more (1)
- feature request (1)