Bytestring Fiat Save
An implementation of the Haskell ByteString library using the Fiat system from MIT
Project README
Welcome to the ByteString/Fiat project!
The goal of this project is to use the Fiat program synthesis library for Coq to build a simple, mathematically correct specification for the Haskell ByteString library, and then refine this specification to a highly-optimized Haskell program that matches or exceeds what is available on Hackage today.
Open Source Agenda is not affiliated with "Bytestring Fiat" Project. README Source: jwiegley/bytestring-fiat
Stars
31
Open Issues
8
Last Commit
1 year ago
Repository
Homepage
Tags
Open Source Agenda Badge
