Opam Package hardcaml.v0.14.0

Package info

opam-namehardcaml
opam-versionv0.14.0
synopsisRTL Hardware Design in OCaml
description Hardcaml is an embedded DSL for designing and simulating hardware in OCaml. Generic hardware designs are easily expressed using features such as higher order functions, lists, maps etc. A built in simulator allows designs to be simulated within Hardcaml. Designs are converted to either Verilog or VHDL to interact with standard back end tooling.
authors
  • Jane Street Group, LLC <opensource@janestreet.com>
homepagehttps://github.com/janestreet/hardcaml
licenseMIT
changes-fileCHANGES.md
license-fileLICENSE.md
readme-fileREADME.md
deps (9)
revdeps (2)
metas (2)
libraries (2)

Package modules

Package sources

hardcaml

Package files

lib/stublibs/dllhardcaml_stubs.so
lib/hardcaml/zarith.ml
lib/hardcaml/xilinx_intf.ml
lib/hardcaml/xilinx.mli
lib/hardcaml/xilinx.ml
lib/hardcaml/with_valid.mli
lib/hardcaml/with_valid.ml
lib/hardcaml/vcd.mli
lib/hardcaml/vcd.ml
lib/hardcaml/transform_intf.ml
lib/hardcaml/transform.mli
lib/hardcaml/transform.ml
lib/hardcaml/structural_intf.ml
lib/hardcaml/structural.mli
lib/hardcaml/structural.ml
lib/hardcaml/signal_intf.ml
lib/hardcaml/signal_graph.mli
lib/hardcaml/signal_graph.ml
lib/hardcaml/signal.mli
lib/hardcaml/signal.ml
lib/hardcaml/side.mli
lib/hardcaml/side.ml
lib/hardcaml/scope.mli
lib/hardcaml/scope.ml
lib/hardcaml/rtl_intf.ml
lib/hardcaml/rtl_attribute.mli
lib/hardcaml/rtl_attribute.ml
lib/hardcaml/rtl.mli
lib/hardcaml/rtl.ml
lib/hardcaml/reserved_words.mli
lib/hardcaml/reserved_words.ml
lib/hardcaml/reg_spec.ml
lib/hardcaml/recipe_intf.ml
lib/hardcaml/recipe.mli
lib/hardcaml/recipe.ml
lib/hardcaml/ram.mli
lib/hardcaml/ram.ml
lib/hardcaml/ppx_deriving_hardcaml_runtime.mli
lib/hardcaml/ppx_deriving_hardcaml_runtime.ml
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml_zero.mli
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml_zero.ml
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0__Ppx_deriving_hardcaml_zero.cmx
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0__Ppx_deriving_hardcaml_zero.cmti
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0__Ppx_deriving_hardcaml_zero.cmt
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0__Ppx_deriving_hardcaml_zero.cmi
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0.ml
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0.cmxs
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0.cmxa
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0.cmx
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0.cmt
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0.cmi
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0.cma
lib/hardcaml/ppx_deriving_hardcaml0/ppx_deriving_hardcaml0.a
lib/hardcaml/ppx_deriving_hardcaml0
lib/hardcaml/parameter_name.mli
lib/hardcaml/parameter_name.ml
lib/hardcaml/parameter.mli
lib/hardcaml/parameter.ml
lib/hardcaml/opam
lib/hardcaml/map_intf.ml
lib/hardcaml/map.mli
lib/hardcaml/map.ml
lib/hardcaml/mangler.mli
lib/hardcaml/mangler.ml
lib/hardcaml/libhardcaml_stubs.a
lib/hardcaml/level.mli
lib/hardcaml/level.ml
lib/hardcaml/interface_intf.ml
lib/hardcaml/interface.mli
lib/hardcaml/interface.ml
lib/hardcaml/intbitsList.mli
lib/hardcaml/intbitsList.ml
lib/hardcaml/instantiation.mli
lib/hardcaml/instantiation.ml
lib/hardcaml/import.ml
lib/hardcaml/hierarchy.mli
lib/hardcaml/hierarchy.ml
lib/hardcaml/hardcaml__Zarith.cmx
lib/hardcaml/hardcaml__Zarith.cmt
lib/hardcaml/hardcaml__Zarith.cmi
lib/hardcaml/hardcaml__Xilinx_intf.cmx
lib/hardcaml/hardcaml__Xilinx_intf.cmt
lib/hardcaml/hardcaml__Xilinx_intf.cmi
lib/hardcaml/hardcaml__Xilinx.cmx
lib/hardcaml/hardcaml__Xilinx.cmti
lib/hardcaml/hardcaml__Xilinx.cmt
lib/hardcaml/hardcaml__Xilinx.cmi
lib/hardcaml/hardcaml__With_valid.cmx
lib/hardcaml/hardcaml__With_valid.cmti
lib/hardcaml/hardcaml__With_valid.cmt
lib/hardcaml/hardcaml__With_valid.cmi
lib/hardcaml/hardcaml__Vcd.cmx
lib/hardcaml/hardcaml__Vcd.cmti
lib/hardcaml/hardcaml__Vcd.cmt
lib/hardcaml/hardcaml__Vcd.cmi
lib/hardcaml/hardcaml__Transform_intf.cmx
lib/hardcaml/hardcaml__Transform_intf.cmt
lib/hardcaml/hardcaml__Transform_intf.cmi
lib/hardcaml/hardcaml__Transform.cmx
lib/hardcaml/hardcaml__Transform.cmti
lib/hardcaml/hardcaml__Transform.cmt
lib/hardcaml/hardcaml__Transform.cmi
lib/hardcaml/hardcaml__Structural_intf.cmx
lib/hardcaml/hardcaml__Structural_intf.cmt
lib/hardcaml/hardcaml__Structural_intf.cmi
lib/hardcaml/hardcaml__Structural.cmx
lib/hardcaml/hardcaml__Structural.cmti
lib/hardcaml/hardcaml__Structural.cmt
lib/hardcaml/hardcaml__Structural.cmi
lib/hardcaml/hardcaml__Signal_intf.cmx
lib/hardcaml/hardcaml__Signal_intf.cmt
lib/hardcaml/hardcaml__Signal_intf.cmi
lib/hardcaml/hardcaml__Signal_graph.cmx
lib/hardcaml/hardcaml__Signal_graph.cmti
lib/hardcaml/hardcaml__Signal_graph.cmt
lib/hardcaml/hardcaml__Signal_graph.cmi
lib/hardcaml/hardcaml__Signal.cmx
lib/hardcaml/hardcaml__Signal.cmti
lib/hardcaml/hardcaml__Signal.cmt
lib/hardcaml/hardcaml__Signal.cmi
lib/hardcaml/hardcaml__Side.cmx
lib/hardcaml/hardcaml__Side.cmti
lib/hardcaml/hardcaml__Side.cmt
lib/hardcaml/hardcaml__Side.cmi
lib/hardcaml/hardcaml__Scope.cmx
lib/hardcaml/hardcaml__Scope.cmti
lib/hardcaml/hardcaml__Scope.cmt
lib/hardcaml/hardcaml__Scope.cmi
lib/hardcaml/hardcaml__Rtl_intf.cmx
lib/hardcaml/hardcaml__Rtl_intf.cmt
lib/hardcaml/hardcaml__Rtl_intf.cmi
lib/hardcaml/hardcaml__Rtl_attribute.cmx
lib/hardcaml/hardcaml__Rtl_attribute.cmti
lib/hardcaml/hardcaml__Rtl_attribute.cmt
lib/hardcaml/hardcaml__Rtl_attribute.cmi
lib/hardcaml/hardcaml__Rtl.cmx
lib/hardcaml/hardcaml__Rtl.cmti
lib/hardcaml/hardcaml__Rtl.cmt
lib/hardcaml/hardcaml__Rtl.cmi
lib/hardcaml/hardcaml__Reserved_words.cmx
lib/hardcaml/hardcaml__Reserved_words.cmti
lib/hardcaml/hardcaml__Reserved_words.cmt
lib/hardcaml/hardcaml__Reserved_words.cmi
lib/hardcaml/hardcaml__Reg_spec.cmx
lib/hardcaml/hardcaml__Reg_spec.cmt
lib/hardcaml/hardcaml__Reg_spec.cmi
lib/hardcaml/hardcaml__Recipe_intf.cmx
lib/hardcaml/hardcaml__Recipe_intf.cmt
lib/hardcaml/hardcaml__Recipe_intf.cmi
lib/hardcaml/hardcaml__Recipe.cmx
lib/hardcaml/hardcaml__Recipe.cmti
lib/hardcaml/hardcaml__Recipe.cmt
lib/hardcaml/hardcaml__Recipe.cmi
lib/hardcaml/hardcaml__Ram.cmx
lib/hardcaml/hardcaml__Ram.cmti
lib/hardcaml/hardcaml__Ram.cmt
lib/hardcaml/hardcaml__Ram.cmi
lib/hardcaml/hardcaml__Ppx_deriving_hardcaml_runtime.cmx
lib/hardcaml/hardcaml__Ppx_deriving_hardcaml_runtime.cmti
lib/hardcaml/hardcaml__Ppx_deriving_hardcaml_runtime.cmt
lib/hardcaml/hardcaml__Ppx_deriving_hardcaml_runtime.cmi
lib/hardcaml/hardcaml__Parameter_name.cmx
lib/hardcaml/hardcaml__Parameter_name.cmti
lib/hardcaml/hardcaml__Parameter_name.cmt
lib/hardcaml/hardcaml__Parameter_name.cmi
lib/hardcaml/hardcaml__Parameter.cmx
lib/hardcaml/hardcaml__Parameter.cmti
lib/hardcaml/hardcaml__Parameter.cmt
lib/hardcaml/hardcaml__Parameter.cmi
lib/hardcaml/hardcaml__Map_intf.cmx
lib/hardcaml/hardcaml__Map_intf.cmt
lib/hardcaml/hardcaml__Map_intf.cmi
lib/hardcaml/hardcaml__Map.cmx
lib/hardcaml/hardcaml__Map.cmti
lib/hardcaml/hardcaml__Map.cmt
lib/hardcaml/hardcaml__Map.cmi
lib/hardcaml/hardcaml__Mangler.cmx
lib/hardcaml/hardcaml__Mangler.cmti
lib/hardcaml/hardcaml__Mangler.cmt
lib/hardcaml/hardcaml__Mangler.cmi
lib/hardcaml/hardcaml__Level.cmx
lib/hardcaml/hardcaml__Level.cmti
lib/hardcaml/hardcaml__Level.cmt
lib/hardcaml/hardcaml__Level.cmi
lib/hardcaml/hardcaml__Interface_intf.cmx
lib/hardcaml/hardcaml__Interface_intf.cmt
lib/hardcaml/hardcaml__Interface_intf.cmi
lib/hardcaml/hardcaml__Interface.cmx
lib/hardcaml/hardcaml__Interface.cmti
lib/hardcaml/hardcaml__Interface.cmt
lib/hardcaml/hardcaml__Interface.cmi
lib/hardcaml/hardcaml__IntbitsList.cmx
lib/hardcaml/hardcaml__IntbitsList.cmti
lib/hardcaml/hardcaml__IntbitsList.cmt
lib/hardcaml/hardcaml__IntbitsList.cmi
lib/hardcaml/hardcaml__Instantiation.cmx
lib/hardcaml/hardcaml__Instantiation.cmti
lib/hardcaml/hardcaml__Instantiation.cmt
lib/hardcaml/hardcaml__Instantiation.cmi
lib/hardcaml/hardcaml__Import.cmx
lib/hardcaml/hardcaml__Import.cmt
lib/hardcaml/hardcaml__Import.cmi
lib/hardcaml/hardcaml__Hierarchy.cmx
lib/hardcaml/hardcaml__Hierarchy.cmti
lib/hardcaml/hardcaml__Hierarchy.cmt
lib/hardcaml/hardcaml__Hierarchy.cmi
lib/hardcaml/hardcaml__Graph.cmx
lib/hardcaml/hardcaml__Graph.cmti
lib/hardcaml/hardcaml__Graph.cmt
lib/hardcaml/hardcaml__Graph.cmi
lib/hardcaml/hardcaml__Fixed_intf.cmx
lib/hardcaml/hardcaml__Fixed_intf.cmt
lib/hardcaml/hardcaml__Fixed_intf.cmi
lib/hardcaml/hardcaml__Fixed.cmx
lib/hardcaml/hardcaml__Fixed.cmti
lib/hardcaml/hardcaml__Fixed.cmt
lib/hardcaml/hardcaml__Fixed.cmi
lib/hardcaml/hardcaml__Fifo_intf.cmx
lib/hardcaml/hardcaml__Fifo_intf.cmt
lib/hardcaml/hardcaml__Fifo_intf.cmi
lib/hardcaml/hardcaml__Fifo.cmx
lib/hardcaml/hardcaml__Fifo.cmti
lib/hardcaml/hardcaml__Fifo.cmt
lib/hardcaml/hardcaml__Fifo.cmi
lib/hardcaml/hardcaml__Edge.cmx
lib/hardcaml/hardcaml__Edge.cmti
lib/hardcaml/hardcaml__Edge.cmt
lib/hardcaml/hardcaml__Edge.cmi
lib/hardcaml/hardcaml__Design_rule_checks.cmx
lib/hardcaml/hardcaml__Design_rule_checks.cmti
lib/hardcaml/hardcaml__Design_rule_checks.cmt
lib/hardcaml/hardcaml__Design_rule_checks.cmi
lib/hardcaml/hardcaml__Dedup.cmx
lib/hardcaml/hardcaml__Dedup.cmti
lib/hardcaml/hardcaml__Dedup.cmt
lib/hardcaml/hardcaml__Dedup.cmi
lib/hardcaml/hardcaml__Cyclesim_intf.cmx
lib/hardcaml/hardcaml__Cyclesim_intf.cmt
lib/hardcaml/hardcaml__Cyclesim_intf.cmi
lib/hardcaml/hardcaml__Cyclesim_float_ops_intf.cmx
lib/hardcaml/hardcaml__Cyclesim_float_ops_intf.cmt
lib/hardcaml/hardcaml__Cyclesim_float_ops_intf.cmi
lib/hardcaml/hardcaml__Cyclesim_float_ops.cmx
lib/hardcaml/hardcaml__Cyclesim_float_ops.cmti
lib/hardcaml/hardcaml__Cyclesim_float_ops.cmt
lib/hardcaml/hardcaml__Cyclesim_float_ops.cmi
lib/hardcaml/hardcaml__Cyclesim.cmx
lib/hardcaml/hardcaml__Cyclesim.cmti
lib/hardcaml/hardcaml__Cyclesim.cmt
lib/hardcaml/hardcaml__Cyclesim.cmi
lib/hardcaml/hardcaml__Cosim2_intf.cmx
lib/hardcaml/hardcaml__Cosim2_intf.cmt
lib/hardcaml/hardcaml__Cosim2_intf.cmi
lib/hardcaml/hardcaml__Cosim2.cmx
lib/hardcaml/hardcaml__Cosim2.cmti
lib/hardcaml/hardcaml__Cosim2.cmt
lib/hardcaml/hardcaml__Cosim2.cmi
lib/hardcaml/hardcaml__Cosim.cmx
lib/hardcaml/hardcaml__Cosim.cmti
lib/hardcaml/hardcaml__Cosim.cmt
lib/hardcaml/hardcaml__Cosim.cmi
lib/hardcaml/hardcaml__Constant.cmx
lib/hardcaml/hardcaml__Constant.cmti
lib/hardcaml/hardcaml__Constant.cmt
lib/hardcaml/hardcaml__Constant.cmi
lib/hardcaml/hardcaml__Combinational_ops_database.cmx
lib/hardcaml/hardcaml__Combinational_ops_database.cmti
lib/hardcaml/hardcaml__Combinational_ops_database.cmt
lib/hardcaml/hardcaml__Combinational_ops_database.cmi
lib/hardcaml/hardcaml__Combinational_op.cmx
lib/hardcaml/hardcaml__Combinational_op.cmti
lib/hardcaml/hardcaml__Combinational_op.cmt
lib/hardcaml/hardcaml__Combinational_op.cmi
lib/hardcaml/hardcaml__Comb_intf.cmx
lib/hardcaml/hardcaml__Comb_intf.cmt
lib/hardcaml/hardcaml__Comb_intf.cmi
lib/hardcaml/hardcaml__Comb.cmx
lib/hardcaml/hardcaml__Comb.cmti
lib/hardcaml/hardcaml__Comb.cmt
lib/hardcaml/hardcaml__Comb.cmi
lib/hardcaml/hardcaml__Circuit_utilization.cmx
lib/hardcaml/hardcaml__Circuit_utilization.cmti
lib/hardcaml/hardcaml__Circuit_utilization.cmt
lib/hardcaml/hardcaml__Circuit_utilization.cmi
lib/hardcaml/hardcaml__Circuit_database.cmx
lib/hardcaml/hardcaml__Circuit_database.cmti
lib/hardcaml/hardcaml__Circuit_database.cmt
lib/hardcaml/hardcaml__Circuit_database.cmi
lib/hardcaml/hardcaml__Circuit.cmx
lib/hardcaml/hardcaml__Circuit.cmti
lib/hardcaml/hardcaml__Circuit.cmt
lib/hardcaml/hardcaml__Circuit.cmi
lib/hardcaml/hardcaml__Caller_id.cmx
lib/hardcaml/hardcaml__Caller_id.cmti
lib/hardcaml/hardcaml__Caller_id.cmt
lib/hardcaml/hardcaml__Caller_id.cmi
lib/hardcaml/hardcaml__Build_mode.cmx
lib/hardcaml/hardcaml__Build_mode.cmti
lib/hardcaml/hardcaml__Build_mode.cmt
lib/hardcaml/hardcaml__Build_mode.cmi
lib/hardcaml/hardcaml__Bits_intf.cmx
lib/hardcaml/hardcaml__Bits_intf.cmt
lib/hardcaml/hardcaml__Bits_intf.cmi
lib/hardcaml/hardcaml__Bits0.cmx
lib/hardcaml/hardcaml__Bits0.cmti
lib/hardcaml/hardcaml__Bits0.cmt
lib/hardcaml/hardcaml__Bits0.cmi
lib/hardcaml/hardcaml__Bits.cmx
lib/hardcaml/hardcaml__Bits.cmti
lib/hardcaml/hardcaml__Bits.cmt
lib/hardcaml/hardcaml__Bits.cmi
lib/hardcaml/hardcaml__Architecture.cmx
lib/hardcaml/hardcaml__Architecture.cmti
lib/hardcaml/hardcaml__Architecture.cmt
lib/hardcaml/hardcaml__Architecture.cmi
lib/hardcaml/hardcaml__Always.cmx
lib/hardcaml/hardcaml__Always.cmti
lib/hardcaml/hardcaml__Always.cmt
lib/hardcaml/hardcaml__Always.cmi
lib/hardcaml/hardcaml__.ml
lib/hardcaml/hardcaml__.cmx
lib/hardcaml/hardcaml__.cmt
lib/hardcaml/hardcaml__.cmi
lib/hardcaml/hardcaml.ml
lib/hardcaml/hardcaml.cmxs
lib/hardcaml/hardcaml.cmxa
lib/hardcaml/hardcaml.cmx
lib/hardcaml/hardcaml.cmt
lib/hardcaml/hardcaml.cmi
lib/hardcaml/hardcaml.cma
lib/hardcaml/hardcaml.a
lib/hardcaml/graph.mli
lib/hardcaml/graph.ml
lib/hardcaml/fixed_intf.ml
lib/hardcaml/fixed.mli
lib/hardcaml/fixed.ml
lib/hardcaml/fifo_intf.ml
lib/hardcaml/fifo.mli
lib/hardcaml/fifo.ml
lib/hardcaml/edge.mli
lib/hardcaml/edge.ml
lib/hardcaml/dune-package
lib/hardcaml/design_rule_checks.mli
lib/hardcaml/design_rule_checks.ml
lib/hardcaml/dedup.mli
lib/hardcaml/dedup.ml
lib/hardcaml/cyclesim_intf.ml
lib/hardcaml/cyclesim_float_ops_intf.ml
lib/hardcaml/cyclesim_float_ops.mli
lib/hardcaml/cyclesim_float_ops.ml
lib/hardcaml/cyclesim.mli
lib/hardcaml/cyclesim.ml
lib/hardcaml/cosim2_intf.ml
lib/hardcaml/cosim2.mli
lib/hardcaml/cosim2.ml
lib/hardcaml/cosim.mli
lib/hardcaml/cosim.ml
lib/hardcaml/constant.mli
lib/hardcaml/constant.ml
lib/hardcaml/combinational_ops_database.mli
lib/hardcaml/combinational_ops_database.ml
lib/hardcaml/combinational_op.mli
lib/hardcaml/combinational_op.ml
lib/hardcaml/comb_intf.ml
lib/hardcaml/comb.mli
lib/hardcaml/comb.ml
lib/hardcaml/circuit_utilization.mli
lib/hardcaml/circuit_utilization.ml
lib/hardcaml/circuit_database.mli
lib/hardcaml/circuit_database.ml
lib/hardcaml/circuit.mli
lib/hardcaml/circuit.ml
lib/hardcaml/caller_id.mli
lib/hardcaml/caller_id.ml
lib/hardcaml/build_mode.mli
lib/hardcaml/build_mode.ml
lib/hardcaml/bits_intf.ml
lib/hardcaml/bits0.mli
lib/hardcaml/bits0.ml
lib/hardcaml/bits.mli
lib/hardcaml/bits.ml
lib/hardcaml/architecture.mli
lib/hardcaml/architecture.ml
lib/hardcaml/always.mli
lib/hardcaml/always.ml
lib/hardcaml/META
lib/hardcaml
doc/hardcaml/README.md
doc/hardcaml/LICENSE.md
doc/hardcaml/CHANGES.md
doc/hardcaml