There are no reviews yet. Be the first to send feedback to the community and the maintainers!
hardcaml
[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCamlhardcaml-zinc
HardCaml implementation of the OCaml ZINC Abstract Machinehardcaml-examples
HardCaml example designsctypes_of_clang
Convert C-code to OCaml Ctypes via Clanghardcaml-riscv
RISC-V instruction set CPUs in HardCamlhardcaml-llvmsim
LLVM JIT Cycle Accurate Simulator for HardCamlhardcaml-affirm
Verification tools for HardCamlsattools
SAT solver interfaces (minisat, picosat, cryptominisat)hardcaml-waveterm
[Deprecated] Digital waveform viewerhardcaml-yosys
[DEPRECATED] Import verilog designs into hardcaml using yosyshardcaml-vpi
HardCaml Icarus Verilog VPI cosimulationhardcaml-reedsolomon
HardCaml Reed-Solomon Error Correction CODECoh261
OCaml H.261 Video CODECriscv
RISC-V tools in OCamlovideo
OCaml Video CODEC Utility Libraryhardcaml-mor1kx
OpenRISC mor1kx port to HardCamlhardcaml-gaa
Guarded Atomic Actions for HardCamlocaml-cryptominisat
OCaml bindings for cryptominisat4 *DEPRECIATED* see https://github.com/ujamjar/sattoolsoplay
YUV video player using tsdlhardcaml-bloop
boolean operationsboard-tools
board-toolshardcaml-tutorial
Tutorial designs for HardCamlhardcaml-game-of-life
hardcaml-framework
Framework for building HardCaml core generators as command line apps or webpageshardcaml-meta
META data tools for VHDL/Verilog cores for use with HardCamlLove Open Source and this site? Check out how you can help us