Issues created

• dafny-lang/dafny: 48
• ProofGeneral/PG: 16
• jorgenschaefer/emacs-buttercup: 14
• rocq-archive/coq-serapi: 10
• fstarlang/fstar-mode.el: 7
• company-mode/company-quickhelp: 5
• Malabarba/Nameless: 5
• ledger/ledger-mode: 5
• dafny-lang/compiler-bootstrap: 4
• vspinu/math-symbol-lists: 4
• vspinu/company-math: 4
• fstarlang/fstar-layer: 3
• barghouthi/cav16-aec: 3
• ejgallego/coq-lsp: 3
• dafny-lang/libraries: 2
• Malabarba/rich-minority: 2
• rocq-prover/opam: 2
• celeritascelery/emacs-native-shell-complete: 2
• janestreet/parsexp: 2
• executablebooks/rst-to-myst: 2
• hgrecco/pint: 2
• emacs-lsp/lsp-metals: 2
• eslint/eslint: 2
• getpelican/pelican: 2
• jasongross/coq-scripts: 2
• Malabarba/aggressive-indent-mode: 1
• matze/mtheme: 1
• emacs-lsp/lsp-mode: 1
• wilfred/python-info: 1
• citation-file-format/ruby-cff: 1
• magit/ghub: 1
• jline/jline3: 1
• greghendershott/feeds2gmail: 1
• scala/scala3: 1
• janestreet/core_bench: 1
• tree-sitter/tree-sitter: 1
• fuco1/dired-hacks: 1
• wosc/rsspull: 1
• flycheck/flycheck-pos-tip: 1
• nicolaspetton/stream: 1
• mattermost/mattermost-plugin-email-reply: 1
• microsoft/pyright: 1
• nodejs/node: 1
• python/mypy: 1
• Malabarba/spinner.el: 1
• ocamlpro/ocp-build: 1
• Malabarba/camcorder.el: 1
• ervandew/eclim: 1
• fstarlang/fstar-interactive: 1
• mooz/js2-mode: 1
• wilfred/ag.el: 1
• ch1bo/flycheck-clang-tidy: 1
• amperser/proselint: 1
• skosch/crimson: 1
• alexmurray/flycheck-cstyle: 1
• cute-jumper/gscholar-bibtex: 1
• jorgenschaefer/elpy: 1
• alecthomas/importmagic: 1
• tinyfpga/TinyFPGA-Bootloader: 1
• flycheck/flycheck-haskell: 1
• AbsInt/CompCert: 1
• coq/coq: 1
• cpitclaudel/alectryon: 1
• latex3/hyperref: 1
• khady/merlin-eldoc: 1
• fstarlang/vimfstar: 1
• mwouts/jupytext: 1
• eventable/vobject: 1
• dataflownb/dfkernel: 1
• mhrivnak/radiotherm: 1
• crosscite/citeproc-doi-server: 1
• benma/visual-regexp.el: 1
• Kozea/Radicale: 1
• plantuml/plantuml: 1
• bokeh/bokeh: 1
• sbt/sbt: 1
• vivliostyle/vivliostyle.js: 1
• Malabarba/beacon: 1
• jwiegley/alert: 1
• k-takata/onigmo: 1
• juba/color-theme-tangotango: 1
• CSSLint/csslint: 1
• edemaine/comingle: 1
• scalameta/metals: 1
• rocq-community/coq-dpdgraph: 1
• csail-csg/pyverilator: 1
• ocaml/ocamlbuild: 1
• com-lihaoyi/cask: 1
• atomontage/xterm-color: 1
• GianlucaGuarini/Tocca.js: 1
• janestreet/core: 1
• jupyter/jupyter: 1
• dgutov/mmm-mode: 1
• jorgenschaefer/pyvenv: 1
• brannondorsey/radio-thermostat: 1
• nicolaspetton/emacs.d: 1

Pull requests created

• ledger/ledger-mode: 8
• rocq-community/hydra-battles: 8
• ProofGeneral/PG: 5
• flycheck/flycheck: 4
• cpitclaudel/alectryon: 3
• dafny-lang/compiler-bootstrap: 3
• cpitclaudel/dafny: 3
• csail-csg/pyverilator: 3
• flycheck/flycheck-pos-tip: 2
• Malabarba/rich-minority: 2
• company-mode/company-quickhelp: 2
• getpelican/pelican: 2
• dafny-lang/libraries: 2
• CSSLint/csslint: 1
• jwiegley/alert: 1
• ananthakumaran/jquery-doc.el: 1
• alecthomas/importmagic: 1
• jasongross/coq-scripts: 1
• vspinu/company-math: 1
• Malabarba/Nameless: 1
• dafny-lang/dafny-lang.github.io: 1
• eno-lang/enolib: 1
• olivierverdier/spacemacs-coq: 1
• kuanyui/tldr.el: 1
• emacscollective/no-littering: 1
• purcell/flycheck-ledger: 1
• rocq-archive/coq-serapi: 1
• dafny-lang/dafny: 1
• Malabarba/camcorder.el: 1
• cpitclaudel/biblio.el: 1
• emacs-lsp/lsp-mode: 1
• python/typeshed: 1
• coq/vscoq: 1
• mcmtroffaes/pybtex-docutils: 1

Maintainer

• dafny-lang/dafny: 49
• ProofGeneral/PG: 21
• rocq-archive/coq-serapi: 11
• dafny-lang/compiler-bootstrap: 7
• company-mode/company-quickhelp: 7
• dafny-lang/libraries: 4
• cpitclaudel/alectryon: 4
• flycheck/flycheck: 4
• cpitclaudel/dafny: 3
• flycheck/flycheck-pos-tip: 3
• dafny-lang/dafny-lang.github.io: 1
• flycheck/flycheck-haskell: 1
• cpitclaudel/biblio.el: 1

Active Maintainer

Issue Author Associations

• None (100, 44.64%)
• Member (72, 32.14%)
• Contributor (36, 16.07%)
• Collaborator (15, 6.70%)
• Owner (1, 0.45%)

Pull Request Author Associations

• Contributor (39, 57.35%)
• Member (18, 26.47%)
• Owner (7, 10.29%)
• Collaborator (3, 4.41%)
• None (1, 1.47%)

Top Issue Labels

• kind: bug (28)
• priority: not yet (25)
• enhancement (15)
• kind: enhancement (14)
• part: resolver (12)
• part: verifier (10)
• question (9)
• area: error-reporting (8)
• during 2: compilation of correct program (8)
• bug (8)
• status: fixed (7)
• incompleteness (6)
• has-workaround: yes (6)
• crash (5)
• lang: c# (4)

Top Pull Request Labels

• status: blocked (2)
• bug (1)
• component: checkers (1)
• status: ready for review (1)