Miscellaneous script for my everyday usage.

Updated 2 weeks ago

Warehouse Management Server written in Haskell with Yesod

Updated 1 week ago

Updated 2 months ago

An SVG graphic of a gem.


Updated 10 months ago

Updated 3 months ago

My personal ZSH config with a pretty powerline-like prompt.

Updated 6 months ago

My build script for the OpenWRT image builder.

Updated 2 months ago

My private build plan for the Iosevka font.

Updated 5 months ago

Die Folien zu meinem Vortrag »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« für mein Proseminar bei Prof. Müller.

Updated 2 months ago

My solutions for the Advent of Code.

Updated 8 months ago

Tool for managing multiple version control repositories

Updated 1 day ago

Ideas for a future innovative UI framework

Updated 1 month ago

Flutter App for WMS

Updated 3 hours ago

Unfinished Haskell version of Conways Game of Life

Updated 2 months ago

Haskell program for my sway status bar.

Updated 3 days ago

A static blog generator written in Haskell and using Pandoc.

Updated 1 month ago

An absolutely indispensable web application counting days.

Updated 2 months ago

Stuff for automata (DFA, NFA, ε-NFA) written in Idris.

Updated 11 months ago

A Telegram bot that can run shell commands on the host.

Updated 8 months ago

My logo.

Updated 8 months ago