Explore projects

My personal ZSH config with a pretty powerline-like prompt. DEPRECATED: my shell config is now part of https://git.eisfunke.com/config/nixos

Warehouse Management Server written in Haskell with Yesod.

App for my warehouse management system, using voice control, written in Flutter.

Scala 3 library for generic unification

Haskell program for my sway status bar.

The Lightfold language specification.

A template for creating presentation slides with Markdown and Pandoc.

Use https://gitlab.com/radek-sprta/docker-selfoss

A Telegram bot that can search stuff.

My personal collection of miscellaneous script for everyday usage.

A collection of miscellaneous utility scripts

A template for creating reports and theses with Markdown and Pandoc.