Hardcaml is an OCaml library for hardware design that provides productive abstractions for circuit design, rigorous validation through simulation and formal verification, and seamless integration between hardware and software. It supports the full hardware-design flow including design, verification, optimization, and integration, and is used in production by Jane Street for ultra-low-latency trading systems.