Software

Toma

An equational theorem prover.

Hakusan

A confluence tool for left-linear term rewrite systems.

Maxcomp

A completion tool, which automatically finds a complete term rewrite system for an equational system.

CoLL-Saigawa

A confluence tool for term rewrite systems.

TTT

A termination tool for term rewrite systems. This tool is no longer maintained. Instead, I would recommend its more powerful successor TTT2.