GitHub - uwplse/cheerios: Formally verified Coq serialization library with support for extraction to OCaml - discu.eu

Linking pages

GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software. https://github.com/uhub/awesome-coq 5 comments
GitHub - uwplse/verdi: A framework for formally verifying distributed systems implementations in Coq https://github.com/uwplse/verdi 1 comment

Linked pages

opam - Install https://opam.ocaml.org/doc/Install.html 2 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - uwplse/cheerios: Formally verified Coq serialization library with support for extraction to OCaml

See how to search.

Submit link to: