Skip to content

active 2023-09-10 → 2024-10-12 (UTC) · 7 repositories

Complete coverage27,563 / 27,563 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-06 (UTC)
Events
86
Pushes
69
Pull requests
4
Issues
1
Reviews
0
Repositories
7

Activity over time

Daily event counts in the loaded window

Line chart, 399 days from 2023-09-10 to 2024-10-12. Pushes: 69 total, peak 10 in a day. Pull requests: 4 total, peak 2 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
Genlight/lhTest60582002024-05-16
Genlight/wAVL-trees770002024-10-12
ucsd-progsys/lh-plugin-demo602132024-05-29
Genlight/demo-app_freeHeat220002023-10-02
Genlight/lh-plugin-demo220002024-05-15
ucsd-progsys/liquidhaskell200022024-05-23
magic-research/magic-animate000002023-12-06

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.