Skip to content

spinylobster

View on GitHub ↗

active 2024-03-13 → 2026-03-20 (UTC) · 25 repositories

Complete coverage28,243 / 28,243 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-03 (UTC)
Events
94
Pushes
25
Pull requests
14
Issues
3
Reviews
1
Repositories
25

Activity over time

Daily event counts in the loaded window

Line chart, 738 days from 2024-03-13 to 2026-03-20. Pushes: 25 total, peak 3 in a day. Pull requests: 14 total, peak 2 in a day. Issues: 3 total, peak 1 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
lean-ja/lean-by-example20001192025-10-07
Seasawher/ConcreteSemantics.lean1064002025-02-11
haruom/qbrane-web532002024-03-13
leanprover/lean4401022024-10-20
spinylobster/compfiles440002024-05-06
spinylobster/ConcreteSemantics.lean330002024-10-15
Seasawher/ZeroD.lean301022024-09-29
spinylobster/lean4330002024-10-20
lean-ja/lean99211002024-09-09
ondanaoto/compfiles202002024-04-28
igrep/lean-workshop202002025-09-09
spinylobster/ZeroD.lean220002024-09-30
spinylobster/lean-workshop220002025-09-09
LambdaNote/errata-leanbook-1-1200022025-11-10
lean-ja/tactic-cheatsheet100012024-05-13
Seasawher/InterpreterBook101002024-09-28
spinylobster/InterpreterBook110002024-09-28
leanprover-community/lean4-metaprogramming-book100102024-06-11
aconite-ac/theorem_proving_in_lean4100102024-03-24
kojima-r/pyLegendreDecomposition000002025-09-25
leanprover/cslib000002025-08-24
n4mlz/Cyrius000002026-03-20
sayo-hs/heftia000002024-11-03
spinylobster/wschecker000002025-08-04
leanprover/reference-manual000002024-11-24

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
Seasawher12
ondanaoto3
JLimperg2
Julian2
PatrickMassot2
Shreyas49912
SnO2WMaN2
adomani2
adomasbaliuka2
alok2
arthurpaulino2
bernborgess2
bryangingechen2
csharpython2
eric-wieser2
fpvandoorn2
hargoniX2
iehality2
ineol2
jcommelin2
kim-em2
lambda-fairy2
m4lvin2
philnguyen2
semorrison2

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