GitHub repository: smorimoto/coq-to-ocaml-to-js
Primary language: Coq
Description: Proof of concept to generate safe and fast JavaScript