An experimental browser because I am becoming increasingly annoyed with all the existing ones.
Updated 1 week ago
The vague idea of a modern dependently-typed programming language.
Updated 1 month ago
A Telegram bot that can run shell commands on the host.
Updated 1 month ago
my solutions for advent of code trying out diffrent programming languages and concepts
Updated 2 months ago
Updated 3 months ago
Hooks for the pacman package manager that keep the package cache clean.
Updated 5 months ago
Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
Updated 5 months ago