hardcaml
Hardware design toolkit
A comprehensive OCaml library and toolset for designing, testing, and simulating digital hardware
Hardcaml is an OCaml library for designing hardware.
670 stars
33 watching
39 forks
Language: OCaml
last commit: 13 days ago
Linked from 1 awesome list
drom/awesome-hdlRelated projects:
| Repository | Description | Stars |
|---|---|---|
| janestreet/base | A replacement standard library for OCaml that provides a set of well-tested and portable general-purpose modules. | 868 |
| janestreet/core_bench | A library for running micro-benchmarks in OCaml | 49 |
| janestreet/core | A standard library overlay providing reusable, modular building blocks for OCaml programming | 1,115 |
| janestreet/incremental | A library for building efficient incremental computations in OCaml | 876 |
| janestreet/typerep | A runtime environment providing type-safe functionality for the OCaml programming language | 23 |
 ocaml-community/easy-format | A utility library for pretty-printing indentation in OCaml programs. | 43 |
 chaseruskin/legohdl | A package manager and development tool for Hardware Description Languages (HDL) used to manage digital designs and intellectual property. | 14 |
 analogdevicesinc/hdl | Analog Devices Inc. provides reference designs and HDL libraries for various FPGA projects | 1,526 |
| janestreet/incr_dom | A library for building dynamic web applications by incrementally rendering HTML views and handling user interactions. | 381 |
 nvdla/hw | The NVDLA project provides hardware designs and tools for building deep learning inference accelerators. | 1,744 |
 linklayer/cantact-pro-hw | Design files and documentation for hardware components of a CAN interface device | 63 |
 c-cube/qcheck | A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 347 |
 ocaml-multicore/multicore-talks | Repository containing slides and examples to help developers parallelize their OCaml code using the Multicore OCaml library | 29 |
 mattjbray/ocaml-decoders | A combinator library that decodes JSON-like data into OCaml types | 84 |
 sanderspies/ocaml | A WebAssembly backend for the OCaml programming language | 80 |