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

Showing 1 - 13
  1. hardcaml-affirm

    No documentation

    Verification tools for HardCaml
    0.1.0
    Used by 0 other packages
    06 Jan 2017
  2. hardcaml-bloop

    No documentation

    Boolean logic tools for HardCaml
    0.1.0
    Used by 1 other packages
    06 Jan 2017
  3. hardcaml-examples

    No documentation

    HardCaml examples designs build using hardcaml-framework
    0.3.0
    Used by 1 other packages
    06 Jan 2017
  4. hardcaml-framework

    No documentation

    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-reedsolomon

    No documentation

    HardCaml implementation of Reed-Solomon error correction coding
    0.3.0
    Used by 0 other packages
    06 Jan 2017
  7. hardcaml-vpi

    No documentation

    HardCaml Icarus Verilog cosimulation module
    0.3.0
    Used by 0 other packages
    06 Jan 2017
  8. hardcaml-waveterm

    No documentation

    Terminal based digital waveform viewer
    0.2.0
    Used by 4 other packages
    06 Jan 2017
  9. iocaml

    No documentation

    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