add meta.yml and generate boilerplate

uwplse / cheerios

Formally verified Coq serialization library with support for extraction to OCaml

BSD 2-Clause "Simplified" License

23 stars 5 forks source link

Closed palmskog closed 2 years ago