Alternatives and similar repositories for hardcaml

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

• janestreet / hardcaml_circuits

  View on GitHub
  Hardcaml Circuits
  ☆22Jan 15, 2026Updated 3 weeks ago
• mirage / eqaf

  View on GitHub
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Jun 27, 2024Updated last year
• askvortsov1 / hardcaml-mips

  View on GitHub
  ☆41May 19, 2022Updated 3 years ago
• ocaml-gospel / gospel

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

  View on GitHub
  Translate OCaml bytecode to WebAssembly
  ☆132Jan 13, 2025Updated last year
• ocaml-multicore / ocaml-multicore

  View on GitHub
  Multicore OCaml
  ☆766Dec 9, 2022Updated 3 years ago
• ocaml / dune

  View on GitHub
  A composable build system for OCaml.
  ☆1,837Updated this week
• ocaml-ppx / ppxlib

  View on GitHub
  Base library and tools for ppx rewriters
  ☆284Updated this week
• owlbarn / owl

  View on GitHub
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,324Sep 23, 2025Updated 4 months ago
• fyquah / hardcaml_arty

  View on GitHub
  A hardcaml library to interface with arty boards
  ☆19Feb 8, 2023Updated 3 years ago
• ocaml / ocaml-lsp

  View on GitHub
  OCaml Language Server Protocol implementation
  ☆879Feb 8, 2026Updated last week
• zshipko / ocaml-rs

  View on GitHub
  OCaml extensions in Rust
  ☆287Updated this week
• leostera / caramel

  View on GitHub
  a functional language for building type-safe, scalable, and maintainable applications
  ☆1,097Sep 25, 2023Updated 2 years ago
• craigfe / progress

  View on GitHub
  Progress bar library for OCaml
  ☆142Sep 25, 2025Updated 4 months ago
• let-def / lwd

  View on GitHub
  Lightweight document
  ☆147Sep 23, 2025Updated 4 months ago
• ujamjar / hardcaml

  View on GitHub
  [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
  ☆119Dec 19, 2020Updated 5 years ago
• ocaml-multicore / eio

  View on GitHub
  Effects-based direct-style IO for multicore OCaml
  ☆674Nov 4, 2025Updated 3 months ago
• ocaml-ppx / cinaps

  View on GitHub
  Trivial Metaprogramming tool using the OCaml toplevel
  ☆55Apr 6, 2022Updated 3 years ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• tarides / dune-release

  View on GitHub
  Streamlining the release of dune packages to opam
  ☆119Jan 29, 2026Updated 2 weeks ago
• ocaml / RFCs

  View on GitHub
  Design discussions about the OCaml language
  ☆172Dec 12, 2025Updated 2 months ago
• ocaml / Zarith

  View on GitHub
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆257Jan 11, 2026Updated last month
• janestreet / hardcaml_verify

  View on GitHub
  Hardcaml Verification Tools
  ☆14Jan 15, 2026Updated 3 weeks ago
• ocsigen / lwt

  View on GitHub
  OCaml promises and concurrent I/O
  ☆779Feb 3, 2026Updated last week
• inhabitedtype / angstrom

  View on GitHub
  Parser combinators built for speed and memory efficiency
  ☆698Sep 12, 2024Updated last year
• janestreet / base

  View on GitHub
  Standard library for OCaml
  ☆1,007Jan 15, 2026Updated 3 weeks ago
• akabe / ocaml-jupyter

  View on GitHub
  An OCaml kernel for Jupyter (IPython) notebook
  ☆306Feb 8, 2026Updated last week
• c-cube / qcheck

  View on GitHub
  QuickCheck inspired property-based testing for OCaml.
  ☆392Jan 31, 2026Updated 2 weeks ago
• ocaml / odoc

  View on GitHub
  Documentation compiler for OCaml and Reason
  ☆345Jan 28, 2026Updated 2 weeks ago
• camlworks / dream

  View on GitHub
  Tidy, feature-complete Web framework
  ☆1,818Feb 6, 2026Updated last week
• ocsigen / js_of_ocaml

  View on GitHub
  Compiler from OCaml to Javascript.
  ☆1,077Updated this week
• yallop / ocaml-ctypes

  View on GitHub
  Library for binding to C libraries using pure OCaml
  ☆403Nov 6, 2025Updated 3 months ago
• jmid / mutaml

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

  View on GitHub
  Execute code blocks inside your documentation
  ☆286Oct 8, 2025Updated 4 months ago
• nanocaml / nanocaml

  View on GitHub
  Nanopass for OCaml
  ☆147Dec 21, 2017Updated 8 years ago
• ocaml-flambda / ocaml-jst

  View on GitHub
  OCaml plus Jane Street extensions
  ☆73Jul 17, 2024Updated last year
• ocaml-multicore / ocaml5-tutorial

  View on GitHub
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆213Mar 11, 2024Updated last year
• well-typed-lightbulbs / ocaml-esp32

  View on GitHub
  Native compiler backend for esp32
  ☆65Feb 16, 2021Updated 4 years ago
• garrigue / lablgl

  View on GitHub
  LablGL: an openGL interface for OCaml
  ☆25Dec 24, 2023Updated 2 years ago