Alternatives and similar repositories for owi

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

• SaberVM / SaberVM
  ☆218Updated last year
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆85Updated last week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆262Updated 8 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆95Updated 2 months ago
• cfallin / weval
  ☆174Updated 5 months ago
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆144Updated 8 months ago
• OCamlPro / wasocaml
  ☆63Updated 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…
  ☆153Updated 7 months ago
• ocaml-wasm / wasm_of_ocaml
  ☆278Updated 2 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆84Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 2 months ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆213Updated 2 weeks ago
• cfallin / waffle
  ☆58Updated 7 months ago
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆139Updated last month
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆112Updated 5 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 4 years ago
• goblint / analyzer
  Static analysis framework for C
  ☆231Updated this week
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆341Updated this week
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆145Updated 3 years ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆142Updated 2 weeks ago
• goblint / cil
  C Intermediate Language
  ☆158Updated last week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆80Updated last week
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆111Updated 3 years ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆61Updated 5 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆155Updated last month
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆188Updated last year
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆59Updated this week
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆204Updated 3 years ago
• azdavis / millet
  A language server for Standard ML.
  ☆237Updated last month