GitHub repository: justinads/cheerios
Primary language: Coq
Description: Formally verified Coq serialization library