Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
c rust haskell formatter interpreter zig llvm ocaml solver webassembly wasm optimizer symbolic-execution constraints fuzzer abstract-interpretation owi tinygo solver-aided-programming
-
Updated
Sep 4, 2026 - OCaml