Issues created

• coq-community/corn: 5
• cpitclaudel/company-coq: 3
• andersonshatch/midea-ac-lib: 3
• ProofGeneral/PG: 2
• bedrocksystems/coq-lens: 2
• bluerock-io/BRiCk: 2
• coq-community/paramcoq: 2
• coq-community/coq-ext-lib: 1
• Genymobile/gnirehtet: 1
• tbvdm/sigtop: 1
• pauldreik/rdfind: 1
• coq-community/coqdocjs: 1
• dzsessona/QuickOpener-NetBeans: 1
• acowley/roshask: 1
• bedrocksystems/BRiCk: 1
• Andersbakken/rtags: 1
• retorquere/zotero-better-bibtex: 1
• formal-land/coq-of-python: 1
• jasongross/proviola-source: 1
• mac-zhou/midea-msmart: 1
• xeals/signal-back: 1
• mit-plv/bbv: 1

Pull requests created

• coq-community/corn: 5
• bedrocksystems/coq-lens: 5
• MetaCoq/metacoq: 3
• cpitclaudel/company-coq: 3
• coq/rfcs: 2
• mac-zhou/midea-msmart: 2
• JumpCrypto/crypto-reading-list: 2
• coq/ceps: 2
• coq-community/math-classes: 2
• coq-community/coq-ext-lib: 2
• coq/opam: 1
• CertiCoq/certicoq: 1
• andersonshatch/midea-ac-lib: 1
• gmalecha/coq-interaction-trees: 1
• ocaml/platform-blog: 1

Maintainer

Active Maintainer

Issue Author Associations

• None (17, 50.00%)
• Contributor (17, 50.00%)

Pull Request Author Associations

• Contributor (26, 78.79%)
• None (7, 21.21%)

Top Issue Labels

• invalid (1)
• bug (1)

Top Pull Request Labels

• stale (4)