search

querycert / qcert

Compilation and Verification of Data-Centric Languages
https://querycert.github.io/
Apache License 2.0
56 stars 9 forks source link

Derive JS runtime from Wasm runtime #150

Open pkel opened 4 years ago

pkel commented 4 years ago

The Wasm runtime is implemented in Assemblyscript which is a typescript variant. It might be possible to compile the Assemblyscript runtime to Javascript and reuse it for the JS backend.