There are 0 repository under hardcaml topic.
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.
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