kimwitu++

Tool for processing trees (i.e. terms)
https://www2.informatik.hu-berlin.de/sam/kimwitu++/

Current version
2.3.13