tELegrAm bOT iNteGratiOn fOR mOCK

Actualizado hace 16 horas

GReAt HAsKeLL tOOl to traNSFoRm TExt

Actualizado hace 17 horas

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

Actualizado hace 1 día

A static blog generator written in Haskell and using Pandoc.

Actualizado hace 3 días

Ideas for an innovative future OS.

Actualizado hace 5 días

Miscellaneous script for my everyday usage.

Actualizado hace 1 semana

Haskell program for my sway status bar.

Actualizado hace 1 semana

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

Actualizado hace 1 semana

My build script for the OpenWRT image builder.

Actualizado hace 1 semana

Actualizado hace 1 semana

An absolutely indispensable web application counting days.

Actualizado hace 2 semanas

Solutions to random programming puzzles

Actualizado hace 3 semanas

Unfinished Haskell version of Conways Game of Life

Actualizado hace 3 semanas

Actualizado hace 1 mes

My private build plan for the Iosevka font.

Actualizado hace 4 meses

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

Actualizado hace 4 meses

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

Actualizado hace 4 meses

My personal website.

Actualizado hace 5 meses

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

Actualizado hace 6 meses

My GHCI configuration.

Actualizado hace 6 meses