Starred repositories
Syntax highlighting for HotCRP's offline paper review forms
Browser extension that automatically fills out cookie popups based on your preferences
A Python library for reading and writing PDF, powered by QPDF
Small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface.
Books about Heraldry, Jekyll source files (HTML and Images)
A simple and elegant Jekyll theme for an academic personal homepage
π’ π π a community-owned language-learning platform
Graphviz to ASCII converter using Graph::Easy
The official Visual Studio Code extension for the Effekt language
English-Danish Technical Dictionary of Computer Science
Proposed compiler and language changes for GHC and GHC/Haskell
CLI script for interacting with local Anki collection
Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion
Combinator library to generate HTML in Flix.
An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!