Alternatives and similar repositories for owi

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

• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆87Updated last week
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆144Updated last month
• SaberVM / SaberVM
  ☆212Updated last year
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆251Updated last month
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆132Updated last month
• ocaml-wasm / wasm_of_ocaml
  ☆269Updated 4 months ago
• goblint / analyzer
  Static analysis framework for C
  ☆200Updated last week
• OCamlPro / wasocaml
  ☆62Updated 8 months ago
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆138Updated last week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆141Updated 3 weeks ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆76Updated 3 months ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆69Updated last week
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆125Updated last month
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆56Updated last week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆34Updated this week
• goblint / cil
  C Intermediate Language
  ☆147Updated last week
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆203Updated 3 years ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆177Updated 3 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆69Updated 3 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆176Updated 7 months ago
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 8 months ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆42Updated last week
• rems-project / cerberus
  Cerberus C semantics
  ☆63Updated last week
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆76Updated last week
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆403Updated this week
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆143Updated 2 months ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆87Updated last month
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆45Updated last month