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

Aktualisiert vor 1 Woche

Haskell program for my sway status bar.

Aktualisiert vor 1 Woche

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

Aktualisiert vor 1 Woche

tELegrAm bOT iNteGratiOn fOR mOCK

Aktualisiert vor 1 Monat

GReAt HAsKeLL tOOl to traNSFoRm TExt

Aktualisiert vor 1 Monat

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

Aktualisiert vor 1 Monat

My personal website.

Aktualisiert vor 1 Monat

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

Aktualisiert vor 1 Monat

My GHCI configuration.

Aktualisiert vor 2 Monaten

My solutions for the Advent of Code.

Aktualisiert vor 2 Monaten

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

Aktualisiert vor 2 Monaten

My logo.

Aktualisiert vor 2 Monaten

Aktualisiert vor 3 Monaten

An SVG graphic of a gem.

svg

Aktualisiert vor 4 Monaten

Miscellaneous script for my everyday usage.

Aktualisiert vor 5 Monaten

Testrepo

Aktualisiert vor 5 Monaten

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

Aktualisiert vor 5 Monaten

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

Aktualisiert vor 5 Monaten