M4RI is a library to do fast arithmetic with dense matrices over \(\mathbb{F}_2\). M4RI is available under the GPLv2+ and used by the Sage mathematics software and the PolyBoRi library. See http://m4ri.sagemath.org for details.