Let's Graphviz it online

Syntax highlighting for HotCRP's offline paper review forms

Page control for LaTeX

Browser extension that automatically fills out cookie popups based on your preferences

Standard ML Compiler and Toolkit

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

OCaml - Oxidized!

Simple Set-Theoretic Types library

GrandOrgue software

Software modular synth

A vim-emulator for jEdit 5

Generic command-line automation tool

🐢 🌎 📚 a community-owned language-learning platform

Cross-platform music production software

Graphviz to ASCII converter using Graph::Easy

The official Visual Studio Code extension for the Effekt language

English-Danish Technical Dictionary of Computer Science

The expl3 (LaTeX3) Development Repository

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

Bibtex parser for Python 3

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!

Troupe programming language