Loading...
Loading...
10 day streak.
Coding for 9 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
opened pull request in agda/agda-stdlib
February 5th, 2026 11:40 PM
Created branch issue2921 in jamesmckinna/agda-stdlib
February 5th, 2026 11:34 PM
labeled pull request in agda/agda-stdlib
February 5th, 2026 10:27 PM
labeled pull request in agda/agda-stdlib
February 5th, 2026 10:19 PM
IssueCommentEvent on agda/agda-stdlib
February 5th, 2026 10:21 PM
opened pull request in agda/agda-stdlib
February 5th, 2026 10:19 PM
Created branch issue2931 in jamesmckinna/agda-stdlib
February 5th, 2026 10:17 PM
IssueCommentEvent on agda/agda-stdlib
February 5th, 2026 9:14 PM
IssueCommentEvent on agda/agda
February 5th, 2026 12:02 PM
opened issue in agda/agda-stdlib
February 5th, 2026 10:37 AM