tELegrAm bOT iNteGratiOn fOR mOCK

Последна модификация преди 16 часа

GReAt HAsKeLL tOOl to traNSFoRm TExt

Последна модификация преди 16 часа

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 месеца