uwplse / cheeriosLinks

Formally verified Coq serialization library with support for extraction to OCaml
24Updated 2 years ago

Alternatives and similar repositories for cheerios

Users that are interested in cheerios are comparing it to the libraries listed below

Sorting: