Alternatives and similar repositories for ortac

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

• ocaml-gospel / gospel

  View on GitHub
  A tool-agnostic formal specification language for OCaml.
  ☆155Updated this week
• mseri / md2mld

  View on GitHub
  Little cli to convert md files into mld files
  ☆26Feb 6, 2025Updated last year
• voodoos / merlin-js

  View on GitHub
  ☆13Jan 30, 2026Updated 2 weeks ago
• panglesd / blogaml

  View on GitHub
  A prototype to write blog posts with executable ocaml code blocks
  ☆10Apr 25, 2025Updated 9 months ago
• c-cube / ocaml-iostream

  View on GitHub
  generic I/O streams of bytes
  ☆27Jul 3, 2025Updated 7 months ago
• samoht / prune

  View on GitHub
  ☆19Feb 10, 2026Updated last week
• muhokama / ring

  View on GitHub
  A statically generated webring with YOCaml, because we love small-web
  ☆24Aug 25, 2025Updated 5 months ago
• sidsabh / MirageRaft

  View on GitHub
  experiments on distributed unikernels
  ☆16Dec 15, 2024Updated last year
• Firobe / 6502-ml

  View on GitHub
  6502 chip simulator in OCaml
  ☆13Mar 14, 2024Updated last year
• MisterDA / ocamlwalk

  View on GitHub
  The caml walks, OCaml runs
  ☆20Oct 11, 2023Updated 2 years ago
• robur-coop / happy-eyeballs

  View on GitHub
  An implementation of happy eyeballs (RFC 8305) in OCaml with lwt
  ☆22May 14, 2025Updated 9 months ago
• ocaml-multicore / picos

  View on GitHub
  Interoperable effects based concurrency
  ☆142Jan 24, 2026Updated 3 weeks ago
• fpottier / baby

  View on GitHub
  A balanced binary search tree library for OCaml
  ☆23Nov 27, 2025Updated 2 months ago
• hannesm / patch

  View on GitHub
  line based patch, input is a unified diff
  ☆24Nov 6, 2025Updated 3 months ago
• Kakadu / zanuda

  View on GitHub
  OCaml linter
  ☆84Nov 27, 2025Updated 2 months ago
• ocaml-gospel / cameleer

  View on GitHub
  A Deductive Verification Tool for OCaml Programs
  ☆76Oct 9, 2025Updated 4 months ago
• ngernest / mica

  View on GitHub
  A PPX deriver that automates differential testing for OCaml modules
  ☆25Nov 30, 2024Updated last year
• robur-coop / ohex

  View on GitHub
  Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex
  ☆10Mar 18, 2024Updated last year
• yallop / ocaml-charset

  View on GitHub
  Fast char sets
  ☆20May 5, 2025Updated 9 months ago
• mirage / irmin-server

  View on GitHub
  A high-performance server for Irmin
  ☆24Oct 1, 2022Updated 3 years ago
• v-gb / ocamlmig

  View on GitHub
  ☆20Nov 25, 2025Updated 2 months ago
• patricoferris / omditor

  View on GitHub
  Irmin-based Markdown Editor
  ☆49Nov 10, 2022Updated 3 years ago
• robur-coop / utcp

  View on GitHub
  An implementation of the Transmission Control Protocol in OCaml
  ☆32Feb 9, 2026Updated last week
• Armael / pp_loc

  View on GitHub
  Pretty-printing for error source locations
  ☆36Jun 1, 2022Updated 3 years ago
• suri-framework / atacama

  View on GitHub
  Modern, pure OCaml socket pool for Riot
  ☆43Apr 15, 2024Updated last year
• koonwen / obatcher

  View on GitHub
  A Framework for building Batched Concurrent Services
  ☆21May 20, 2025Updated 8 months ago
• Firobe / ocaml-stdint-literals

  View on GitHub
  Small PPX for fixed size integer literals
  ☆10Nov 12, 2022Updated 3 years ago
• ocaml-multicore / multicore-bench

  View on GitHub
  Framework for benchmarking on multiple cores on current-bench
  ☆13Jun 14, 2025Updated 8 months ago
• dbuenzli / typegist

  View on GitHub
  Reflect the essence of OCaml types as values
  ☆14Dec 12, 2024Updated last year
• robur-coop / mkernel

  View on GitHub
  ☆13Updated this week
• Fizzixnerd / ocaml-living

  View on GitHub
  A safer FFI interface for OCaml
  ☆11Jul 20, 2024Updated last year
• robur-coop / vif

  View on GitHub
  A simple HTTP server for OCaml 5
  ☆50Jan 27, 2026Updated 2 weeks ago
• c-cube / moonpool

  View on GitHub
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆72Feb 4, 2026Updated last week
• jmid / mutaml

  View on GitHub
  An OCaml mutation tester
  ☆67Nov 24, 2025Updated 2 months ago
• patricoferris / hilite

  View on GitHub
  Hilite - a simple code to HTML syntax highlighter
  ☆22Aug 18, 2025Updated 5 months ago
• dbuenzli / bytesrw

  View on GitHub
  Composable byte stream readers and writers for OCaml
  ☆22Updated this week
• craigfe / brands

  View on GitHub
  Defunctionalised higher-kinded polymorphism in OCaml.
  ☆20Oct 13, 2020Updated 5 years ago
• yomimono / chamelon

  View on GitHub
  a small, simple block-backed key-value store for MirageOS
  ☆31Oct 27, 2025Updated 3 months ago
• lukstafi / ppx_minidebug

  View on GitHub
  Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…
  ☆31Feb 4, 2026Updated last week