tELegrAm bOT iNteGratiOn fOR mOCK

Uppdaterad 16 timmar sedan

GReAt HAsKeLL tOOl to traNSFoRm TExt

Uppdaterad 16 timmar sedan

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

Uppdaterad 1 dag sedan

A static blog generator written in Haskell and using Pandoc.

Uppdaterad 3 dagar sedan

Ideas for an innovative future OS.

Uppdaterad 5 dagar sedan

Miscellaneous script for my everyday usage.

Uppdaterad 1 vecka sedan

Haskell program for my sway status bar.

Uppdaterad 1 vecka sedan

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

Uppdaterad 1 vecka sedan

My build script for the OpenWRT image builder.

Uppdaterad 1 vecka sedan

Uppdaterad 1 vecka sedan

An absolutely indispensable web application counting days.

Uppdaterad 2 veckor sedan

Solutions to random programming puzzles

Uppdaterad 3 veckor sedan

Unfinished Haskell version of Conways Game of Life

Uppdaterad 3 veckor sedan

Uppdaterad 1 månad sedan

My private build plan for the Iosevka font.

Uppdaterad 4 månader sedan

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

Uppdaterad 4 månader sedan

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

Uppdaterad 4 månader sedan

My personal website.

Uppdaterad 5 månader sedan

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

Uppdaterad 6 månader sedan

My GHCI configuration.

Uppdaterad 6 månader sedan