DaisyNFS is an NFS server verified using Dafny and Perennial. - View it on GitHub