GitHub repository: GaloisInc/halfs
Primary language: Haskell
Description: The Haskell File System: A file system implementation in Haskell