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