#
owi
Here are 5 public repositories matching this topic...
WebAssembly Swissknife & cross-language bugfinder
c
rust
formatter
interpreter
ocaml
solver
parallel
webassembly
wasm
optimizer
symbolic-execution
constraints
afl
fuzzer
smt
concolic-execution
owi
wat2wasm
nlnet
wasm2wat
-
Updated
Oct 1, 2024 - OCaml
Scripts for analyzing Invasion balancing by layer or level. Special thanks to @Midwaey for providing match logs, and @ChristianBrinkley for consulation
-
Updated
Nov 10, 2023 - Python
OWI's C frontend now in https://github.com/OCamlPro/owi/pull/100
-
Updated
Jan 5, 2024 - C
Improve this page
Add a description, image, and links to the owi topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the owi topic, visit your repo's landing page and select "manage topics."