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