35 skills found · Page 1 of 2
janestreet / HardcamlHardcaml is an OCaml library for designing hardware.
ujamjar / Hardcaml[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
fyquah / Hardcaml ZprizeHardcaml_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.
ujamjar / Hardcaml ZincHardCaml implementation of the OCaml ZINC Abstract Machine
askvortsov1 / Hardcaml MipsNo description available
janestreet / Hardcaml Template ProjectSimple starter project for Hardcaml development
janestreet / Hardcaml CircuitsHardcaml Circuits
xThaid / Fpga LbA toy L4 load balancer running on FPGA
fyquah / Hardcaml ArtyA hardcaml library to interface with arty boards
janestreet / Hardcaml Of VerilogConvert Verilog to a Hardcaml design
ujamjar / Hardcaml ExamplesHardCaml example designs
asinghani / Advent Of Hardcaml 2024Solving 2024 Advent of Code entirely on an FPGA using Hardcaml
ujamjar / Hardcaml RiscvRISC-V instruction set CPUs in HardCaml
janestreet / Hardcaml VerifyHardcaml Verification Tools
janestreet / Hardcaml WavetermA terminal based digital waveform viewer for Hardcaml
ujamjar / Hardcaml LlvmsimLLVM JIT Cycle Accurate Simulator for HardCaml
janestreet / Hardcaml Fixed PointHardcaml fixed point arithmetic
asinghani / Advent Of Hardcaml 2025My attempts at solving Advent of Code 2025 in an FPGA
cmangla / Altera Sockit HardcamlNo description available
janestreet / Hardcaml VerilatorHardcaml Verilator Simulation Backend
