Good catch! Here's the link to the framework: https://gitlab.mpi-sws.org/cld/blueprint/blueprint-compiler.

Also added it to the blog post :)