Skip to content

active 2023-08-152024-07-24 (UTC) · 35 repositories

Complete coverage27,118 / 27,120 hourly files (100%) · 2 absent upstream2023-08-152026-09-17 (UTC)
Events
402
Pushes
249
Pull requests
12
Issues
1
Reviews
29
Repositories
35

Activity over time

Daily event counts in the loaded window

Line chart, 345 days from 2023-08-15 to 2024-07-24. Pushes: 249 total, peak 15 in a day. Pull requests: 12 total, peak 4 in a day. Issues: 1 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
herbie-fp/herbie230151110392024-07-17
wags-1314/wags-1314.github.io42420002024-07-24
wags-1314/anemone26260002024-03-11
wags-1314/cs6110-final-project550002024-04-25
greghendershott/racket-mode500142024-01-12
wags-1314/browser440002024-04-23
wags-1314/.emacs.d440002024-01-15
wags-1314/brim440002024-01-31
wags-1314/.dotfiles440002024-02-26
wags-1314/herbie220002023-08-30
wags-1314/wags-1314220002024-03-20
wags-1314/sudoku-racket110002024-01-29
wags-1314/economancy110002024-02-26
FPBench/FPBench101002023-12-31
wags-1314/lean-gitpod110002024-02-13
wags-1314/resume-pandoc110002024-01-16
wags-1314/FPBench110002023-12-31
wags-1314/verified-imp000002024-02-21
anuvyklack/hydra.nvim000002024-02-16
egraphs-good/egg000002023-10-04
Speyll/anemone000002023-12-01
valkey-io/valkey000002024-04-02
edkolev/evil-goggles000002024-03-21
utahplt/lean-gitpod000002024-02-13
IanBriggs/megalibm000002024-03-23
wags-1314/sudou-racket000002024-01-29
john-bokma/resume-pandoc000002024-01-16
PrefectHQ/marvin000002024-03-17
google-research/dex-lang000002024-05-23
enso-org/enso000002024-02-03
PythonNut/evil-easymotion000002024-03-21
VanLaser/evil-nl-break-undo000002024-03-21
throwaway69420-69420/personal-website000002023-12-01
emacs-evil/evil-surround000002024-03-21
redguardtoo/evil-matchit000002024-03-21

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

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