qcert-runtime-wasm (npm): The Q*cert compiler WASM runtime
Keywords: compiler|coq-proof-assistant|functional-programming|query-engine|query-language|sql|verification|verified-compiler