Skip to content

active 2023-08-18 → 2026-09-25 (UTC) · 155 repositories

Complete coverage27,306 / 27,309 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-25 (UTC)
Events
4K
Pushes
1.5K
Pull requests
610
Issues
196
Reviews
216
Repositories
155

Activity over time

Daily event counts in the loaded window

Line chart, 1135 days from 2023-08-18 to 2026-09-25. Pushes: 1,520 total, peak 23 in a day. Pull requests: 610 total, peak 16 in a day. Issues: 197 total, peak 5 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 · top 50

RepositoryContributionsPushesPRsIssuesCommentsLast seen
creusot-rs/creusot1,6228553021062802026-09-25
haskell/text301674916852026-08-12
creusot-rs/creusot-ide2021016914172026-08-10
QuickChick/QuickChick14461305432026-05-22
DeepSpec/InteractionTrees7130194152026-01-22
Lysxia/coq-simple-io602618792026-04-29
tomjaguarpaw/bluefin51060312026-03-21
Lysxia/creusot-rust-std47416002026-04-10
Lysxia/first-class-families461492142025-10-03
Lysxia/generic-data4117112112026-06-24
Lysxia/bluefin-algae39354002026-03-27
Lysxia/twentyseven381415272025-08-01
creusot-rs/tutorial34313002026-06-14
haskell/aeson2072272026-09-12
coq/opam20012082025-02-28
Lysxia/opam-coq-archive19190002025-09-22
robdockins/edison18132032025-12-30
plaidfinch/StrictCheck1384102025-12-29
creusot-rs/devlog13130002026-06-24
haskell/containers1300082025-02-24
coq/platform-docs1202162025-01-30
coq/coq1213072024-06-20
lastland/ClairvoyanceMonad12120002025-02-07
creusot-rs/creusot-examples1091002026-06-26
xldenis/whycode1024222024-12-21
creusot-rs/creusot-rs.github.io10100002026-08-12
Lysxia/bluefin990002024-11-22
rocq-prover/rocq900062026-03-20
facet-rs/trame822022026-02-07
Lysxia/paco880002025-10-02
Lysxia/error-message-index770002024-03-16
haskell/haskeline700052025-10-05
snu-sf/paco701242025-10-01
Lysxia/creusot-this660002026-03-12
haskell/core-libraries-committee600152025-04-02
Lysxia/text550002024-08-08
Lysxia/CreuSAT550002026-02-24
nomeata/inspection-testing523002026-01-17
ocaml-windows/papercuts500322024-12-09
sarsko/CreuSAT501042025-11-06
rocq-prover/opam504012025-09-22
rocq-community/corn421102025-08-28
Lysxia/coq440002024-03-29
Lysxia/tasty-bench440002025-02-26
highlightjs/highlight.js402022025-01-25
Lysxia/system-F411022025-03-17
rust-lang/rust401212025-11-04
ocaml/dune400032026-01-20
Lysxia/generic-recursion-schemes421012026-04-13
model-checking/verify-rust-std400042025-11-03

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
SkySkimmer26
proux0123
JasonGross20
Bodigrim19
Zimmi4819
ejgallego16
MSoegtropIMC15
liyishuai15
palmskog15
RalfJung14
mattam8214
Villetaneuse13
andreasabel13
gares13
ppedrot13
BebeSparkelSparkel12
andres-erbsen12
rtetley12
ulysses4ever12
MangoIV11
phadej11
bgamari10
hasufell10
herbelin10
rlepigre10

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