Пользовался я в Cadabra для создания библиотеки стандартных элементов. Работает и очень неплохо долго, но все равно получается быстрее чем посадить десяток топологов

. Библиотеку в 500 элементов на 13 машинах компилировала примерно неделю. Главное разобраться в настройках на конкретную технологию, уж больно все запутано.