The solution of large, sparse, binary linear systems of equations arises in algorithms for integer factorization and the computation of discrete logarithms. I found a handful of papers with a variety of approaches, but they were generally quite young (<10 years old), and quite specific to the task at hand - thus the possibility of finding any routines in a library looks very remote!