Ecosyste.ms: Issues

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

GitHub / dijkstracula issue stats

Total issues: 21
Total pull requests: 42
Merged pull request: 28
Average time to close issues: 4 months
Average time to close pull requests: 2 months
Average comments per issue: 2.38
Average comments per pull request: 1.12

Issues created

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

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

Contributor (10, 47.62%)
None (7, 33.33%)
Owner (3, 14.29%)
Collaborator (1, 4.76%)

Pull Request Author Associations

Contributor (28, 66.67%)
Collaborator (10, 23.81%)
None (4, 9.52%)

Top Issue Labels

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