Flutter App for WMS

最后更新于 3 小时前

Tool for managing multiple version control repositories

最后更新于 1 天前

Haskell program for my sway status bar.

最后更新于 3 天前

Warehouse Management Server written in Haskell with Yesod

最后更新于 1周前

Miscellaneous script for my everyday usage.

最后更新于 2 周前

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

最后更新于 1 个月前

My GHCI configuration.

最后更新于 1 个月前

GReAt HAsKeLL tOOl to traNSFoRm TExt

最后更新于 1 个月前

Ideas for a future innovative UI framework

最后更新于 1 个月前

Ideas for an innovative future OS.

最后更新于 1 个月前

tELegrAm bOT iNteGratiOn fOR mOCK

最后更新于 1 个月前

A static blog generator written in Haskell and using Pandoc.

最后更新于 1 个月前

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

最后更新于 2 个月前

My build script for the OpenWRT image builder.

最后更新于 2 个月前

最后更新于 2 个月前

An absolutely indispensable web application counting days.

最后更新于 2 个月前

Solutions to random programming puzzles

最后更新于 2 个月前

Unfinished Haskell version of Conways Game of Life

最后更新于 2 个月前

最后更新于 3 个月前

My private build plan for the Iosevka font.

最后更新于 5 个月前