NFS-Ganesha is an NFSv3,v4,v4.1 fileserver that runs in user mode on mos...
Integrated Manager for Lustre
A Lustre compiler in Coq