Skip to content

TheodoreEhrenborg

View on GitHub ↗

active 2023-08-26 → 2026-08-15 (UTC) · 100 repositories

Complete coverage27,293 / 27,296 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-25 (UTC)
Events
1.6K
Pushes
698
Pull requests
105
Issues
37
Reviews
169
Repositories
100

Activity over time

Daily event counts in the loaded window

Line chart, 1086 days from 2023-08-26 to 2026-08-15. Pushes: 744 total, peak 25 in a day. Pull requests: 115 total, peak 5 in a day. Issues: 37 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 · top 50

RepositoryContributionsPushesPRsIssuesCommentsLast seen
Beneficial-AI-Foundation/vericoding347134471982025-10-20
Beneficial-AI-Foundation/dalek-lite33410418181402025-11-29
TheodoreEhrenborg/sae_hacking2132130002025-04-20
Beneficial-AI-Foundation/curve25519-dalek12549160332025-08-11
Beneficial-AI-Foundation/curve25519-dalek-lean-verify528411202025-11-29
TheodoreEhrenborg/homepage29290002026-02-20
TheodoreEhrenborg/tiny_stories_sae23230002025-04-20
TheodoreEhrenborg/falling_leaves21210002024-07-03
Beneficial-AI-Foundation/refined_c_bignums14140002025-09-07
dalek-cryptography/curve25519-dalek1202072025-11-10
TheodoreEhrenborg/wasm-prime970002026-04-04
TheodoreEhrenborg/tiny_stories_finetune990002025-04-20
Beneficial-AI-Foundation/dalek-lean-ai880002025-11-28
TheodoreEhrenborg/macmahon770002025-05-04
TheodoreEhrenborg/tiny_stories_rl770002025-04-20
verus-lang/verus701332025-11-07
Beneficial-AI-Foundation/verus_bn631012025-09-07
TheodoreEhrenborg/ishango440002025-08-10
Beneficial-AI-Foundation/dafny-bignums440002025-09-07
avigad/mathematics_in_lean_source402022023-09-05
TheodoreEhrenborg/llama_sleeper_agent440002025-02-11
TheodoreEhrenborg/morse-listener440002026-07-26
TheodoreEhrenborg/phutball-rust440002026-05-07
TheodoreEhrenborg/pivotal_sae440002025-08-14
TheodoreEhrenborg/zhangchao440002026-05-24
Beneficial-AI-Foundation/code2verus410012025-08-29
TheodoreEhrenborg/heated_ranking330002026-03-07
UKGovernmentBEIS/inspect_ai301012025-04-30
AidanWelch/ProgressiveImmersion300212023-12-26
TheodoreEhrenborg/uv_docker_template220002025-05-09
TheodoreEhrenborg/julia_cuda_shell220002024-03-30
TheodoreEhrenborg/quaternion_paper220002024-11-23
TheodoreEhrenborg/random_stock220002025-03-15
martinvonz/jj201012024-10-03
Beneficial-AI-Foundation/atomization200002025-06-23
pytorch/pytorch202002025-03-16
swadey/LispSyntax.jl201012024-02-28
TheodoreEhrenborg/jj220002024-10-03
TheodoreEhrenborg/public_dotfiles220002026-06-23
TheodoreEhrenborg/elm-to-gh-pages220002024-05-27
verus-lang/verusfmt201102025-10-24
TheodoreEhrenborg/python_docker_template220002024-09-29
Beneficial-AI-Foundation/verus_bash110002025-09-07
EleutherAI/minetest101002023-12-13
TheodoreEhrenborg/pytorch110002025-03-16
TheodoreEhrenborg/colorful_cloze_hide_all110002024-03-09
EleutherAI/delphi100002025-12-20
TheodoreEhrenborg/DALI110002024-02-28
NixOS/nixpkgs101002024-07-21
TheodoreEhrenborg/docker_template110002024-03-30

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
astefano9
Kukovec5
oliver-butterley5
quinn-dougherty5
shaoweilin5
9999years4
JasonGross4
PerchunPak4
YDX-21474836474
alerque4
alok4
dpc4
fivemhostingserver4
fivemtebex4
ilyagr4
sbursuc4
0-wiz-03
2393
AidanWelch3
BurntSushi3
CLAassistant3
ConnorBaker3
DD5HT3
Dietr1ch3
EmilyGraceSeville7cf3

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