Alternatives and similar repositories for owi:

Users that are interested in owi are comparing it to the libraries listed below

• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆130Updated this week
• goblint / cil
  C Intermediate Language
  ☆150Updated 3 weeks ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated last week
• OCamlPro / wasocaml
  ☆59Updated 6 months ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆244Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 2 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆28Updated this week
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆54Updated last week
• SaberVM / SaberVM
  ☆206Updated 10 months ago
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆137Updated 5 months ago
• cfallin / waffle
  ☆58Updated 7 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆143Updated 3 months ago
• cfallin / weval
  ☆172Updated 6 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆72Updated 3 weeks ago
• ocaml-wasm / wasm_of_ocaml
  ☆267Updated 2 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆50Updated last week
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆142Updated this week
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆120Updated last month
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 3 years ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆35Updated this week
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆143Updated 2 years ago
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 6 months ago
• sabine / ocaml-to-wasm-overview
  ☆102Updated 3 years ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆177Updated last month
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆187Updated last week
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆68Updated last month
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆105Updated last month
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆86Updated this week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆68Updated last week