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