uwplse / cheerios

Formally verified Coq serialization library with support for extraction to OCaml
23Updated last year

Related projects

Alternatives and complementary repositories for cheerios