minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

Example implementation of Algorithm W for Hindley-Milner type inference

A .Net library for working with bibtex files. Contains custom parser for reading bibtex files.

Paper on the Bosh shell for the BOSC course at the IT University of Copenhagen

Effortless LaTeX compilation leveraging Docker and Compose

Paper on the Hemingway library for the SAAS course at the IT University of Copenhagen