GitHub repository: overbk/graphTT
Primary language: Scala
Description: A termination tool for algebraic graph transformation.