GitHub repository: uwplse/cheerios
Primary language: Coq
Description: Formally verified Coq serialization library with support for extraction to OCaml