2 results found Sort:

OCamlPro
owi OCamlPro
24
168
agpl-3.0
9
Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
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,591 commits to main branch, last one 3 days ago
dy
watr dy
0
36
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
556 commits to main branch, last one 12 days ago