GitHub / OCamlPro / owi
Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Fowi
Stars: 173
Forks: 27
Open issues: 136
License: agpl-3.0
Language: OCaml
Size: 16.1 MB
Dependencies parsed at: Pending
Created at: over 2 years ago
Updated at: 2 days ago
Pushed at: 2 days ago
Last synced at: 1 day ago
Topics: afl, c, concolic-execution, constraints, formatter, fuzzer, interpreter, nlnet, ocaml, optimizer, owi, parallel, rust, smt, solver, symbolic-execution, wasm, wasm2wat, wat2wasm, webassembly
Loading...