Alternatives and similar repositories for owi:

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

• OCamlPro / wasocaml
  ☆57Updated 3 months ago
• formalsec / smtml
  A frontend for multiple SMT solvers in OCaml
  ☆30Updated last week
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆132Updated this week
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆70Updated 7 months ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆234Updated 3 weeks ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆123Updated this week
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆172Updated 10 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆114Updated 3 weeks ago
• sabine / ocaml-to-wasm-overview
  ☆102Updated 3 years ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆81Updated 3 months ago
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆54Updated last year
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆32Updated last month
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆40Updated 2 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆116Updated this week
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆31Updated this week
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆101Updated this week
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆116Updated last month
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆130Updated last week
• Kakadu / zanuda
  OCaml linter
  ☆73Updated 3 weeks ago
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆152Updated 3 months ago
• grievejia / pyre-ast
  pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…
  ☆40Updated 6 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆81Updated this week
• andreypopp / type-systems
  Playing with type systems
  ☆48Updated last month
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆44Updated last week
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆103Updated 2 years ago
• ocaml / setup-ocaml
  GitHub Action for the OCaml programming language
  ☆204Updated this week
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated last year
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆75Updated this week