GitHub repository: patrickt/tactics
Primary language: Haskell
Description: Deep-embedded combinators for strategic rewriting.