Alternatives and similar repositories for verified_ocaml_gc

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

• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• alan-j-hu / ocaml-textmate-language

  View on GitHub
  Library for tokenizing code with TextMate grammars
  ☆12Jan 4, 2024Updated 2 years ago
• ocurrent / opam-repo-ci

  View on GitHub
  An OCurrent pipeline for testing submissions to opam-repository
  ☆24Jan 14, 2026Updated last month
• RyanGibb / caledonia

  View on GitHub
  Command-line and Emacs Calendar Client
  ☆22Nov 11, 2025Updated 3 months ago
• extism / ocaml-sdk

  View on GitHub
  Extism OCaml Host SDK - easily run WebAssembly modules / plugins from OCaml applications
  ☆18Dec 4, 2024Updated last year
• FStarLang / steel

  View on GitHub
  The Steel separation logic library for F*
  ☆36Nov 24, 2025Updated 2 months ago
• darrenldl / ocaml-tui-chat-demo

  View on GitHub
  ☆10Jul 20, 2023Updated 2 years ago
• anik545 / OwlPPL

  View on GitHub
  Final Year Project - A probabilisitic programming language in OCaml
  ☆14May 10, 2020Updated 5 years ago
• voodoos / mlts

  View on GitHub
  ☆11Dec 9, 2022Updated 3 years ago
• dbuenzli / jsont

  View on GitHub
  Declarative JSON data manipulation for OCaml
  ☆23Jan 2, 2026Updated last month
• samoht / prune

  View on GitHub
  ☆19Updated this week
• koka-lang / AddressC

  View on GitHub
  ☆14May 28, 2025Updated 8 months ago
• hyper-systems / ocaml-coap

  View on GitHub
  Constrained Application Protocol (RFC 7252) implementation for OCaml.
  ☆12Apr 3, 2024Updated last year
• zshipko / ocaml-vec

  View on GitHub
  Example OCaml library written using Rust and ocaml-rs
  ☆16Mar 10, 2021Updated 4 years ago
• LexiFi / grep_cmt

  View on GitHub
  ☆24Oct 8, 2024Updated last year
• dbuenzli / zipc

  View on GitHub
  ZIP archive and deflate codec for OCaml
  ☆24Jan 2, 2026Updated last month
• Cjen1 / OCons

  View on GitHub
  ☆13Nov 10, 2024Updated last year
• sidsabh / MirageRaft

  View on GitHub
  experiments on distributed unikernels
  ☆16Dec 15, 2024Updated last year
• PLTools / GT

  View on GitHub
  Datatype-generic object-oriented transformations for OCaml
  ☆17Nov 16, 2025Updated 2 months ago
• ocaml-multicore / ocaml-iocp

  View on GitHub
  OCaml bindings to Windows' IOCP API
  ☆17Apr 19, 2023Updated 2 years ago
• geocaml / ocaml-topojson

  View on GitHub
  A pure OCaml library for working with the TopoJSON format
  ☆11Mar 8, 2023Updated 2 years ago
• mattam82 / Constructors

  View on GitHub
  Example Coq plugin
  ☆18Mar 23, 2018Updated 7 years ago
• art-w / x-ocaml

  View on GitHub
  OCaml notebooks as a WebComponent
  ☆47Oct 4, 2025Updated 4 months ago
• zshipko / ocaml-rust-starter

  View on GitHub
  Getting started with ocaml-rs
  ☆31Aug 31, 2024Updated last year
• dinakajoy / pen-it-down

  View on GitHub
  A simple note-taking app (WIP)
  ☆15Oct 20, 2025Updated 3 months ago
• tmattio / yoshi

  View on GitHub
  Convert Markdown and YAML Data to OCaml Modules
  ☆17Apr 26, 2023Updated 2 years ago
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 8 months ago
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• mirage / checkseum

  View on GitHub
  ☆16May 31, 2025Updated 8 months ago
• anmonteiro / eio-ssl

  View on GitHub
  OpenSSL bindings to OCaml EIO
  ☆20Jun 25, 2024Updated last year
• joscoh / why3-semantics

  View on GitHub
  Formal Semantics for Why3
  ☆19Sep 28, 2025Updated 4 months ago
• strymonas / strymonas-ocaml

  View on GitHub
  ☆32Oct 16, 2025Updated 3 months ago
• art-w / mcavl

  View on GitHub
  Lock-free Sets and Maps for OCaml multicore
  ☆37Sep 20, 2022Updated 3 years ago
• gmalecha / coq-printf

  View on GitHub
  Implementation of sprintf for Coq
  ☆18Apr 6, 2020Updated 5 years ago
• LaurentMazare / ocaml-onnx

  View on GitHub
  OCaml ONNX runtime powered by onnxruntime
  ☆22Aug 21, 2023Updated 2 years ago
• craigfe / ppx_effects

  View on GitHub
  ☆42Apr 25, 2023Updated 2 years ago
• routineco / ocaml-nanoid

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

  View on GitHub
  Fast char sets
  ☆20May 5, 2025Updated 9 months ago
• ocurrent / opam-health-check

  View on GitHub
  A toolchain to check for broken opam packages
  ☆21May 26, 2025Updated 8 months ago