Somewhat related: this scala library I coauthored is named after the Paige compositor:

https://github.com/typelevel/paiges