tELegrAm bOT iNteGratiOn fOR mOCK

Atualizado 16 horas atrás

GReAt HAsKeLL tOOl to traNSFoRm TExt

Atualizado 16 horas atrás

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

Atualizado 1 dia atrás

A static blog generator written in Haskell and using Pandoc.

Atualizado 3 dias atrás

Ideas for an innovative future OS.

Atualizado 5 dias atrás

Miscellaneous script for my everyday usage.

Atualizado 1 semana atrás

Haskell program for my sway status bar.

Atualizado 1 semana atrás

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

Atualizado 1 semana atrás

My build script for the OpenWRT image builder.

Atualizado 1 semana atrás

Atualizado 1 semana atrás

An absolutely indispensable web application counting days.

Atualizado 2 semanas atrás

Solutions to random programming puzzles

Atualizado 3 semanas atrás

Unfinished Haskell version of Conways Game of Life

Atualizado 3 semanas atrás

Atualizado 1 mês atrás

My private build plan for the Iosevka font.

Atualizado 4 meses atrás

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

Atualizado 4 meses atrás

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

Atualizado 4 meses atrás

My personal website.

Atualizado 5 meses atrás

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

Atualizado 6 meses atrás

My GHCI configuration.

Atualizado 6 meses atrás