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

Updated 11 months ago

Hooks for the pacman package manager that keep the package cache clean.

Updated 11 months ago

Testrepo

Updated 11 months ago

An SVG graphic of a gem.

svg

Updated 10 months ago

My logo.

Updated 8 months ago

my solutions for advent of code trying out diffrent programming languages and concepts

Updated 8 months ago

My solutions for the Advent of Code.

Updated 8 months ago

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

Updated 8 months ago

My personal website.

Updated 7 months ago

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

Updated 6 months ago

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

Updated 6 months ago

My private build plan for the Iosevka font.

Updated 5 months ago

Updated 3 months ago

Unfinished Haskell version of Conways Game of Life

Updated 2 months ago

Solutions to random programming puzzles

Updated 2 months ago

An absolutely indispensable web application counting days.

Updated 2 months ago

Updated 2 months ago

My build script for the OpenWRT image builder.

Updated 2 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

A static blog generator written in Haskell and using Pandoc.

Updated 1 month ago