tELegrAm bOT iNteGratiOn fOR mOCK

Обновлено 16 часов назад

GReAt HAsKeLL tOOl to traNSFoRm TExt

Обновлено 17 часов назад

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

Обновлено 1 день назад

A static blog generator written in Haskell and using Pandoc.

Обновлено 3 дней назад

Ideas for an innovative future OS.

Обновлено 5 дней назад

Miscellaneous script for my everyday usage.

Обновлено 1 неделю назад

Haskell program for my sway status bar.

Обновлено 1 неделю назад

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

Обновлено 1 неделю назад

My build script for the OpenWRT image builder.

Обновлено 1 неделю назад

Обновлено 1 неделю назад

An absolutely indispensable web application counting days.

Обновлено 2 недель назад

Solutions to random programming puzzles

Обновлено 3 недель назад

Unfinished Haskell version of Conways Game of Life

Обновлено 3 недель назад

Обновлено 1 месяц назад

My private build plan for the Iosevka font.

Обновлено 4 месяцев назад

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

Обновлено 4 месяцев назад

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

Обновлено 4 месяцев назад

My personal website.

Обновлено 5 месяцев назад

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

Обновлено 6 месяцев назад

My GHCI configuration.

Обновлено 6 месяцев назад