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

Geupdate 2 weken geleden

My private build plan for the Iosevka font.

Geupdate 1 maand geleden

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

Geupdate 2 maanden geleden

Haskell program for my sway status bar.

Geupdate 2 maanden geleden

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

Geupdate 2 maanden geleden

tELegrAm bOT iNteGratiOn fOR mOCK

Geupdate 3 maanden geleden

GReAt HAsKeLL tOOl to traNSFoRm TExt

Geupdate 3 maanden geleden

My personal website.

Geupdate 3 maanden geleden

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

Geupdate 3 maanden geleden

My GHCI configuration.

Geupdate 4 maanden geleden

My solutions for the Advent of Code.

Geupdate 4 maanden geleden

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

Geupdate 4 maanden geleden

My logo.

Geupdate 4 maanden geleden

Geupdate 5 maanden geleden

An SVG graphic of a gem.

svg

Geupdate 6 maanden geleden

Miscellaneous script for my everyday usage.

Geupdate 7 maanden geleden

Testrepo

Geupdate 7 maanden geleden

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

Geupdate 7 maanden geleden

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

Geupdate 7 maanden geleden