2 search results for "tag:"owi""

Showing 1 - 2
  1. owi
    Documentation
    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
    16 Jan 2023
  2. smbc
    Documentation
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    14 Nov 2019