Z2-Matrix-Solver is a project mainly written in C++, it's free.

A solver for linear equations over the Z2 finite field