Shadowgraph

Tech stack & purpose

Hardcaml is an OCaml library for designing, simulating, and synthesizing hardware. It enables developers to express hardware designs in OCaml, leveraging the language's type system and metaprogramming capabilities to create reusable, generic circuits that can be compiled to Verilog or VHDL for FPGA synthesis. The library includes a simulation backend, support for waveform visualization, and tools for formal verification and integration with external hardware tools like Xilinx and Verilator. Hardcaml is developed and maintained by Jane Street.