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

Mis à jour il y a 1 semaine

Haskell program for my sway status bar.

Mis à jour il y a 1 semaine

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

Mis à jour il y a 1 semaine

tELegrAm bOT iNteGratiOn fOR mOCK

Mis à jour il y a 1 mois

GReAt HAsKeLL tOOl to traNSFoRm TExt

Mis à jour il y a 1 mois

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

Mis à jour il y a 1 mois

My personal website.

Mis à jour il y a 1 mois

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

Mis à jour il y a 1 mois

My GHCI configuration.

Mis à jour il y a 2 mois

My solutions for the Advent of Code.

Mis à jour il y a 2 mois

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

Mis à jour il y a 2 mois

My logo.

Mis à jour il y a 2 mois

Mis à jour il y a 3 mois

An SVG graphic of a gem.

svg

Mis à jour il y a 4 mois

Miscellaneous script for my everyday usage.

Mis à jour il y a 5 mois

Testrepo

Mis à jour il y a 5 mois

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

Mis à jour il y a 5 mois

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

Mis à jour il y a 5 mois