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

Updated 2 months ago

Testrepo

Updated 7 months ago

Haskell program for my sway status bar.

Updated 2 months ago

Miscellaneous script for my everyday usage.

Updated 7 months ago

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

Updated 7 months ago

My personal website.

Updated 3 months ago

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

Updated 2 months ago

tELegrAm bOT iNteGratiOn fOR mOCK

Updated 3 months ago

GReAt HAsKeLL tOOl to traNSFoRm TExt

Updated 3 months ago

My logo.

Updated 4 months ago

Updated 5 months ago

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

Updated 2 weeks ago

My private build plan for the Iosevka font.

Updated 1 month ago

My GHCI configuration.

Updated 4 months ago

An SVG graphic of a gem.

svg

Updated 6 months ago

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

Updated 3 months ago

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

Updated 7 months ago

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

Updated 4 months ago

My solutions for the Advent of Code.

Updated 4 months ago