Skip to content

active 2023-08-15 → 2026-04-19 (UTC) · 282 repositories

Complete coverage27,284 / 27,287 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-24 (UTC)
Events
1.6K
Pushes
492
Pull requests
219
Issues
106
Reviews
5
Repositories
282

Activity over time

Daily event counts in the loaded window

Line chart, 979 days from 2023-08-15 to 2026-04-19. Pushes: 497 total, peak 20 in a day. Pull requests: 219 total, peak 74 in a day. Issues: 107 total, peak 11 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
rzukic/zed-latex3705964581872025-12-31
lnay/lnay84770522026-03-18
lnay/zed-latex66660002025-09-30
lnay/metric-spaces-and-topology-game391011992024-05-02
zed-industries/extensions350190162025-11-07
zed-industries/zed34022292025-12-18
lnay/sagetex-blog32270412025-02-04
lnay/mobius-stability-blog30300002025-12-28
lnay/extensions24240002025-09-30
lnay/zed-texpresso22613122026-04-19
GLAMS-professional-skills/website20200002024-04-16
lnay/reMathML19190002025-06-28
lnay/texpresso-lsp1680622025-10-24
lnay/texpresso16160002025-05-22
lnay/zed12120002025-10-24
GLAMS-professional-skills/workshop1-terminals-and-shells11110002024-02-06
GLAMS-professional-skills/workshop-catlab-jl11110002024-03-12
UoE-SoM-professional-skils/website10100002024-01-13
leptos-rs/leptos902252024-12-27
lnay/LaTeX-tricks880002026-02-15
lnay/ReX880002025-07-05
let-def/texpresso800082025-04-26
lnay/formal-2024770002024-03-19
UoE-SoM-professional-skils/workshop-sagemath660002023-12-20
leanprover-community/lean4game601232024-05-02
KenyC/ReX600042025-07-05
microsoft/vscode-remote-release600242024-02-01
lnay/evince-synctex532002025-03-15
UoE-SoM-professional-skils/devcontainer-template550002023-12-20
GLAMS-professional-skills/workshop2-git540012024-02-20
eth0net/zed-docker-compose502032025-09-03
lnay/zed-latex-devcontainer410122025-07-12
glams-lean-2024/formal-2024400132024-02-27
latex-lsp/texlab400042025-06-17
lnay/pages-demo330002024-04-18
lnay/tilt-rs-notebook330002024-01-24
lnay/case-for-prototype-paradigm-blog330002025-02-21
lnay/JCMBayes3330002023-11-19
caius/zed-make302012025-09-14
rot256/zed-sagemath302012024-12-10
QuiverTools/QuiverTools300032024-07-23
leanprover-community/mathematics_in_lean300032024-02-05
latex-lsp/tree-sitter-latex300032025-04-04
lnay/zed-sagemath220002024-12-08
lnay/zed-latex-preview-diagnosis220002025-03-01
lnay/sagetex-article220002023-11-12
GLAMS-professional-skills/workshop-latex220002024-03-28
lnay/zed-make220002025-03-14
benmooo/zed-mcp-server-miaoduo202002025-09-04
lnay/zed-docker-compose220002025-03-16

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
maxbrunsfeld18
maxdeviant18
notpeter17
MrSubidubi16
JosephTLyons11
bennetbo9
jeffreyguenther7
leanhdung19947
kubkon6
probably-neb6
thedadams6
497e0bdf298735
bobrocke5
domokopter5
ferrao5
mocenigo5
osiewicz5
sigmaSd5
smitbarmase5
Blankeos4
SomeoneToIgnore4
WeetHet4
affanshahid4
akbxr4
arrrrny4

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