Formally verified Coq serialization library with support for extraction to OCaml - View it on GitHub