13 search results for "author:"andy.ray@ujamjar.com""

Showing 1 - 13
  1. Verification tools for HardCaml
    0.1.0
    Used by 0 other packages
    06 Jan 2017
  2. Boolean logic tools for HardCaml
    0.1.0
    Used by 1 other packages
    06 Jan 2017
  3. HardCaml examples designs build using hardcaml-framework
    0.3.0
    Used by 1 other packages
    06 Jan 2017
  4. Framework for generating and simulating HardCaml cores
    0.3.0
    Used by 1 other packages
    06 Jan 2017
  5. HardCaml simulation backend using LLVM
    0.3.0
    Used by 0 other packages
    06 Jan 2017
  6. HardCaml implementation of Reed-Solomon error correction coding
    0.3.0
    Used by 0 other packages
    06 Jan 2017
  7. HardCaml Icarus Verilog cosimulation module
    0.3.0
    Used by 0 other packages
    06 Jan 2017
  8. Terminal based digital waveform viewer
    0.2.0
    Used by 4 other packages
    06 Jan 2017
  9. A webserver for iocaml-kernel and iocamljs-kernel.
    0.4.9
    Used by 0 other packages
    30 Jun 2016
  10. An OCaml kernel for the IPython notebook.
    0.4.8
    Used by 1 other packages
    21 Dec 2015
  11. An OCaml javascript kernel for the IPython notebook.
    0.4.8
    Used by 1 other packages
    21 Dec 2015
  12. Reed-Solomon Error Correction CODEC
    0.3
    MIT
    Used by 1 other packages
    09 Nov 2018
  13. Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat
    0.1.0
    Used by 2 other packages
    06 Jan 2017