mit-plv/fiat-crypto

standalone-javascript with js_of_ocaml?

JasonGross opened this issue · 0 comments

#1711 and #1718 should give us standalone binaries that anyone can download and use on releases. I wonder if we could go even further using js_of_ocaml and generate a version of the code generator we could host on GitHub pages, maybe using headers and footers around the OCaml code to interact with the web?