2 search results for "tag:"owi""

  1. owi
    OCaml toolchain to work with WebAssembly, including and interpreter
    owi ocaml webassembly wasm interpreter compiler
    Léo Andrès <contact@ndrs.fr> Pierre Chambart <pierre.chambart@ocamlpro.com>
    0.1
    ISC
    Used by 0 other packages
    Last published 16 Jan 2023
  2. smbc
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    Last published 14 Nov 2019