Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

Optional static typing for Python

Fixes mojibake and other glitches in Unicode text, after the fact.

A suite of retopology tools for Blender

A modern hardware definition language and toolchain based on Python

DreamUV - 3D viewport UV editing tools for Blender

A function decorator, that rewrites the bytecode, to enable goto in Python

pySMT: A library for SMT formulae manipulation and solving

Shrinkray is a modern multi-format test-case reducer

Text generator prompting with Boolean operators

A script for running TLA+/TLC from the command line

a single-player refinement mod for id software's quake

Mahjong solitaire game for uxn (WIP)

Reddit bot. Computer vision for facial detection and transformation. Python, PRAW, & OpenCV.

Strips boilerplate from Project Gutenberg text files

in which I play around with bidirectional typechecking

Once upon a time, there was a bioinformatics summer project which involved the translation of HIV and SIV nucleotide sequences. It was for @gedankenstuecke and me the first time we coded for longer…

Helper library for Python scripts to fetch and cache data