OCamlPro / owi

Related projects ⓘ

Alternatives and complementary repositories for owi

• OCamlPro / wasocaml
  ☆54Updated 3 weeks ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆113Updated this week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆205Updated this week
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆70Updated 5 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆128Updated this week
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆80Updated last month
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆172Updated 8 months ago
• sabine / ocaml-to-wasm-overview
  ☆102Updated 2 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆32Updated 4 months ago
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆128Updated last year
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆53Updated last year
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆94Updated this week
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆78Updated 2 months ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq
  ☆97Updated 2 weeks ago
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆114Updated 3 months ago
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆40Updated 2 weeks ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆71Updated last year
• ocaml-multicore / meio
  Monitor Eio programs
  ☆77Updated 8 months ago
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆67Updated this week
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆109Updated 2 weeks ago
• rems-project / cerberus
  Cerberus C semantics
  ☆53Updated this week
• formalsec / smtml
  A frontend for multiple SMT solvers in OCaml
  ☆27Updated this week
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆148Updated last month
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆49Updated 10 months ago
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆72Updated 4 months ago
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆130Updated last year
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆70Updated last year
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆93Updated last month
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated 4 months ago