Comment by DoofusOfDeath

The link provided seems down (hug of death?)

I'm guessing that this is the same material: https://github.com/achlipala/frap