#

hardcaml

Here are 4 public repositories matching this topic...

fyquah / hardcaml_zprize

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.

fpga hardcaml

Updated Jun 22, 2024
OCaml

xThaid / fpga-lb

A toy L4 load balancer running on FPGA

networking fpga ocaml load-balancer riscv freertos dataflow verilator quartus vexriscv hardcaml

Updated Feb 28, 2022
C

jawline / c8hardcaml

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

chip-8 emulators fpga-programming hardcaml

Updated Jul 23, 2022
OCaml

jawline / chacha20-poly1305-hardcaml

An implementation of Chacha20 and Poly1305 in Hardcaml

cryptography ocaml hardcaml

Updated Oct 25, 2023
OCaml

Improve this page

Add a description, image, and links to the hardcaml topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hardcaml topic, visit your repo's landing page and select "manage topics."