Jakob Brünker

monadic-bang. GHC plugin to desugar ! into do-notation

curses-idris. Curses bindings package for Idris

ChatGPT-for-bash. Using ChatGPT to convert natural language descriptions into bash commands

dwm. my personal dwm fork

nixos-dotfiles. configuration for my nixos setup

Panorama. University project to create a panorama image from an image of a reflective metal sphere

vulkan-molecules. A molular dynamics simulation implemented in Haskell + Vulkan