13 Search Results
hardcaml-affirm
Verification tools for HardCaml
0.1.0
Used by 0 other packages
hardcaml-bloop
Boolean logic tools for HardCaml
0.1.0
Used by 1 other packages
hardcaml-examples
HardCaml examples designs build using hardcaml-framework
0.3.0
Used by 1 other packages
hardcaml-framework
Framework for generating and simulating HardCaml cores
0.3.0
Used by 1 other packages
hardcaml-llvmsim
HardCaml simulation backend using LLVM
0.3.0
Used by 0 other packages
hardcaml-reedsolomon
HardCaml implementation of Reed-Solomon error correction coding
0.3.0
Used by 0 other packages
hardcaml-vpi
HardCaml Icarus Verilog cosimulation module
0.3.0
Used by 0 other packages
hardcaml-waveterm
Terminal based digital waveform viewer
0.2.0
Used by 4 other packages
iocaml
A webserver for iocaml-kernel and iocamljs-kernel.
0.4.9
Used by 0 other packages
iocaml-kernel
An OCaml kernel for the IPython notebook.
0.4.8
Used by 1 other packages
iocamljs-kernel
An OCaml javascript kernel for the IPython notebook.
0.4.8
Used by 1 other packages
reedsolomon
Reed-Solomon Error Correction CODEC
0.3
MIT
Used by 1 other packages
sattools
Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat
0.1.0
Used by 2 other packages