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

Atualizado 1 semana atrás

Haskell program for my sway status bar.

Atualizado 1 semana atrás

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

Atualizado 1 semana atrás

tELegrAm bOT iNteGratiOn fOR mOCK

Atualizado 1 mês atrás

GReAt HAsKeLL tOOl to traNSFoRm TExt

Atualizado 1 mês atrás

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

Atualizado 1 mês atrás

My personal website.

Atualizado 1 mês atrás

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

Atualizado 1 mês atrás

My GHCI configuration.

Atualizado 2 meses atrás

My solutions for the Advent of Code.

Atualizado 2 meses atrás

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

Atualizado 2 meses atrás

My logo.

Atualizado 2 meses atrás

Atualizado 3 meses atrás

An SVG graphic of a gem.

svg

Atualizado 4 meses atrás

Miscellaneous script for my everyday usage.

Atualizado 5 meses atrás

Testrepo

Atualizado 5 meses atrás

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

Atualizado 5 meses atrás

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

Atualizado 5 meses atrás