Loading...
Loading...
15 new projects with 12 stars.
54 day streak.
Coding for 15 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
IssueCommentEvent on rocq-prover/rocq
February 2nd, 2026 3:05 PM
DeleteEvent on mit-pdos/perennial
February 1st, 2026 7:47 PM
Pushed to master at mit-pdos/perennial
February 1st, 2026 7:47 PM
IssueCommentEvent on mit-pdos/perennial
February 1st, 2026 6:06 PM
ReleaseEvent on tchajed/split-proposal
February 1st, 2026 4:33 AM
Pushed to main at tchajed/split-proposal
February 1st, 2026 4:28 AM
IssueCommentEvent on rocq-prover/rocq
January 29th, 2026 5:57 PM
Pushed to master at mit-pdos/perennial
January 29th, 2026 1:34 AM
IssueCommentEvent on mit-pdos/perennial
January 28th, 2026 7:02 PM
DeleteEvent on tchajed/interviews-web
January 27th, 2026 11:23 PM