An implementation of the Haskell ByteString library using the Fiat system from MIT - View it on GitHub