Skip to content

linesthatinterlace

View on GitHub ↗

active 2023-08-16 → 2026-06-17 (UTC) · 26 repositories

Complete coverage27,289 / 27,292 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-25 (UTC)
Events
1.5K
Pushes
675
Pull requests
88
Issues
46
Reviews
219
Repositories
26

Activity over time

Daily event counts in the loaded window

Line chart, 1037 days from 2023-08-16 to 2026-06-17. Pushes: 675 total, peak 19 in a day. Pull requests: 88 total, peak 13 in a day. Issues: 46 total, peak 36 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
leanprover-community/mathlib46501795802532026-04-21
linesthatinterlace/mathlib41581580002026-06-17
linesthatinterlace/controlbits1181180002026-01-30
leanprover-community/batteries116081602026-04-20
linesthatinterlace/xmss-jasmin10548144122026-05-19
linesthatinterlace/batteries86860002026-04-29
leanprover/lean441043272025-12-16
linesthatinterlace/xmss32320002025-05-08
linesthatinterlace/lean418180002026-01-27
leanprover/std41201092024-01-11
linesthatinterlace/verifying-cmce10100002025-01-06
linesthatinterlace/verify-meaning770002025-09-03
linesthatinterlace/xmss-riscv660002026-02-17
leanprover/cslib600032026-04-07
linesthatinterlace/std4440002025-05-21
leanprover-community/mathlib4-nightly-testing431002025-11-28
leanprover-community/mathlib201012023-08-27
formosa-crypto/formosa-xmss220002025-08-19
selfthinker/dokuwiki_plugin_userpage200112024-01-26
linesthatinterlace/hugo-coder110002024-12-17
YaelDillies/batteries110002026-06-15
linesthatinterlace/export110002025-09-01
leanprover/vscode-lean4100012024-04-09
cryptobib/export101002025-09-01
linesthatinterlace/aoc-2025110002025-12-08
vihdzp/combinatorial-games000002025-07-11

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
eric-wieser8
fgdorais8
kmill8
YaelDillies7
fpvandoorn7
nomeata7
JovanGerb6
Kha6
Ruben-VandeVelde6
TwoFX6
b-mehta6
david-christiansen6
digama06
jcommelin6
mhuisi6
semorrison6
thorimur6
tydeu6
BoltonBailey5
Garmelon5
Komyyy5
PatrickMassot5
Rob23oba5
Seasawher5
Vtec2345

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