Loading...
Loading...
7 new projects with 51 stars.
19 day streak.
Coding for 12 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
IssueCommentEvent on devinvs/fuzzydate
February 4th, 2026 9:03 AM
opened issue in devinvs/fuzzydate
January 27th, 2026 11:47 AM
IssueCommentEvent on informalsystems/quint
January 22nd, 2026 7:06 PM
opened issue in informalsystems/quint
January 22nd, 2026 12:20 PM
opened pull request in informalsystems/quint
January 20th, 2026 2:12 PM
Pushed to patch-1 at fominok/quint
January 20th, 2026 2:12 PM
Forked informalsystems/quint
January 20th, 2026 1:59 PM
opened issue in devinvs/fuzzydate
January 10th, 2026 4:04 PM
IssueCommentEvent on Feel-ix-343/markdown-oxide
January 10th, 2026 2:01 PM
IssueCommentEvent on Feel-ix-343/markdown-oxide
January 10th, 2026 1:29 PM