Explore projects

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

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 template for creating reports and theses with Markdown and Pandoc.

Retrieves recipes from an instance of Tandoor Recipes and builds them into PDFs using Pandoc and LaTeX.

Solutions to random programming puzzles.