Loading...
Loading...
32 day streak.
Coding for 13 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
IssueCommentEvent on agda/agda-stdlib
February 4th, 2026 11:28 PM
IssueCommentEvent on agda/agda
February 3rd, 2026 11:50 AM
DeleteEvent on ncfavier/nixpkgs
February 3rd, 2026 1:16 AM
merged pull request in NixOS/nixpkgs
February 3rd, 2026 1:16 AM
opened pull request in NixOS/nixpkgs
February 2nd, 2026 11:42 PM
Created branch unmaintain in ncfavier/nixpkgs
February 2nd, 2026 11:42 PM
PullRequestReviewEvent on NixOS/nixpkgs
February 1st, 2026 8:57 PM
IssueCommentEvent on NixOS/nixpkgs
February 1st, 2026 1:47 PM
IssueCommentEvent on NixOS/nixpkgs
February 1st, 2026 1:45 PM
closed issue in NixOS/nixpkgs
February 1st, 2026 1:45 PM