Skip to content

active 2023-08-19 → 2025-01-22 (UTC) · 8 repositories

Complete coverage27,398 / 27,398 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-29 (UTC)
Events
165
Pushes
66
Pull requests
38
Issues
2
Reviews
2
Repositories
8

Activity over time

Daily event counts in the loaded window

Line chart, 523 days from 2023-08-19 to 2025-01-22. Pushes: 66 total, peak 6 in a day. Pull requests: 38 total, peak 3 in a day. Issues: 2 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
coq-community/hydra-battles10455361102025-01-22
coq-community/coq-art1081012024-01-03
thery/coqprime401122023-10-06
coq/coq300032024-01-07
cpitclaudel/alectryon200022024-01-06
Casteran/alectryonFix220002024-01-06
Casteran/coqprime110002023-10-06
DmxLarchey/Hydra000002023-10-17

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.