Skip to content

active 2023-08-31 → 2026-07-21 (UTC) · 42 repositories

Complete coverage27,286 / 27,289 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-25 (UTC)
Events
645
Pushes
362
Pull requests
77
Issues
14
Reviews
14
Repositories
42

Activity over time

Daily event counts in the loaded window

Line chart, 1056 days from 2023-08-31 to 2026-07-21. Pushes: 360 total, peak 12 in a day. Pull requests: 76 total, peak 6 in a day. Issues: 14 total, peak 3 in a day.

  • Pushes
  • Pull requests
  • Issues

Pull requests and issues are under-captured in the later part of this window. GH Archive progressively stopped recording non-push events during 2026 — −95% or worse by the end of the window. A decline in those two series reflects the archive rather than this account. Pushes stay reliable throughout, so read them as the real signal. Data health has the measurements.

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
tabareau/rocq1001000002026-06-30
rocq-prover/rocq8812133522026-05-20
coq/rocq-prover.org8834342182025-03-26
jpoiret/coq46460002025-07-09
MetaCoq/metacoq331219012024-06-14
yforster/coq-malfunction33312002024-02-19
CoqHott/univalent_parametricity23230002026-07-21
thomas-lamiaux/coq19190002025-11-21
tabareau/coq-malfunction15150002023-11-15
TDiazT/CompCert13130002024-04-06
tabareau/coq12120002024-11-29
coq/coq1101442025-03-10
HoTT/Coq-HoTT801062025-11-28
rocq-prover/opam851102026-01-22
rocq-prover/rocq-prover.org733102026-05-22
tabareau/HoTT770002025-11-28
coq/ceps641012024-11-07
loic-p/coq440002024-03-22
tabareau/bignums440002025-10-21
TDiazT/coq440002025-11-27
MetaRocq/metarocq311002025-10-06
CoqHott/logrel-mltt330002025-07-31
tabareau/kami220002025-11-20
rocq-community/paramcoq200202025-10-24
ppedrot/coq220002025-10-22
coq/coq.github.io211002024-07-05
MetaRocq/nested-eliminators110002025-11-13
Yann-Leray/metacoq110002025-03-31
rocq-prover/stdlib100012026-02-10
ocaml/ocaml.org100102024-01-11
SkySkimmer/rocq110002026-03-11
tabareau/metarocq110002025-10-06
rocq-community/rocq-lean-import110002026-07-02
tabareau/math-classes000002025-10-20
tabareau/bbv000002025-09-30
fblanqui/color000002025-09-30
jwiegley/category-theory000002025-10-02
tabareau/coq-elpi000002025-10-06
rocq-community/coq-ext-lib000002025-09-30
LPCIC/coq-elpi000002025-10-06
rocq-community/coq-dpdgraph000002025-09-30
mit-plv/kami000002025-09-30

Works with

People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone

ContributorShared reposRepositories in common
SkySkimmer18
mattam8216
JasonGross14
proux0114
ppedrot12
thomas-lamiaux10
gares9
TheoWinterhalter8
Zimmi488
silene8
CohenCyril7
MevenBertrand7
TDiazT7
Villetaneuse7
yannl351337
Justme06066
MSoegtropIMC6
Tragicus6
andres-erbsen6
ejgallego6
gmalecha6
herbelin6
jrosain6
palmskog6
yforster6

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.