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
  ☆253Updated 3 months ago
• OCamlPro / wasocaml
  ☆62Updated 10 months ago
• SaberVM / SaberVM
  ☆212Updated last year
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆149Updated 2 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆133Updated 2 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆90Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆67Updated 2 weeks ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆146Updated last month
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆142Updated 3 months ago
• goblint / cil
  C Intermediate Language
  ☆152Updated this week
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆130Updated 2 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆74Updated this week
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆72Updated 3 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆60Updated this week
• ocaml-wasm / wasm_of_ocaml
  ☆269Updated 3 weeks ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆24Updated this week
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆179Updated 4 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆56Updated 3 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆36Updated 3 weeks ago
• cfallin / weval
  ☆173Updated last week
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆108Updated 3 years ago
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆138Updated last month
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆74Updated last month
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆203Updated 3 years ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆58Updated 3 weeks ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆78Updated last week
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆42Updated last week
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆228Updated 2 weeks ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆108Updated 2 weeks ago