• ppx_deriving plugin for HardCaml

    OCaml 2 ISC Updated Jun 13, 2018
  • Verification tools for HardCaml

    OCaml 10 1 ISC Updated Jun 13, 2018
  • boolean operations

    Jupyter Notebook 3 ISC Updated Jun 13, 2018
  • SAT solver interfaces (minisat, picosat, cryptominisat)

    OCaml 6 1 ISC Updated Jun 13, 2018
  • HardCaml example designs

    HTML 13 2 ISC Updated Jun 13, 2018
  • Framework for building HardCaml core generators as command line apps or webpages

    OCaml 1 ISC Updated Jun 13, 2018
  • Digital waveform viewer

    HTML 8 2 ISC Updated Jun 13, 2018
  • Import verilog designs into hardcaml using yosys

    Shell 8 2 ISC Updated Jun 13, 2018
  • [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml

    OCaml 119 8 ISC Updated Jun 13, 2018
  • OCaml 2 Updated Jun 8, 2017
  • Library for binding to C libraries using pure OCaml

    OCaml 1 49 MIT Updated Jun 1, 2017
  • Convert C-code to OCaml Ctypes via Clang

    OCaml 13 Updated May 31, 2017
  • HardCaml Reed-Solomon Error Correction CODEC

    OCaml 5 2 ISC Updated May 30, 2017
  • Incremental based cycle accurate simulator

    OCaml ISC Updated May 30, 2017
  • HardCaml OCamlDoc documentation

    HTML Updated May 29, 2017
  • Reed-Solomon Error Correction CODEC

    OCaml 18 2 MIT Updated May 29, 2017
  • LLVM JIT Cycle Accurate Simulator for HardCaml

    OCaml 9 1 ISC Updated May 21, 2017
  • HardCaml Icarus Verilog VPI cosimulation

    OCaml 6 1 ISC Updated May 5, 2017
  • Tutorial designs for HardCaml

    OCaml 3 Updated Jan 16, 2017
  • hardcaml opam release repository

    Updated Jan 9, 2017
  • ujamjar website

    JavaScript MIT Updated Jan 9, 2017
  • Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes

    OCaml 4 Apache-2.0 Updated Jan 8, 2017
  • PPX plugin for HardCaml

    OCaml 1 ISC Updated Jan 7, 2017
  • Various signed and unsigned integer types for OCaml

    OCaml 7 MIT Updated Dec 19, 2016
  • RISC-V tools in OCaml

    OCaml 4 Updated Oct 12, 2016
  • vg

    Forked from dbuenzli/vg

    Declarative 2D vector graphics for OCaml

    Standard ML 6 Updated Oct 3, 2016
  • RISC-V instruction set CPUs in HardCaml

    Verilog 10 3 MIT Updated Sep 20, 2016
  • OCaml bindings for cryptominisat4 *DEPRECIATED* see https://github.com/ujamjar/sattools

    OCaml 4 Updated Sep 20, 2016
  • ELF parser

    OCaml 1 1 Updated Jun 3, 2016
  • Verilog source code for the Octavo soft-processor. Comes with Quartus project generators and Modelsim scripts. Currently in rapid flux.

    Python 1 6 Updated May 14, 2016
  • 0

    People

    This organization has no public members. You must be a member to see who’s a part of this organization.