Skip to content

active 2023-08-24 → 2026-05-26 (UTC) · 53 repositories

Complete coverage27,428 / 27,428 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-30 (UTC)
Events
276
Pushes
120
Pull requests
30
Issues
12
Reviews
11
Repositories
53

Activity over time

Daily event counts in the loaded window

Line chart, 1007 days from 2023-08-24 to 2026-05-26. Pushes: 120 total, peak 9 in a day. Pull requests: 30 total, peak 3 in a day. Issues: 12 total, peak 2 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
mzacho/claudia674744122025-08-24
NixOS/nixpkgs28050162025-02-19
mzacho/hacspec-v217170002023-11-15
hacspec/hax1705742024-10-05
mzacho/nixpkgs17170002025-01-31
rust-lang/rust1004052025-02-06
mzacho/rust770002025-03-22
mzacho/nixos-configuration660002025-04-10
mzacho/ztunnel550002026-05-26
istio/ztunnel501032026-04-13
ajeetdsouza/zoxide402022024-11-28
mzacho/FStar440002023-11-13
mzacho/payment-engine330002024-08-14
karthink/gptel301022025-10-03
rust-lang/rustfmt300122024-03-31
mzacho/refinement-types211002024-11-12
FStarLang/FStar200012023-11-13
hacspec/hacspec-v2200022023-10-18
melpa/melpa201012024-10-29
mzacho/hacspec220002023-10-20
mzacho/knapsack-service220002024-09-16
mzacho/zoxide220002024-07-15
hacspec/book101002023-10-13
google/cel-cpp100012025-09-18
lapets/egcd101002024-02-25
direnv/direnv101002023-09-18
hacspec/hacspec101002023-10-16
mzacho/threshold-ecdsa110002024-01-03
mzacho/rustc-dev-guide110002025-01-21
mzacho/cel-cpp110002025-09-18
mzacho/egcd110002024-02-25
mzacho/hacspec-book110002023-10-13
cs-au-dk/TIP101002024-11-12
emacs-lsp/lsp-java101002024-11-12
mzacho/melrose110002024-08-09
mzacho/direnv110002023-09-18
vihemy/portfolio000002024-11-14
garritfra/qbe-rs000002024-12-13
jonas/tig000002023-08-27
leandromoreira/linux-network-performance-parameters000002023-09-06
mzacho/mini-ram000002025-04-29
mzacho/melpa000002024-10-20
muse-sequencer/muse000002023-08-24
grafana/k6000002025-03-09
xldenis/creusot000002023-10-23
NeverCease/uchu000002025-02-17
numtide/nixos-anywhere000002023-08-30
viperproject/prusti-dev000002023-10-23
bytecodealliance/wasm-micro-runtime000002024-12-13
jakoblundoe/jl-portfolio000002024-11-14

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
W95Psp6
karthikbhargavan5
LuigiPiucco4
Oughie4
Stebalien4
bew4
eval-exec4
franziskuskiefer4
jgarte4
jyn5144
msrd04
musjj4
pnmadelaine4
samueltardieu4
theoparis4
tristan9574
yshui4
52252253
9999years3
Celibistrial3
CobaltCause3
Dietr1ch3
Ericson23143
GoldsteinE3
GuillaumeGomez3

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