uwplse / cheeriosLinks

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

Alternatives and similar repositories for cheerios

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

Sorting: