Loading...
Loading...
14 day streak.
Coding for 14 years.
1709 contributions this year.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to main at FedericoPonzi/tlaplus-formatter
February 2nd, 2026 10:46 PM
opened issue in FedericoPonzi/tlaplus-formatter
February 2nd, 2026 8:14 PM
closed pull request in FedericoPonzi/tlaplus-formatter
October 27th, 2025 12:06 PM
PullRequestReviewEvent on tlaplus/vscode-tlaplus
January 27th, 2026 7:21 PM
PullRequestReviewEvent on tlaplus/vscode-tlaplus
January 27th, 2026 7:21 PM
PullRequestReviewCommentEvent on tlaplus/vscode-tlaplus
January 27th, 2026 7:14 PM
Pushed to main at FedericoPonzi/genereto
January 23rd, 2026 9:42 AM
Pushed to pr468 at FedericoPonzi/vscode-tlaplus
January 21st, 2026 10:24 AM
IssueCommentEvent on tlaplus/vscode-tlaplus
January 21st, 2026 10:23 AM
Pushed to pr468 at FedericoPonzi/vscode-tlaplus
January 21st, 2026 10:09 AM