Skip to content

active 2023-10-05 → 2025-02-07 (UTC) · 52 repositories

Complete coverage27,591 / 27,591 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-07 (UTC)
Events
266
Pushes
120
Pull requests
19
Issues
38
Reviews
0
Repositories
52

Activity over time

Daily event counts in the loaded window

Line chart, 492 days from 2023-10-05 to 2025-02-07. Pushes: 120 total, peak 8 in a day. Pull requests: 19 total, peak 5 in a day. Issues: 38 total, peak 4 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 · top 50

RepositoryContributionsPushesPRsIssuesCommentsLast seen
andrewchawk/casanova-fly865813782024-10-29
andrewchawk/gender-definitions-1371901082025-02-07
andrewchawk/casanova18130412024-07-31
onestruggler/short-intro-reflection1021252024-08-14
andrewchawk/short-intro-reflection770002024-08-13
andrewchawk/andrewchawk660002024-12-16
andrewchawk/coq-tutorial622112024-08-16
andrewchawk/OpenBSD532002024-08-08
andrewchawk/newtonX500412023-11-14
Educorreia932/Chique400132024-09-25
andrewchawk/djun-1330002024-12-02
andrewchawk/mathcan320102023-11-09
andrewchawk/casanova-0220002024-12-04
andrewchawk/a-partial-order-on-elections210102024-10-02
andrewchawk/java-for-haskellers210102024-04-03
andrewchawk/portcullis200112023-10-10
andrewchawk/funcl200202023-11-29
onestruggler/coq-tutorial101002024-07-31
zgmartin/magic-word100012024-08-01
OpenJML/OpenJML100102024-04-11
andrewchawk/cl-xmpp100102023-11-08
andrewchawk/hocket110002023-10-23
danwdart/hs-digits100102023-10-05
andrewchawk/type-theory-topology000002024-08-08
sellout/quid-pro-quo000002024-04-16
andrewchawk/Clever-Networking-for-Agda000002024-05-17
atlas-engineer/cl-xmpp000002023-11-08
markus1189/hocket000002023-10-05
jespercockx/agda-core000002024-08-01
chrisgrounds/newtonX000002023-11-14
MostAwesomeDude/brismu000002024-08-12
checkra1n/PongoOS000002024-11-12
susam/mathb000002023-11-02
selwynsimsek/funcl000002023-11-15
nklein/galois-fields000002023-11-08
openbsd/src000002024-08-08
plclub/hs-to-coq000002023-10-31
lynn/lidysisku000002024-08-30
PureDarwin/PureDarwin000002024-09-10
shrdlu68/cl-tls000002023-11-08
jzwood/portcullis000002023-10-05
andrewchawk/jticker000002024-04-15
SlimTim10/haskell-invoice000002023-10-06
andrewchawk/latex-generic-section-environments000002025-02-05
AndreiUlmeyda/countdown-bar000002023-10-16
andrewchawk/java-unix-utils000002024-04-04
agda/agda-categories000002024-09-30
metio/reguloj000002024-04-02
catseye/Emmental000002023-10-16
StefanLapointe/chem-balance000002024-09-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

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