Loading...
Loading...
Coding for 18 years.
229 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
DeleteEvent on masak/mozzarella-programming-language
February 8th, 2026 9:35 AM
merged pull request in masak/mozzarella-programming-language
February 8th, 2026 9:28 AM
Pushed to main at masak/mozzarella-programming-language
February 8th, 2026 9:28 AM
opened pull request in masak/mozzarella-programming-language
February 8th, 2026 9:25 AM
Created branch masak/lex in masak/mozzarella-programming-language
February 8th, 2026 9:22 AM
Pushed to main at masak/mozzarella-programming-language
February 6th, 2026 3:55 PM
Pushed to main at masak/mozzarella-programming-language
February 4th, 2026 2:14 PM
IssueCommentEvent on masak/alma
January 29th, 2026 7:15 AM
IssueCommentEvent on masak/alma
January 29th, 2026 7:10 AM
opened pull request in emilyriehl/ReintroductionToProofs
January 29th, 2026 1:19 AM