Loading...
Loading...
Avg 11.7 stars per repo.
26 day streak.
Coding for 14 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
IssueCommentEvent on agda/agda-stdlib
February 5th, 2026 10:30 PM
PullRequestReviewEvent on agda/agda-stdlib
February 5th, 2026 10:29 PM
IssueCommentEvent on agda/agda-categories
February 5th, 2026 10:28 PM
IssueCommentEvent on agda/agda-stdlib
February 5th, 2026 8:23 PM
IssueCommentEvent on agda/agda-stdlib
February 5th, 2026 8:15 PM
IssueCommentEvent on agda/agda
February 5th, 2026 8:09 PM
labeled issue in agda/agda-stdlib
February 5th, 2026 8:08 PM
labeled issue in agda/agda-stdlib
February 5th, 2026 8:08 PM
opened issue in agda/agda-stdlib
February 5th, 2026 8:08 PM
labeled issue in agda/agda-stdlib
February 5th, 2026 8:04 PM