coq-to-ocaml-to-js
Proof of concept to generate safe and fast JavaScript
25 stars
2 watching
2 forks
Language: JavaScript
last commit: about 2 years ago bucklescriptcoqjavascriptocamlproof
coq-to-ocaml-to-js Proof of concept to generate safe and fast JavaScript