ocamllabs/ocaml-memory-model external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ocamllabs/ocaml-memory-model

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ocamllabs/ocaml-memory-model)

Close

ocamllabs / ocaml-memory-modelView on GitHubMore

• External links
• Readme badge

☆28Jun 27, 2019Updated 6 years ago

Alternatives and similar repositories for ocaml-memory-model

Users that are interested in ocaml-memory-model are comparing it to the libraries listed below

• pascutto / cachecache

  View on GitHub
  Efficient caching library for OCaml
  ☆33Sep 27, 2023Updated 2 years ago
• stedolan / ocaml-afl-persistent

  View on GitHub
  persistent-mode afl-fuzz for ocaml
  ☆17Nov 23, 2024Updated last year
• ocurrent / citty

  View on GitHub
  CI in tty
  ☆14Jun 26, 2023Updated 2 years ago
• ocaml-dune / csexp

  View on GitHub
  Minimal support for Canonical S-expressions
  ☆28Jul 18, 2023Updated 2 years ago
• mirage / repr

  View on GitHub
  ☆31Nov 26, 2025Updated 3 months ago
• mirage / irmin.org

  View on GitHub
  Irmin website
  ☆12Feb 26, 2026Updated 3 weeks ago
• ocaml-multicore / ocaml-uring

  View on GitHub
  Bindings to io_uring for OCaml
  ☆64Sep 28, 2025Updated 5 months ago
• mirage / irmin-rpc

  View on GitHub
  RPC client/server for Irmin
  ☆19Aug 5, 2021Updated 4 years ago
• craigfe / ppx_irmin

  View on GitHub
  OCaml PPX extension for automatically generating Irmin types
  ☆11Jan 14, 2020Updated 6 years ago
• ocurrent / opam-repo-ci

  View on GitHub
  An OCurrent pipeline for testing submissions to opam-repository
  ☆24Jan 14, 2026Updated 2 months ago
• routineco / ocaml-nanoid

  View on GitHub
  NanoID implementation for OCaml.
  ☆20Mar 30, 2023Updated 2 years ago
• yallop / staged-generic-programming

  View on GitHub
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆28Sep 2, 2023Updated 2 years ago
• mirage / ocaml-fsevents

  View on GitHub
  macOS bindings to the FSEvents API
  ☆18Nov 24, 2025Updated 3 months ago
• samoht / toc

  View on GitHub
  Automatically generate table of contents for Markdown files
  ☆17Nov 22, 2022Updated 3 years ago
• ocurrent / ocaml-docs-ci

  View on GitHub
  CI building documentation for ALL versions of ALL packages !
  ☆17Jan 26, 2026Updated last month
• ocaml-multicore / eventlog-tools

  View on GitHub
  Tools for the runtime tracing in OCaml 4.11.0 and higher
  ☆31Mar 14, 2023Updated 3 years ago
• mirage / mirage-http

  View on GitHub
  HTTP combinators for MirageOS
  ☆11Oct 11, 2019Updated 6 years ago
• mirage / bloomf

  View on GitHub
  Efficient Bloom filters for OCaml
  ☆38Jan 3, 2022Updated 4 years ago
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 10 months ago
• Chris00 / ocaml-interval

  View on GitHub
  An interval library for OCaml
  ☆16Dec 9, 2022Updated 3 years ago
• frex-project / metaocaml-frex

  View on GitHub
  ☆24May 16, 2025Updated 10 months ago
• ocurrent / bun

  View on GitHub
  tired of typing afl-fuzz? try bun!
  ☆53Jul 4, 2023Updated 2 years ago
• mirage / optint

  View on GitHub
  Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)
  ☆24Mar 11, 2025Updated last year
• ocaml-gospel / gospel

  View on GitHub
  A tool-agnostic formal specification language for OCaml.
  ☆156Updated this week
• dariusf / ppx_debug

  View on GitHub
  Tools for record-and-replay debugging
  ☆44Mar 9, 2023Updated 3 years ago
• c-cube / olinq

  View on GitHub
  LINQ-like combinators for manipulating collections of in-memory data
  ☆16Sep 21, 2020Updated 5 years ago
• mjambon / dum

  View on GitHub
  Print OCaml values based on their runtime representation
  ☆31Jun 7, 2022Updated 3 years ago
• backtracking / program-proofs-with-why3

  View on GitHub
  Some programs from Rustan Leino's "Program Proofs", in Why3.
  ☆16Mar 13, 2023Updated 3 years ago
• shonfeder / um-abt

  View on GitHub
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆28Nov 11, 2023Updated 2 years ago
• jfeser / bitarray

  View on GitHub
  Fast vectorized bitarrays for OCaml
  ☆16Jul 11, 2023Updated 2 years ago
• aprolog-lang / aprolog

  View on GitHub
  αProlog
  ☆18Jul 9, 2023Updated 2 years ago
• mirage / ocaml-dkim

  View on GitHub
  DKIM support on e-mail
  ☆11Updated this week
• let-def / cmon

  View on GitHub
  A library for printing OCaml values with sharing
  ☆25Apr 1, 2022Updated 3 years ago
• backtracking / vector

  View on GitHub
  ☆16May 26, 2021Updated 4 years ago
• mirage / bechamel

  View on GitHub
  Agnostic benchmark in OCaml (proof-of-concept)
  ☆43Jun 28, 2024Updated last year
• kit-ty-kate / opam-grep

  View on GitHub
  Script that greps anything in the sources of every opam packages
  ☆25Oct 10, 2025Updated 5 months ago
• mirage / ocaml-pcap

  View on GitHub
  OCaml code for generating and analysing pcap (packet capture) files
  ☆20May 31, 2025Updated 9 months ago
• MisterDA / ocaml-splash

  View on GitHub
  An Awesome OCaml splashscreen
  ☆10Apr 1, 2022Updated 3 years ago
• ocsigen / reactiveData

  View on GitHub
  Functional reactive programming with incremental changes in data structures
  ☆52Dec 9, 2025Updated 3 months ago