Issues created

• logsem/melocoton: 4
• hm-riscv/vscode-riscv-venus: 2
• rust-lang/miri: 2
• buttilda/another-one-bites-the-dust: 1
• jhjourdan/c11parser: 1
• creusot-rs/creusot: 1
• cpitclaudel/alectryon: 1
• mcmodlauncher/modlauncher: 1
• coderobe/vbiosfinder: 1
• denoland/deno_core: 1
• rocq-prover/rocq: 1
• AEModernMCPort/Applied-Energistics-3-Fork: 1
• uds-psl/coq-library-undecidability: 1
• SOSML/SOSML: 1
• uds-psl/coq-library-fol: 1

Pull requests created

• rust-lang/miri: 10
• uds-psl/coq-library-undecidability: 2
• al8n/skl: 2
• AEModernMCPort/Applied-Energistics-3-Fork: 2
• coq/opam: 1
• digitalsparky/cssminify: 1
• moka-rs/moka: 1
• yforster/thesis-template: 1
• lumol-org/soa-derive: 1
• digitalsparky/jekyll-minifier: 1
• denoland/deno_core: 1
• buttilda/another-one-bites-the-dust: 1
• jojodeveloping/testrepo: 1
• lexmanos/mappingtoy: 1
• moka-rs/mini-moka: 1
• rust-vmm/mshv: 1

Maintainer

• logsem/melocoton: 4
• jojodeveloping/testrepo: 1
• uds-psl/coq-library-fol: 1

Active Maintainer

Issue Author Associations

• None (11, 55.00%)
• Collaborator (5, 25.00%)
• Contributor (4, 20.00%)

Pull Request Author Associations

• Contributor (20, 71.43%)
• None (7, 25.00%)
• Owner (1, 3.57%)

Top Issue Labels

• C-bug (2)
• t:squid (1)
• s:frontend (1)
• p5: medium priority (1)
• A-cargo (1)
• A-aliasing (1)
• I-misses-UB (1)
• enhancement (1)
• information (1)
• bug (1)
• cargo-creusot (1)
• part: unification (1)
• kind: bug (1)
• kind: wish (1)

Top Pull Request Labels

• bug (2)
• S-waiting-on-review (2)
• S-waiting-on-author (2)