<!DOCTYPE html>
<html lang="en">
<head>
  <meta charset="utf-8">
  <title>owi</title>
  <link rel="stylesheet" href="style.css">
  <link rel="icon" type="image/png" sizes="804x804" href="favicon.png">
</head>
<body>
  <div class="content">
    <div class="header">
      <h1>owi</h1>

      <p><a href="https://github.com/ocamlpro/owi">owi</a> is a toolchain to work with WebAssembly. Is is written in <a href="https://ocaml.org">OCaml</a>. Owi provides many tools: a formatter, an optimizer, a concrete interpreter, a script interpreter and a symbolic interpreter. It also allows to do bug finding on C code by compiling it to Wasm and running the symbolic interpreter.
      <p>To get started, have a look at the <a href="https://github.com/OCamlPro/owi">README</a> which contains pointers to general documentation and examples.</p>
    </div>

    <div class="section">
      <ul>
        <li>
          <a href="https://github.com/ocamlpro/owi">Project on Github</a>
        </li>

        <li>
          <a href="https://ocamlpro.github.io/owi/api">API Documentation</a>
        </li>

        <li>
          <a href="https://ocamlpro.github.io/owi/coverage">Code coverage report</a>
        </li>

        <li>
          <a href="https://github.com/ocamlpro/owi/issues">Bug reports</a>
        </li>
      </ul>
    </div>
  </div>
</body>
</html>
