tELegrAm bOT iNteGratiOn fOR mOCK

最後更新於 17 小時之前

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 月之前