GitHub / tcosmo issue stats
Total issues: 49
Total pull requests: 42
Merged pull request: 29
Average time to close issues: 3 months
Average time to close pull requests: 2 days
Average comments per issue: 0.47
Average comments per pull request: 0.79
Issues created
- bbchallenge/bbchallenge-paper: 17
- bbchallenge/bbchallenge: 7
- cosearch-lab/cosearch: 3
- lengyijun/goldbach_tm: 2
- google-deepmind/formal-conjectures: 2
- bbchallenge/bbchallenge-proofs: 2
- tcosmo/zengpt: 1
- ccz181078/Coq-BB5: 1
- openreview/openreview-web: 1
- panglesd/slipshow: 1
- timlrx/rehype-citation: 1
- obsidiansystems/ledger-app-tezos: 1
- leanprover-community/mathlib4: 1
- sciunto-org/python-bibtexparser: 1
- ccchallenge-org/ccchallenge: 1
- bbchallenge/bbchallenge-go: 1
- alexhagen/jdc: 1
- specstoryai/getspecstory: 1
- revmischa/sdl3-rs: 1
- danbriggs/Turing: 1
- cosearch-lab/cosearch-api: 1
- python-openxml/python-docx: 1
Pull requests created
- ccz181078/Coq-BB5: 11
- bbchallenge/bbchallenge-paper: 7
- bbchallenge/bbchallenge: 7
- UC-Davis-molecular-computing/scadnano-python-package: 6
- cosearch-lab/cosearch: 2
- bbchallenge/bbchallenge-proofs: 2
- Nathan-Fenner/bb-simple-n-gram-cps: 2
- google-deepmind/formal-conjectures: 1
- tcosmo/cosmix: 1
- bbchallenge/bbchallenge-deciders: 1
- rustwasm/awesome-rust-and-webassembly: 1
- teorth/equational_theories: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (28, 57.14%)
- None (16, 32.65%)
- Collaborator (4, 8.16%)
- Owner (1, 2.04%)
Pull Request Author Associations
- Contributor (25, 59.52%)
- Collaborator (10, 23.81%)
- None (6, 14.29%)
- Owner (1, 2.38%)
Top Issue Labels
- enhancement (8)
- bug (2)
- good first issue (2)
- chore (1)
- high priority (1)
- help wanted (1)
Top Pull Request Labels
- Awaiting author (1)
- good first issue (1)