~fgaz

Italy

https://fgaz.me/about

CS student @chalmers.se | Haskell | NixOS | Risiko!

~fgaz/singleton-optimizer

A GHC plugin that optimizes away the implementation of total singletons

~fgaz/gemini-textboard

A barebones textboard for the Gemini protocol, written in Haskell

~fgaz/language-gemini

Datatypes and parsing/printing functions to represent the Gemini markup language in Haskell

~fgaz/gemini-router

A simple Happstack-style Gemini router

~fgaz/gemini-server

A lightweight Haskell server library for the Gemini protocol

~fgaz/bachelor-thesis

My tesi triennale

~fgaz/talks

My talks

~fgaz/mensa-cli

unitn.it canteen menu CLI scraper