GitHub / tchajed issue stats
Total issues: 142
Total pull requests: 219
Merged pull request: 191
Average time to close issues: 3 months
Average time to close pull requests: 14 days
Average comments per issue: 2.15
Average comments per pull request: 0.8
Issues created
- tchajed/botc-tools: 13
- tchajed/goose: 12
- fstarlang/fstar-mode.el: 11
- mit-pdos/perennial: 11
- vmware-research/temporal-verifier: 6
- FStarLang/karamel: 6
- dafny-lang/dafny: 5
- jonhoo/experiment: 4
- vuepress-theme-hope/vuepress-theme-hope: 4
- uwplse/coq-change-analytics: 3
- coq/coq: 3
- coq/vscoq: 3
- ProofGeneral/PG: 3
- dafny-lang/ide-vscode: 3
- tchajed/interviews-web: 3
- coq/platform: 3
- coq-community/coq-tricks: 3
- uwplse/coqast: 2
- coq-community/docker-coq-action: 2
- wallyqs/org-ruby: 2
- tchajed/coq-project-template: 2
- cpitclaudel/alectryon: 2
- tchajed/web-timer: 2
- siegebell/vscoq: 2
- goose-lang/goose: 2
- tchajed/commit-email-bot: 2
- syl20bnr/spacemacs: 1
- keybase/managed-bots: 1
- rocq-community/manifesto: 1
- jasongross/coq-tools: 1
- mit-pdos/fscq: 1
- Z3Prover/z3: 1
- coq-community/atbr: 1
- bluss/indexmap: 1
- cpitclaudel/company-coq: 1
- aclements/latexrun: 1
- siegebell/vsc-prettify-symbols-mode: 1
- olivierverdier/spacemacs-coq: 1
- shikijs/textmate-grammars-themes: 1
- schollz/progressbar: 1
- tchajed/coq-record-update: 1
- jonhoo/go-events: 1
- chaimleib/intervaltree: 1
- ocaml/Zarith: 1
- justusadam/language-haskell: 1
- rocq-archive/coq-serapi: 1
- tchajed/specious-db: 1
- vuepress/ecosystem: 1
- psobot/keynote-parser: 1
- go-check/check: 1
- knu/elscreen: 1
- kino-mc/rsmt2: 1
- emotion-js/emotion: 1
- staticfloat/homebrew-julia: 1
Pull requests created
- mit-pdos/perennial: 35
- vmware-research/temporal-verifier: 33
- goose-lang/goose: 23
- coq-community/coq-tricks: 11
- goose-lang/std: 11
- jonhoo/experiment: 9
- mit-plv/coqutil: 6
- tchajed/botc-tools: 5
- jonhoo/cloud-arch: 4
- logsem/iris-project: 4
- zeldovich/go-rpcgen: 3
- kino-mc/rsmt2: 3
- coq-community/atbr: 3
- mjschwenne/grackle: 3
- verus-lang/verus: 3
- rogual/homebrew-neovim-dot-app: 2
- datagraph/jquery-jsonrpc: 2
- olivierverdier/spacemacs-coq: 2
- willcrichton/expressiveness-benchmark: 2
- jonhoo/go-events: 2
- rocq-prover/coq.github.io: 2
- shikijs/textmate-grammars-themes: 2
- ProofGeneral/PG: 2
- aclements/latexrun: 2
- wbkd/awesome-interactive-journalism: 2
- Homebrew/homebrew-core: 1
- Fuco1/smartparens: 1
- vuvuzela/crypto: 1
- jonhoo/cliff: 1
- wilcoxjay/mypyvy: 1
- goose-lang/primitive: 1
- erikmd/docker-coq-travis-ci-demo-1: 1
- staticfloat/homebrew-julia: 1
- stedolan/counterexamples: 1
- nibbstack/erc721: 1
- tchajed/sys-verif-fa24: 1
- tchajed/interviews-web: 1
- mistydemeo/homebrew-xfig: 1
- justusadam/language-haskell: 1
- haskell/criterion: 1
- emotion-js/emotion: 1
- Homebrew/homebrew-cask: 1
- jonhoo/go-iprof: 1
- cpitclaudel/company-coq: 1
- tchajed/coq-record-update: 1
- vuepress-theme-hope/vuepress-theme-hope: 1
- philnguyen/z3-rkt: 1
- mit-plv/riscv-coq: 1
- oh-my-fish/theme-bobthefish: 1
- fstarlang/fstar-mode.el: 1
- kohler/hotcrp: 1
- mit-pdos/go-nfsd: 1
- tchajed/iris-simp-lang: 1
- kevinmehall/rust-peg: 1
- gsamokovarov/jump: 1
- mit-plv/bbv: 1
- coq-community/coqdocjs: 1
- docopt/docopt.org: 1
- starship/starship: 1
- cynary/forecasters: 1
- tchajed/futex-tutorial: 1
- wallyqs/org-ruby: 1
- proofgeneral/proofgeneral.github.io: 1
- mit-plv/bedrock2: 1
- averagehuman/python-html2rest: 1
- uwplse/coqast: 1
- mit-pdos/daisy-nfsd: 1
- FStarLang/karamel: 1
Maintainer
- mit-pdos/perennial: 46
- vmware-research/temporal-verifier: 39
- goose-lang/goose: 25
- tchajed/botc-tools: 18
- coq-community/coq-tricks: 14
- tchajed/goose: 12
- logsem/iris-project: 4
- coq-community/atbr: 4
- tchajed/interviews-web: 4
- verus-lang/verus: 3
- tchajed/coq-project-template: 2
- tchajed/commit-email-bot: 2
- coq-community/docker-coq-action: 2
- tchajed/web-timer: 2
- tchajed/coq-record-update: 2
Active Maintainer
Issue Author Associations
- Contributor (46, 32.39%)
- Owner (36, 25.35%)
- None (33, 23.24%)
- Member (25, 17.61%)
- Collaborator (2, 1.41%)
Pull Request Author Associations
- Member (85, 38.81%)
- Contributor (83, 37.90%)
- Collaborator (30, 13.70%)
- None (11, 5.02%)
- Owner (10, 4.57%)
Top Issue Labels
- bug (12)
- enhancement (7)
- kind: bug (6)
- part: documentation (3)
- needs triage (1)
- coq-library (1)
- coq-plugin (1)
- move-project (1)
- documentation (1)
- in-progress (1)
- blocked (1)
- invalid (1)
- has workaround (1)
- upstream bug (1)
- part: z3 (1)
Top Pull Request Labels
- new (9)
- enhancement (1)
- java (1)
- CI-no-fail-fast (1)
- dotnet (1)
- bump-cask-pr (1)
- probably-easy (1)