Skip to content

HechtiDerLachs

View on GitHub ↗

active 2023-08-15 → 2026-09-30 (UTC) · 27 repositories

Complete coverage27,999 / 27,999 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-24 (UTC)
Events
2.9K
Pushes
1.1K
Pull requests
195
Issues
36
Reviews
459
Repositories
27

Activity over time

Daily event counts in the loaded window

Line chart, 1143 days from 2023-08-15 to 2026-09-30. Pushes: 1,051 total, peak 21 in a day. Pull requests: 195 total, peak 7 in a day. Issues: 36 total, peak 4 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
oscar-system/Oscar.jl1,63536183359372026-09-30
HechtiDerLachs/Oscar.jl8918881012026-09-30
tom111/Oscar.jl36360002025-05-21
Nemocas/AbstractAlgebra.jl29031152025-05-23
afkafkafk13/Oscar.jl19190002024-03-19
HechtiDerLachs/AbstractAlgebra.jl16160002025-05-23
thofma/Hecke.jl902052025-10-06
HechtiDerLachs/icms-conference.github.io990002024-07-22
paemurru/Oscar.jl990002024-03-08
HechtiDerLachs/HechtiDerLachs.github.io770002026-02-18
ICMS-conference/icms-conference.github.io705022024-07-22
ederc/Oscar.jl770002025-05-08
HereAround/Oscar.jl660002025-11-12
HechtiDerLachs/Hecke.jl550002025-10-01
oscar-system/oscar-website400032025-03-18
RafaelDavidMohr/Oscar.jl440002024-09-25
bkholler/Oscar.jl220002025-10-03
JohnAAbbott/Oscar.jl220002023-08-23
HechtiDerLachs/OscarTutorials110002024-07-25
emikelsons/Oscar.jl110002025-06-30
AlheydisGeiger/Oscar.jl101002025-11-12
oscar-system/Singular.jl100002024-09-25
jankoboehm/Oscar.jl110002026-05-22
bschroter/oscar-matroids110002023-11-08
HechtiDerLachs/oscar-website110002025-03-18
HechtiDerLachs/Singular.jl000002026-04-29
HechtiDerLachs/Nemo.jl000002026-05-07

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
lgoettgens14
HereAround10
fingolfin9
joschmitt8
lkastner8
thofma8
YueRen7
afkafkafk137
antonydellavecchia7
simonbrandhorst7
JohnAAbbott6
aaruni966
benlorenz6
ederc6
paemurru6
ThomasBreuer5
emikelsons5
JuliaRegistrator4
JuliaTagBot4
Lax2024
SoongNoonien4
StevellM4
felix-roehrich4
fieker4
jamesnohilly4

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