Italy / Sweden
CS student @chalmers.se | Haskell | NixOS
Nix - bubblewrap integration
Bidirectional many-to-many mapping between two key types
Haskell datatype and parser for the Universal Configuration Language (UCL) using libucl
A barebones textboard for the Gemini protocol, written in Haskell
A simple Happstack-style Gemini router
A lightweight Haskell server library for the Gemini protocol
A GHC plugin that optimizes away the implementation of total singletons
Datatypes and parsing/printing functions to represent the Gemini markup language in Haskell
My tesi triennale
My talks
unitn.it canteen menu CLI scraper