tELegrAm bOT iNteGratiOn fOR mOCK
Updated 16 hours ago
GReAt HAsKeLL tOOl to traNSFoRm TExt
Updated 17 hours ago
The vague idea of a modern dependently-typed programming language.
Updated 1 day ago
A static blog generator written in Haskell and using Pandoc.
Updated 3 days ago
Ideas for an innovative future OS.
Updated 5 days ago
Miscellaneous script for my everyday usage.
Updated 1 week ago
Haskell program for my sway status bar.
Updated 1 week ago
Die Folien zu meinem Vortrag »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« für mein Proseminar bei Prof. Müller.
Updated 1 week ago
My build script for the OpenWRT image builder.
Updated 1 week ago
An absolutely indispensable web application counting days.
Updated 2 weeks ago
Solutions to random programming puzzles
Updated 3 weeks ago
Unfinished Haskell version of Conways Game of Life
Updated 3 weeks ago
My private build plan for the Iosevka font.
Updated 4 months ago
My personal ZSH config with a pretty powerline-like prompt.
Updated 4 months ago
An experimental browser because I am becoming increasingly annoyed with all the existing ones.
Updated 4 months ago
My personal website.
Updated 5 months ago
A Telegram bot that can run shell commands on the host.
Updated 6 months ago
My GHCI configuration.
Updated 6 months ago
