The Vellvm home page has moved to
https://vellvm.github.io/vellvm/
.