Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / tchajed issue stats

Total issues: 184
Total pull requests: 191
Merged pull request: 162
Average time to close issues: 4 months
Average time to close pull requests: 15 days
Average comments per issue: 2.18
Average comments per pull request: 0.82

Issues created

fstarlang/fstar-mode.el: 22
tchajed/botc-tools: 19
goose-lang/goose: 14
tchajed/goose: 12
FStarLang/karamel: 11
mit-pdos/perennial: 11
vmware-research/temporal-verifier: 6
dafny-lang/ide-vscode: 5
dafny-lang/dafny: 5
coq/vscoq: 5
jonhoo/experiment: 4
vuepress-theme-hope/vuepress-theme-hope: 4
coq-community/coq-tricks: 3
uwplse/coq-change-analytics: 3
coq/platform: 3
ProofGeneral/PG: 3
coq/coq: 3
syl20bnr/spacemacs: 2
tchajed/interviews-web: 2
coq-community/docker-coq-action: 2
tchajed/commit-email-bot: 2
cpitclaudel/alectryon: 2
tchajed/web-timer: 2
siegebell/vscoq: 2
Z3Prover/z3: 2
shikijs/textmate-grammars-themes: 2
tchajed/coq-project-template: 2
siegebell/vsc-prettify-symbols-mode: 2
tchajed/coq-record-update: 2
wallyqs/org-ruby: 2
uwplse/coqast: 2
jonhoo/go-events: 1
ocaml/Zarith: 1
coq-community/atbr: 1
justusadam/language-haskell: 1
cpitclaudel/company-coq: 1
bluss/indexmap: 1
jasongross/coq-tools: 1
keybase/managed-bots: 1
rocq-archive/coq-serapi: 1
tchajed/specious-db: 1
emotion-js/emotion: 1
kino-mc/rsmt2: 1
go-check/check: 1
staticfloat/homebrew-julia: 1
knu/elscreen: 1
psobot/keynote-parser: 1
vuepress/ecosystem: 1
mit-pdos/fscq: 1
aclements/latexrun: 1
chaimleib/intervaltree: 1
ejgallego/coq-serapi: 1
schollz/progressbar: 1
olivierverdier/spacemacs-coq: 1

Pull requests created

vmware-research/temporal-verifier: 33
coq-community/coq-tricks: 21
goose-lang/std: 11
jonhoo/experiment: 9
mit-pdos/perennial: 8
tchajed/botc-tools: 7
kino-mc/rsmt2: 6
logsem/iris-project: 4
shikijs/textmate-grammars-themes: 4
mit-plv/coqutil: 4
coq-community/atbr: 4
jonhoo/cloud-arch: 4
mjschwenne/grackle: 3
zeldovich/go-rpcgen: 3
verus-lang/verus: 3
kevinmehall/rust-peg: 3
jonhoo/go-events: 2
willcrichton/expressiveness-benchmark: 2
goose-lang/goose: 2
tchajed/coq-record-update: 2
coq/coq.github.io: 2
olivierverdier/spacemacs-coq: 2
fstarlang/fstar-mode.el: 2
aclements/latexrun: 2
FStarLang/karamel: 2
rogual/homebrew-neovim-dot-app: 2
datagraph/jquery-jsonrpc: 2
wbkd/awesome-interactive-journalism: 2
ProofGeneral/PG: 2
Fuco1/smartparens: 1
erikmd/docker-coq-travis-ci-demo-1: 1
Homebrew/homebrew-core: 1
goose-lang/primitive: 1
jonhoo/cliff: 1
nibbstack/erc721: 1
tchajed/sys-verif-fa24: 1
wilcoxjay/mypyvy: 1
mit-pdos/daisy-nfsd: 1
emotion-js/emotion: 1
uwplse/coqast: 1
jonhoo/go-iprof: 1
cpitclaudel/company-coq: 1
vuepress-theme-hope/vuepress-theme-hope: 1
Homebrew/homebrew-cask: 1
haskell/criterion: 1
justusadam/language-haskell: 1
mistydemeo/homebrew-xfig: 1
stedolan/counterexamples: 1
staticfloat/homebrew-julia: 1
vuvuzela/crypto: 1
averagehuman/python-html2rest: 1
siegebell/vscoq: 1
proofgeneral/proofgeneral.github.io: 1
tchajed/futex-tutorial: 1
cynary/forecasters: 1
coq-community/coqdocjs: 1
philnguyen/z3-rkt: 1
mit-plv/riscv-coq: 1
oh-my-fish/theme-bobthefish: 1
kohler/hotcrp: 1
mit-pdos/go-nfsd: 1
tchajed/iris-simp-lang: 1
gsamokovarov/jump: 1
mit-plv/bbv: 1
starship/starship: 1
wallyqs/org-ruby: 1
mit-plv/bedrock2: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (64, 34.78%)
Owner (42, 22.83%)
None (40, 21.74%)
Member (24, 13.04%)
Collaborator (14, 7.61%)

Pull Request Author Associations

Contributor (90, 47.12%)
Member (69, 36.13%)
Owner (12, 6.28%)
None (11, 5.76%)
Collaborator (9, 4.71%)

Top Issue Labels

bug (17)
enhancement (14)
kind: bug (7)
part: documentation (3)
blocked (2)
in-progress (2)
language server (2)
Coq (2)
- Mailling list - (2)
Help wanted (2)
good first issue (2)
upstream (1)
invalid (1)
has workaround (1)
upstream bug (1)

Top Pull Request Labels

enhancement (1)
java (1)
CI-no-fail-fast (1)
dotnet (1)
bump-cask-pr (1)