Stars
3
stars
written in WebAssembly
Clear filter
Optimizer and compiler/toolchain library for WebAssembly
Relax the strict determinism requirements of SIMD operations.
Automatically verifying native-compiled Wasm modules for constant-time behavior modulo ARM DIT