monadgirl

Gate between Git and Mediawiki

Multi platform setup for Coq, Coq libraries and tools

A simple mod to allow players to login within the multiplayer screen. It has support for Mojang and Microsoft accounts.

Simple PDF generation for Python

Use Vim as PAGER