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

Updated 32 minutes ago

Ideas for an innovative future OS.

Updated 4 days ago

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

Updated 5 days ago

Solutions to random programming puzzles

Updated 3 weeks ago

Unfinished Haskell version of Conways Game of Life

Updated 3 weeks ago

My solutions for the Advent of Code.

Updated 6 months ago

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

Updated 10 months ago