i'm kinda hoping to have some time to hack out a haskell implementation of the SDD solver next month (not sure if i'll have the time then, but I hope to)
The key bit however, is that the SDD solver as above, has really nice asymptotics for sparse matrices.
theres a few fancy algorithms that need to be engineered along the way, and theres also the question about how the constant factors work out in practice!