DisMat is a project mainly written in C++ and ROFF, it's free.

Discrete Mathematics, Linear & Stochastic Systems Problem and Lemma Solver