Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and multi-scalar multiplications (MSM) in Hardcaml. Originally developed as submissions to the 2022 ZPrize competition.

A toy L4 load balancer running on FPGA

An implementation of a CHIP-8 machine for FPGAs in Hardcaml with a custom assembler for writing test programs

An implementation of Chacha20 and Poly1305 in Hardcaml

A web-based IDE for Hardcaml

A hardware-first exploration of Advent of Code 2025, implementing each puzzle as a cycle-accurate FPGA design in Hardcaml, using streaming UART I/O, explicit memory pipelines, and finite-state schedulers instead of software control flow.

A few experiments targetting the Sipeed Nano 20K.