Loading...
Loading...
9 day streak.
Coding for 16 years.
216 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
PullRequestReviewEvent on FStarLang/FStar
February 5th, 2026 6:18 AM
PullRequestReviewCommentEvent on FStarLang/FStar
February 5th, 2026 6:18 AM
DeleteEvent on FStarLang/FStar
February 5th, 2026 1:36 AM
Pushed to master at FStarLang/FStar
February 5th, 2026 1:36 AM
merged pull request in FStarLang/FStar
February 5th, 2026 1:36 AM
Pushed to gebner_goto at FStarLang/pulse
February 5th, 2026 1:22 AM
opened pull request in FStarLang/FStar
February 5th, 2026 1:03 AM
Created branch gebner_rm_debug_any in FStarLang/FStar
February 5th, 2026 1:01 AM
Pushed to gebner_goto at FStarLang/pulse
February 4th, 2026 11:41 PM
Pushed to gebner_goto at FStarLang/pulse
February 4th, 2026 11:32 PM