OpenCog

Reduct

From OpenCog

Reduct is a component of MOSES that works on Combo program trees.

See The Reduct Library: Reducing Programs to Normal Form