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 personal ZSH config with a pretty powerline-like prompt.
Updated 2 months ago
Haskell program for my sway status bar.
Updated 2 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 personal website.
Updated 3 months ago
A Telegram bot that can run shell commands on the host.
Updated 3 months ago
My GHCI configuration.
Updated 4 months ago
My solutions for the Advent of Code.
Updated 4 months ago
my solutions for advent of code
trying out diffrent programming languages and concepts
Updated 4 months ago
My logo.
Updated 4 months ago
An SVG graphic of a gem.
Updated 6 months ago
Miscellaneous script for my everyday usage.
Updated 7 months ago
Testrepo
Updated 7 months ago
Hooks for the pacman package manager that keep the package cache clean.
Updated 7 months ago
Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
Updated 7 months ago
