An encoder and decoder written in Python 3.