tELegrAm bOT iNteGratiOn fOR mOCK

Aggiornato 16 ore fa

GReAt HAsKeLL tOOl to traNSFoRm TExt

Aggiornato 17 ore fa

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

Aggiornato 1 giorno fa

A static blog generator written in Haskell and using Pandoc.

Aggiornato 3 giorni fa

Ideas for an innovative future OS.

Aggiornato 5 giorni fa

Miscellaneous script for my everyday usage.

Aggiornato 1 settimana fa

Haskell program for my sway status bar.

Aggiornato 1 settimana fa

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

Aggiornato 1 settimana fa

My build script for the OpenWRT image builder.

Aggiornato 1 settimana fa

Aggiornato 1 settimana fa

An absolutely indispensable web application counting days.

Aggiornato 2 settimane fa

Solutions to random programming puzzles

Aggiornato 3 settimane fa

Unfinished Haskell version of Conways Game of Life

Aggiornato 3 settimane fa

Aggiornato 1 mese fa

My private build plan for the Iosevka font.

Aggiornato 4 mesi fa

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

Aggiornato 4 mesi fa

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

Aggiornato 4 mesi fa

My personal website.

Aggiornato 5 mesi fa

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

Aggiornato 6 mesi fa

My GHCI configuration.

Aggiornato 6 mesi fa