Nix (I believe it's just nix) is on bitbucket, npe/nix. I agree it looks interesting, although I've only read the paper and browsed the tree a bit so far.
For 9vx, you're going to need to provide some more details about the failure mode. What exactly do you do to try and get it running, what exactly does it say as a result?