Explore projects
-
-
-
-
-
-
Ideas for a browser because I'm becoming increasingly annoyed with all the existing ones.
Updated -
-
-
Hooks for the pacman package manager that keep the package cache clean.
Updated -
-
-
App for my warehouse management system, using voice control, written in Flutter.
Updated -
-
A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.
Updated -
-
A Telegram bot that can run shell commands on the host.
Updated -
-
Updated
-
-
The algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.
Updated