GitHub / smorimoto / coq-to-ocaml-to-js
Proof of concept to generate safe and fast JavaScript
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/smorimoto%2Fcoq-to-ocaml-to-js
Stars: 24
Forks: 2
Open issues: 0
License: apache-2.0
Language: JavaScript
Size: 402 KB
Dependencies parsed at: Pending
Created at: over 5 years ago
Updated at: 5 months ago
Pushed at: almost 3 years ago
Last synced at: 19 days ago
Topics: bucklescript, coq, javascript, ocaml, proof
Funding Links https://github.com/sponsors/smorimoto
Loading...