GitHub repository: mit-pdos/daisy-nfsd
Primary language: Dafny
Description: DaisyNFS is an NFS server verified using Dafny and Perennial.