2 results found Sort:

OCamlPro
owi OCamlPro
19
139
agpl-3.0
8
WebAssembly Swissknife & cross-language bugfinder
c afl owi smt rust wasm nlnet ocaml fuzzer solver parallel wasm2wat wat2wasm formatter optimizer constraints interpreter webassembly concolic-execution symbolic-execution
Created 2022-12-03
1,465 commits to main branch, last one 5 days ago
dy
watr dy
0
31
unknown
4
Light & fast wasm text compiler
wat wabt wasm wast minify wasm2wat wat2wasm wasm-text minify-wat webassembly pretty-print
Created 2022-02-06
407 commits to main branch, last one 13 hours ago