Loading...
Loading...
i care about linux desktop protocols, open social media, programming languages and mathematics.
Coding for 13 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to unsupported at 4e554c4c/sway
February 3rd, 2026 10:26 AM
Pushed to unsupported at 4e554c4c/sway
February 3rd, 2026 10:25 AM
IssueCommentEvent on swaywm/sway
February 2nd, 2026 10:13 PM
Pushed to unsupported at 4e554c4c/sway
February 2nd, 2026 4:42 PM
opened pull request in swaywm/sway
February 2nd, 2026 4:40 PM
Pushed to unsupported at 4e554c4c/sway
February 2nd, 2026 4:22 PM
Pushed to multi at 4e554c4c/1lab
January 28th, 2026 4:43 PM
labeled issue in agda/cornelis
January 28th, 2026 12:08 PM
closed issue in agda/cornelis
January 28th, 2026 12:08 PM
IssueCommentEvent on agda/cornelis
January 28th, 2026 12:08 PM