Alternatives and similar repositories for owi:

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

• OCamlPro / wasocaml
  ☆58Updated 4 months ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆236Updated last month
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆101Updated this week
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆33Updated this week
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆33Updated this week
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆173Updated last year
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆133Updated last month
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆131Updated last month
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆155Updated 3 weeks ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆127Updated this week
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 7 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆71Updated 8 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆116Updated last month
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆118Updated last month
• sabine / ocaml-to-wasm-overview
  ☆102Updated 3 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆33Updated 2 months ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆103Updated 2 years ago
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆81Updated 6 months ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆51Updated last year
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆121Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆62Updated this week
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆54Updated last year
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆84Updated 5 months ago
• ocurrent / ocaml-ci
  A CI for OCaml projects
  ☆112Updated last month
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆101Updated last month
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆68Updated 3 weeks ago
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆136Updated 3 months ago