The vague idea of a modern dependently-typed programming language.

Updated 5 days ago

My GHCI configuration.

Updated 1 week ago

GReAt HAsKeLL tOOl to traNSFoRm TExt

Updated 1 week ago

Ideas for a future innovative UI framework

Updated 2 weeks ago

Ideas for an innovative future OS.

Updated 2 weeks ago

Tool for managing multiple version control repositories

Updated 2 weeks ago

tELegrAm bOT iNteGratiOn fOR mOCK

Updated 3 weeks ago

A static blog generator written in Haskell and using Pandoc.

Updated 3 weeks ago

Miscellaneous script for my everyday usage.

Updated 4 weeks ago

Haskell program for my sway status bar.

Updated 4 weeks ago

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

Updated 4 weeks ago

My build script for the OpenWRT image builder.

Updated 1 month ago

Updated 1 month ago

An absolutely indispensable web application counting days.

Updated 1 month ago

Solutions to random programming puzzles

Updated 1 month ago

Unfinished Haskell version of Conways Game of Life

Updated 1 month ago

Updated 2 months ago

My private build plan for the Iosevka font.

Updated 4 months ago

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

Updated 5 months ago

An experimental browser because I am becoming increasingly annoyed with all the existing ones.

Updated 5 months ago