M4RI(e) - Linear Algebra over GF(2) (and GF(2^e)) http://m4ri.sagemath.org/ へぇ、こんなのあるんだ。