A JavaScript runtime for F* code. Takes the generated OCaml code and translates it to JavaScript using js_of_ocaml.
Assumes that you have js_of_ocaml as well as all the F* dependencies (batteries sqlite3 fileutils stdint zarith yojson pprint) installed.
Then:
make -C src/ocaml-output -j 6
To translate and run the example:
make -C examples/hello_js