SpiceVM 5 open-source libraries and programs we use can be found here. We moved wikis to new site https://spicevirtualmachinery.blogspot.com/