Alternatives and similar repositories for owi

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

• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆245Updated 2 weeks ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆143Updated 2 years ago
• OCamlPro / wasocaml
  ☆61Updated 7 months ago
• goblint / cil
  C Intermediate Language
  ☆145Updated last month
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆143Updated 3 weeks ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆177Updated last month
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆144Updated 4 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆131Updated 2 weeks ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated this week
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆120Updated 2 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆55Updated 6 months ago
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆137Updated 6 months ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆87Updated 2 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated last week
• SaberVM / SaberVM
  ☆206Updated 11 months ago
• cfallin / weval
  ☆172Updated 7 months ago
• cfallin / waffle
  ☆58Updated 8 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated last year
• ocaml-wasm / wasm_of_ocaml
  ☆267Updated 3 months ago
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆132Updated 4 months ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆146Updated this week
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆39Updated this week
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆107Updated 3 years ago
• sabine / ocaml-to-wasm-overview
  ☆102Updated 3 years ago
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 6 months ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆55Updated last month
• OCamlPro / drom
  drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with…
  ☆187Updated 2 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆105Updated this week
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated 11 months ago