A tool (and future domain-specific-language) for algebraic transformations.
A live version may be found here. Alas, it may not be accessed via https.
https