--quantumfoam.org is just starting working
on a GUI for svk (as of 4/20/2006). Having seen his wiki page on here,
we dropped GaborSzabo an email as well. If you are interested in helping
out, please let us know.--
We have put this on hiatus. Sorry for the false alarm.