Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / dijkstracula issue stats

Total issues: 19
Total pull requests: 40
Merged pull request: 26
Average time to close issues: 5 months
Average time to close pull requests: 2 months
Average comments per issue: 2.11
Average comments per pull request: 1.15

Issues created

p-org/P: 7
prove-rs/z3.rs: 2
dijkstracula/solvent: 2
leanprover/theorem_proving_in_lean4: 2
dafny-lang/dafny: 1
endoli/lldb-sys.rs: 1
stellentus/go-plc: 1
dijkstracula/go-ilock: 1
federico-busato/Modern-CPP-Programming: 1
realworldocaml/examples: 1

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

Contributor (10, 52.63%)
None (5, 26.32%)
Owner (3, 15.79%)
Collaborator (1, 5.26%)

Pull Request Author Associations

Contributor (26, 65.00%)
Collaborator (10, 25.00%)
None (4, 10.00%)

Top Issue Labels

P Compiler Enhancement (5)
Feature Request (2)
kind: bug (1)
part: language server (1)
during 1: program development (1)