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

Päivitetty 1 viikko sitten

Haskell program for my sway status bar.

Päivitetty 1 viikko sitten

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

Päivitetty 1 viikko sitten

tELegrAm bOT iNteGratiOn fOR mOCK

Päivitetty 1 kuukausi sitten

GReAt HAsKeLL tOOl to traNSFoRm TExt

Päivitetty 1 kuukausi sitten

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

Päivitetty 1 kuukausi sitten

My personal website.

Päivitetty 1 kuukausi sitten

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

Päivitetty 1 kuukausi sitten

My GHCI configuration.

Päivitetty 2 kuukautta sitten

My solutions for the Advent of Code.

Päivitetty 2 kuukautta sitten

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

Päivitetty 2 kuukautta sitten

My logo.

Päivitetty 2 kuukautta sitten

Päivitetty 3 kuukautta sitten

An SVG graphic of a gem.

svg

Päivitetty 4 kuukautta sitten

Miscellaneous script for my everyday usage.

Päivitetty 5 kuukautta sitten

Testrepo

Päivitetty 5 kuukautta sitten

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

Päivitetty 5 kuukautta sitten

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

Päivitetty 5 kuukautta sitten