issues
search
mit-plv
/
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
718
stars
147
forks
source link
standalone-javascript with js_of_ocaml?
#1720
Closed
JasonGross
closed
1 year ago
JasonGross
commented
1 year ago
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
?
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?