An implementation of AEGIS in the Jasmin programming language - View it on GitHub