GitHub / quinn-dougherty issue stats
Total issues: 177
Total pull requests: 68
Merged pull request: 54
Average time to close issues: 3 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.3
Average comments per pull request: 1.31
Issues created
- quinn-dougherty/rallypoint: 37
- quinn-dougherty/declare: 23
- redtachyon/cpr_reputation: 21
- on-nix/python: 11
- quantified-uncertainty/squiggle: 10
- plclub/hs-to-coq: 8
- quinn-dougherty/epistemics-webdev-projects: 8
- ejgallego/pycoq: 6
- eleutherai/project-menu: 5
- CodeForPhilly/chime: 3
- hercules-ci/support: 2
- TheSpyder/rescript-mocha: 2
- coq-community/coq-nix-toolbox: 2
- quinn-dougherty/wizards: 2
- matthewcroughan/nixinate: 2
- timbertson/opam2nix: 2
- quinn-dougherty/sketch-mvp-house: 2
- aantron/bisect_ppx: 1
- kvakvs/buffomatclassic: 1
- astral-sh/rye: 1
- quinn-dougherty/fvapps: 1
- svanderburg/node2nix: 1
- bedrocksystems/coq-lens: 1
- quinn-dougherty/hs-to-coq-project-template: 1
- NixOS/mobile-nixos: 1
- NixOS/nixos-hardware: 1
- TheSpyder/rescript-fast-check: 1
- rescript-lang/rescript-lang.org: 1
- sri-csl/pvs: 1
- nix-community/nixos-generators: 1
- serokell/nixfmt: 1
- copilot-emacs/copilot.el: 1
- numtide/treefmt-nix: 1
- NixOS/nix-mode: 1
- quinn-dougherty/gtf: 1
- ip1981/npm.nix: 1
- ocaml/opam: 1
- aantron/bisect-starter-rescript: 1
- quinn-dougherty/agile-bets: 1
- masala/masala-parser: 1
- cachix/install-nix-action: 1
- ocamllibs/pyml: 1
- jakoolit/ubuntu-hyprland: 1
- rescript-lang/rescript-compiler: 1
- alan-cooney/CircuitsVis: 1
- stdlib-js/stdlib: 1
- DavHau/mach-nix: 1
- janestreet/pythonlib: 1
Pull requests created
- quinn-dougherty/rallypoint: 13
- quinn-dougherty/declare: 12
- redtachyon/cpr_reputation: 10
- plclub/hs-to-coq: 4
- getguesstimate/guesstimate-app: 3
- quinn-dougherty/fvapps: 3
- ejgallego/pycoq: 2
- experience-monks/math-as-code: 2
- NixOS/nixpkgs: 2
- CodeForPhilly/chime: 2
- quinn-dougherty/portfolio: 2
- on-nix/python: 2
- chiroptical/declarative-programming-streams: 1
- quinn-dougherty/versioncontrol: 1
- quinn-dougherty/teaching-myself-workflows-and-actions: 1
- quinn-dougherty/shieldpy: 1
- aantron/bisect_ppx: 1
- quinn-dougherty/hutton: 1
- daithiocrualaoich/kernel_density: 1
- bentrevett/pytorch-seq2seq: 1
- jasongross/neural-net-coq-interp: 1
- quinn-dougherty/bird-up: 1
- alan-cooney/CircuitsVis: 1
Maintainer
- quinn-dougherty/rallypoint: 50
- quinn-dougherty/declare: 35
- redtachyon/cpr_reputation: 31
- ejgallego/pycoq: 8
- quinn-dougherty/epistemics-webdev-projects: 8
- CodeForPhilly/chime: 5
- eleutherai/project-menu: 5
- quinn-dougherty/fvapps: 4
- quinn-dougherty/wizards: 2
- quinn-dougherty/sketch-mvp-house: 2
- quinn-dougherty/portfolio: 2
- quinn-dougherty/shieldpy: 1
- quinn-dougherty/versioncontrol: 1
- quinn-dougherty/hs-to-coq-project-template: 1
- quinn-dougherty/agile-bets: 1
Active Maintainer
Issue Author Associations
- Owner (76, 42.94%)
- None (36, 20.34%)
- Collaborator (35, 19.77%)
- Contributor (30, 16.95%)
Pull Request Author Associations
- Owner (35, 51.47%)
- Collaborator (14, 20.59%)
- Contributor (13, 19.12%)
- None (6, 8.82%)
Top Issue Labels
- unpaid (8)
- Language (4)
- Web components (3)
- Topic: Interpretability (3)
- scoped/concrete score: 1/3 (3)
- scoped/concrete score: 2/3 (3)
- scoped/concrete score: 3/3 (2)
- enhancement (2)
- Recruiting: ML Dev (2)
- dash (2)
- Documentation (2)
- Statistics (1)
- Feature (1)
- RFC (1)
- future (1)
Top Pull Request Labels
- 10.rebuild-darwin: 0 (2)
- 10.rebuild-linux: 0 (2)
- 6.topic: coq (2)
- needs: rebase (1)