Maintained?
We've been talking in the redox developer chat (@7h0ma5 are you a member?) and ssh has come up a couple times recently. Is this project still maintained? I'd been thinking of doing some work with trying to get pure-rust ssh running under redox myself, are you interested in a hand? I'm gonna do a little more in-depth assessment of this repo and maybe start hacking on it.