Loading...
Loading...
PhD student at @se-tuebingen. Interested in effect and coeffect systems.
25 day streak.
Coding for 11 years.
1492 contributions this year.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
labeled issue in effekt-lang/effekt
February 6th, 2026 1:36 PM
IssueCommentEvent on effekt-lang/effekt
February 6th, 2026 1:22 PM
merged pull request in effekt-lang/effekt
February 3rd, 2026 3:58 PM
DeleteEvent on jiribenes/effekt-nix
February 2nd, 2026 7:54 AM
Pushed to main at jiribenes/effekt-nix
February 2nd, 2026 7:54 AM
DeleteEvent on jiribenes/effekt-nix
February 2nd, 2026 7:53 AM
Pushed to main at jiribenes/effekt-nix
February 2nd, 2026 7:53 AM
Pushed to main at jiribenes/effekt-template
January 28th, 2026 9:32 PM
PullRequestReviewEvent on effekt-lang/effekt
January 28th, 2026 9:24 PM
PullRequestReviewCommentEvent on effekt-lang/effekt
January 28th, 2026 9:24 PM