GitHub / Nadrieril issue stats
Total issues: 159
Total pull requests: 1,207
Merged pull request: 935
Average time to close issues: 4 months
Average time to close pull requests: 8 days
Average comments per issue: 2.55
Average comments per pull request: 2.15
Issues created
- aeneasverif/charon: 77
- AeneasVerif/aeneas: 12
- rust-lang/rust: 10
- Nadrieril/dhall-rust: 8
- srid/neuron: 6
- hacspec/hax: 5
- sanpii/todo-txt: 3
- pest-parser/pest: 3
- cryspen/hax: 3
- ekleog/todiff: 3
- dhall-lang/dhall-lang: 2
- Nadrieril/pest_consume: 2
- rust-lang/rustc-perf: 2
- rust-lang/rustup: 2
- rust-lang/rust-analyzer: 2
- duesee/abnf: 2
- nix-community/impermanence: 2
- dschrempf/nix-script: 1
- willcrichton/tyrade: 1
- rust-lang/annotate-snippets-rs: 1
- matthieu-m/ghost-cell: 1
- rust-lang/this-week-in-rust: 1
- rust-lang/lang-team: 1
- pyfisch/cbor: 1
- BrianHicks/nix-script: 1
- BurntSushi/ripgrep: 1
- ipetkov/crane: 1
- dtolnay/syn: 1
- rust-lang/cargo: 1
- nikis05/derive-visitor: 1
- svanderburg/composer2nix: 1
- rust-lang/triagebot: 1
Pull requests created
- aeneasverif/charon: 460
- rust-lang/rust: 208
- AeneasVerif/aeneas: 204
- aeneasverif/eurydice: 106
- hacspec/hax: 43
- Nadrieril/dhall-rust: 38
- cryspen/hax: 29
- cryspen/libcrux: 23
- rust-lang/rust-analyzer: 17
- ekleog/todiff: 10
- Inria-Prosecco/circus-green: 9
- hacl-star/hacl-star: 6
- aeneasverif/scylla: 4
- FStarLang/FStar: 4
- ekleog/hasklate: 4
- nvzqz/static-assertions-rs: 3
- rust-lang/nomicon: 3
- arjun-menon/pypage: 2
- FStarLang/karamel: 2
- nikis05/derive-visitor: 2
- duesee/abnf: 2
- rust-analyzer/rustc-auto-publish: 2
- rust-lang/rfcs: 2
- nadrieril/typing-rust-patterns: 2
- nanotech/dhall-rs: 1
- rust-lang/fls: 1
- scvalex/sexp: 1
- rust-lang/rustc-dev-guide: 1
- srid/neuron: 1
- Nadrieril/nomicon: 1
- lenianiva/lean4-nix: 1
- traviscross/match-ergonomics-formality: 1
- rust-lang/team: 1
- Nadrieril/pest_consume: 1
- cryspen/bertie: 1
- nix-community/nix-zsh-completions: 1
- sanpii/todo-txt: 1
- LukasKalbertodt/libtest-mimic: 1
- rust-lang/rust-project-goals: 1
- ghuntley/noyaml: 1
- wmertens/atom-nix: 1
- ekleog/ksandra: 1
- aclements/latexrun: 1
- rosefromthedead/effing-mad: 1
- ferrocene/specification: 1
- svanderburg/composer2nix: 1
Maintainer
- aeneasverif/charon: 537
- AeneasVerif/aeneas: 207
- aeneasverif/eurydice: 105
- rust-lang/rust: 46
- hacspec/hax: 46
- Nadrieril/dhall-rust: 46
- cryspen/hax: 32
- ekleog/todiff: 13
- Inria-Prosecco/circus-green: 9
- aeneasverif/scylla: 4
- Nadrieril/pest_consume: 3
- rust-lang/rfcs: 2
- rust-lang/nomicon: 2
- rust-lang/rustc-perf: 2
- rust-lang/rustup: 2
Active Maintainer
- aeneasverif/charon: 361
- AeneasVerif/aeneas: 122
- aeneasverif/eurydice: 59
- cryspen/hax: 32
- hacspec/hax: 26
- rust-lang/rust: 13
- Inria-Prosecco/circus-green: 9
- aeneasverif/scylla: 4
- nadrieril/typing-rust-patterns: 2
- rust-lang/rfcs: 2
- Nadrieril/dhall-rust: 1
- rust-lang/fls: 1
- rust-lang/annotate-snippets-rs: 1
- rust-lang/rustup: 1
Issue Author Associations
- Member (99, 62.26%)
- Contributor (21, 13.21%)
- None (15, 9.43%)
- Collaborator (14, 8.81%)
- Owner (10, 6.29%)
Pull Request Author Associations
- Member (779, 64.54%)
- Contributor (245, 20.30%)
- Collaborator (122, 10.11%)
- Owner (42, 3.48%)
- None (19, 1.57%)
Top Issue Labels
- C-bug (20)
- C-unsupported-language-feature (9)
- enhancement (6)
- A-internal (6)
- C-tracking-issue (5)
- A-exhaustiveness-checking (5)
- help wanted (4)
- standard-compliance (4)
- T-lang (4)
- bug (4)
- T-compiler (4)
- C-improvement (3)
- proposal (2)
- regression (2)
- F-never_patterns (2)
Top Pull Request Labels
- T-compiler (173)
- S-waiting-on-bors (146)
- S-waiting-on-review (48)
- merged-by-bors (46)
- T-libs (23)
- rollup (21)
- perf-regression (20)
- T-bootstrap (19)
- F-never_patterns (18)
- T-rustdoc (12)
- A-exhaustiveness-checking (12)
- T-lang (11)
- A-testsuite (10)
- disposition-merge (10)
- finished-final-comment-period (9)