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

Updated 1 month ago

Ideas for a future innovative UI framework

Updated 1 month ago

Ideas for an innovative future OS.

Updated 1 month 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

Solutions to random programming puzzles

Updated 2 months ago

Unfinished Haskell version of Conways Game of Life

Updated 2 months ago

My solutions for the Advent of Code.

Updated 8 months ago

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

Updated 11 months ago