janestreet/hardcaml 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

janestreet/hardcaml

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/janestreet/hardcaml)

Close

janestreet / hardcamlView on GitHubMore

• External links
• Readme badge

Hardcaml is an OCaml library for designing hardware.

☆985Jan 15, 2026Updated last month

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 last month
• ocaml-gospel / gospel

  View on GitHub
  A tool-agnostic formal specification language for OCaml.
  ☆156Feb 13, 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
• 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,848Updated this week
• owlbarn / owl

  View on GitHub
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,332Sep 23, 2025Updated 5 months ago
• ocaml-ppx / ppxlib

  View on GitHub
  Base library and tools for ppx rewriters
  ☆287Feb 19, 2026Updated 2 weeks ago
• fyquah / hardcaml_arty

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

  View on GitHub
  OCaml extensions in Rust
  ☆287Feb 10, 2026Updated 3 weeks ago
• ocaml / ocaml-lsp

  View on GitHub
  OCaml Language Server Protocol implementation
  ☆888Updated 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
  ☆143Sep 25, 2025Updated 5 months ago
• let-def / lwd

  View on GitHub
  Lightweight document
  ☆148Updated this week
• 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
  ☆676Nov 4, 2025Updated 4 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 last month
• ocaml / RFCs

  View on GitHub
  Design discussions about the OCaml language
  ☆173Feb 20, 2026Updated 2 weeks ago
• ocaml / Zarith

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

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

  View on GitHub
  Parser combinators built for speed and memory efficiency
  ☆701Sep 12, 2024Updated last year
• akabe / ocaml-jupyter

  View on GitHub
  An OCaml kernel for Jupyter (IPython) notebook
  ☆310Feb 18, 2026Updated 2 weeks ago
• janestreet / base

  View on GitHub
  Standard library for OCaml
  ☆1,015Jan 15, 2026Updated last month
• c-cube / qcheck

  View on GitHub
  QuickCheck inspired property-based testing for OCaml.
  ☆395Feb 18, 2026Updated 2 weeks ago
• ocaml / odoc

  View on GitHub
  Documentation compiler for OCaml
  ☆346Jan 28, 2026Updated last month
• camlworks / dream

  View on GitHub
  Tidy, feature-complete Web framework
  ☆1,828Feb 20, 2026Updated 2 weeks ago
• ocsigen / js_of_ocaml

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

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

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

  View on GitHub
  Execute code blocks inside your documentation
  ☆287Oct 8, 2025Updated 5 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
• janestreet / hardcaml_verify

  View on GitHub
  Hardcaml Verification Tools
  ☆15Jan 15, 2026Updated last month
• 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 5 years ago
• garrigue / lablgl

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