GitHub repository: sprowell/elision
Primary language: Scala
Description: The Elision Term Rewriter