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

Showing 1 - 13
  1. hardcaml-affirm

    No documentation

    Verification tools for HardCaml
    andy.ray@ujamjar.com
    0.1.0
    Used by 0 other packages
    06 Jan 2017
  2. hardcaml-bloop

    No documentation

    Boolean logic tools for HardCaml
    andy.ray@ujamjar.com
    0.1.0
    Used by 1 other packages
    06 Jan 2017
  3. hardcaml-examples

    No documentation

    HardCaml examples designs build using hardcaml-framework
    andy.ray@ujamjar.com
    0.3.0
    Used by 1 other packages
    06 Jan 2017
  4. hardcaml-framework

    No documentation

    Framework for generating and simulating HardCaml cores
    andy.ray@ujamjar.com
    0.3.0
    Used by 1 other packages
    06 Jan 2017
  5. hardcaml-llvmsim
    Documentation
    HardCaml simulation backend using LLVM
    andy.ray@ujamjar.com
    0.3.0
    Used by 0 other packages
    06 Jan 2017
  6. hardcaml-reedsolomon

    No documentation

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

    No documentation

    HardCaml Icarus Verilog cosimulation module
    andy.ray@ujamjar.com
    0.3.0
    Used by 0 other packages
    06 Jan 2017
  8. hardcaml-waveterm

    No documentation

    Terminal based digital waveform viewer
    andy.ray@ujamjar.com
    0.2.0
    Used by 4 other packages
    06 Jan 2017
  9. iocaml

    No documentation

    A webserver for iocaml-kernel and iocamljs-kernel.
    Andrew Ray <andy.ray@ujamjar.com>
    0.4.9
    Used by 0 other packages
    30 Jun 2016
  10. iocaml-kernel
    Documentation
    An OCaml kernel for the IPython notebook.
    Andy Ray <andy.ray@ujamjar.com>
    0.4.8
    Used by 1 other packages
    21 Dec 2015
  11. iocamljs-kernel
    Documentation
    An OCaml javascript kernel for the IPython notebook.
    Andy Ray <andy.ray@ujamjar.com>
    0.4.8
    Used by 1 other packages
    21 Dec 2015
  12. reedsolomon
    Documentation
    Reed-Solomon Error Correction CODEC
    Andy Ray <andy.ray@ujamjar.com>
    0.3
    MIT
    Used by 1 other packages
    09 Nov 2018
  13. sattools
    Documentation
    Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat
    andy.ray@ujamjar.com
    0.1.0
    Used by 2 other packages
    06 Jan 2017