2 search results for "tag:"owi""

  1. owi
    OCaml toolchain to work with WebAssembly, including and interpreter
    0.1
    ISC
    Used by 0 other packages
    Last published 16 Jan 2023
  2. smbc
    Experimental model finder/SMT solver for functional programming
    0.6.1
    Used by 0 other packages
    Last published 14 Nov 2019