tELegrAm bOT iNteGratiOn fOR mOCK

Mis à jour il y a 16 heures

GReAt HAsKeLL tOOl to traNSFoRm TExt

Mis à jour il y a 17 heures

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

Mis à jour il y a 1 jour

A static blog generator written in Haskell and using Pandoc.

Mis à jour il y a 3 jours

Ideas for an innovative future OS.

Mis à jour il y a 5 jours

Miscellaneous script for my everyday usage.

Mis à jour il y a 1 semaine

Haskell program for my sway status bar.

Mis à jour il y a 1 semaine

Die Folien zu meinem Vortrag »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« für mein Proseminar bei Prof. Müller.

Mis à jour il y a 1 semaine

My build script for the OpenWRT image builder.

Mis à jour il y a 1 semaine

Mis à jour il y a 1 semaine

An absolutely indispensable web application counting days.

Mis à jour il y a 2 semaines

Solutions to random programming puzzles

Mis à jour il y a 3 semaines

Unfinished Haskell version of Conways Game of Life

Mis à jour il y a 3 semaines

Mis à jour il y a 1 mois

My private build plan for the Iosevka font.

Mis à jour il y a 4 mois

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

Mis à jour il y a 4 mois

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

Mis à jour il y a 4 mois

My personal website.

Mis à jour il y a 5 mois

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

Mis à jour il y a 6 mois

My GHCI configuration.

Mis à jour il y a 6 mois