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

Updated 6 months ago

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

Updated 6 months ago

My personal website.

Updated 7 months ago

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

Updated 8 months ago

My solutions for the Advent of Code.

Updated 8 months ago

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

Updated 8 months ago

My logo.

Updated 8 months ago

An SVG graphic of a gem.

svg

Updated 10 months ago

Testrepo

Updated 11 months ago

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

Updated 11 months ago

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

Updated 11 months ago