13 search results for "author:"andy.ray@ujamjar.com""
Showing 1 - 13
-
Verification tools for HardCaml0.1.0Used by 0 other packages06 Jan 2017
-
Boolean logic tools for HardCaml0.1.0Used by 1 other packages06 Jan 2017
-
HardCaml examples designs build using hardcaml-framework0.3.0Used by 1 other packages06 Jan 2017
-
Framework for generating and simulating HardCaml cores0.3.0Used by 1 other packages06 Jan 2017
-
HardCaml simulation backend using LLVM0.3.0Used by 0 other packages06 Jan 2017
-
HardCaml implementation of Reed-Solomon error correction coding0.3.0Used by 0 other packages06 Jan 2017
-
HardCaml Icarus Verilog cosimulation module0.3.0Used by 0 other packages06 Jan 2017
-
Terminal based digital waveform viewer0.2.0Used by 4 other packages06 Jan 2017
-
A webserver for iocaml-kernel and iocamljs-kernel.0.4.9Used by 0 other packages30 Jun 2016
-
An OCaml kernel for the IPython notebook.0.4.8Used by 1 other packages21 Dec 2015
-
An OCaml javascript kernel for the IPython notebook.0.4.8Used by 1 other packages21 Dec 2015
-
Reed-Solomon Error Correction CODEC0.3MITUsed by 1 other packages09 Nov 2018
-
Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat0.1.0Used by 2 other packages06 Jan 2017