smorimoto / coq-to-ocaml-to-jsLinks

Proof of concept to generate safe and fast JavaScript
24Updated 2 years ago

Alternatives and similar repositories for coq-to-ocaml-to-js

Users that are interested in coq-to-ocaml-to-js are comparing it to the libraries listed below

Sorting: