Skip to content

active 2023-08-152025-01-09 (UTC) · 6 repositories

Complete coverage26,623 / 26,623 hourly files (100%) · 2 absent upstream2023-08-152026-08-28 (UTC)
Events
266
Pushes
176
Pull requests
21
Issues
0
Reviews
26
Repositories
6

Activity over time

Daily event counts in the loaded window

Line chart, 514 days from 2023-08-15 to 2025-01-09. Pushes: 176 total, peak 19 in a day. Pull requests: 21 total, peak 5 in a day. Issues: 0 total, peak 0 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
Kfwullaert/UniMath1571468032025-01-07
UniMath/UniMath65060332025-01-09
Kfwullaert/kfwullaert.github.io28280002024-11-11
nmvdw/UniMath606002025-01-06
DutchCATS/dutchcats.github.io220002023-09-03
benediktahrens/CT4P101002024-09-18

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.