HardCaml 是 OCaml 编写的寄存器传输级硬件设计。
HardCaml 是设计硬件的 OCaml 库：
使用 OCaml 表达硬件设计
使用高需求函数，列表，映射，functors 创建常规设计
使用 OCaml 模拟设计
转换成 VHDL, Verilog, C
编写新模块变换或者分析电路，提供新后端
