owi-opt

Optimise software through symbolic execution in/via Wasm
Is freely licensed? ✅
Website https://github.com/ocamlpro/owi
NLNet grant pages