Issues created

• gmalecha/mirror-core: 84
• rocq-community/coq-ext-lib: 7
• bedrocksystems/coq-lens: 6
• gmalecha/coq-plugin-utils: 6
• jesper-bengtson/charge: 5
• MetaRocq/metarocq: 5
• gmalecha/hl-compiler: 4
• jesper-bengtson/chargecore: 4
• coq/coq: 4
• gmalecha/coq-extensible-records: 3
• conal/reification-rules: 3
• mit-plv/bedrock2: 3
• gmalecha/coq-temporal: 2
• gmalecha/gmalecha.github.io: 2
• mit-plv/bbv: 2
• coq-community/templates: 2
• ProofGeneral/PG: 1
• gmalecha/bedrock-mirror-shard: 1
• 11ty/eleventy: 1
• beta-ziliani/mtac-plugin: 1
• robertylewis/smtlib2polya: 1
• jasongross/coq-tools: 1
• Mtac2/Mtac2: 1
• rocq-archive/coq-serapi: 1
• cpitclaudel/alectryon: 1
• tchajed/coq-record-update: 1
• coq/stdlib2: 1

Pull requests created

• rocq-prover/opam: 17
• rocq-community/coq-ext-lib: 9
• MetaRocq/metarocq: 5
• mit-plv/bbv: 4
• gmalecha/mirror-core: 3
• jesper-bengtson/chargecore: 3
• bedrocksystems/coq-lens: 3
• coq/repo-stable-disabled: 2
• coq/rfcs: 2
• jesper-bengtson/charge: 2
• target/row-types: 2
• mit-plv/bedrock2: 2
• aa755/squiggleeq: 1
• robertylewis/smtlib2polya: 1
• cpitclaudel/alectryon: 1
• strake/ctrex-aeson.hs: 1
• NixOS/nixos-weekly: 1
• beta-ziliani/mtac-plugin: 1
• coq/coq.github.io: 1
• jwiegley/category-theory: 1
• ElvishJerricco/fraxl: 1
• gmalecha/coq-ltac-iter: 1
• rouge-ruby/rouge: 1
• rocq-community/metaprogramming-rosetta-stone: 1

Maintainer

• gmalecha/mirror-core: 87
• rocq-community/coq-ext-lib: 16
• bedrocksystems/coq-lens: 9
• jesper-bengtson/charge: 7
• jesper-bengtson/chargecore: 7
• mit-plv/bbv: 6
• gmalecha/coq-plugin-utils: 6
• gmalecha/hl-compiler: 4
• gmalecha/coq-extensible-records: 3
• gmalecha/gmalecha.github.io: 2
• gmalecha/coq-temporal: 2
• gmalecha/coq-ltac-iter: 1
• gmalecha/bedrock-mirror-shard: 1

Active Maintainer

Issue Author Associations

• Owner (102, 66.67%)
• Collaborator (24, 15.69%)
• Contributor (14, 9.15%)
• None (13, 8.50%)

Pull Request Author Associations

• Contributor (33, 50.00%)
• Collaborator (21, 31.82%)
• None (8, 12.12%)
• Owner (4, 6.06%)

Top Issue Labels

• enhancement (45)
• bug (23)
• question (13)
• refactor (10)
• performance (7)
• Stale (6)
• documentation (5)
• wontfix (4)
• kind: bug (2)
• kind: wish (2)
• feature: 🗄 passthrough copy (1)
• duplicate (1)
• big task (1)
• part: compiler (1)
• needs: triage (1)

Top Pull Request Labels

• enhancement (4)
• question (2)
• help wanted (1)