andrewray

andrewray

(*

  An OCaml (4.02) port of the C++ conjugate gradient solver.  

  Demo
  ----

    $ ocaml
    # #use "solver.ml";;
    # let b, (err, x) = Demo.solve_small();;

andrewray

#!/bin/sh -ex

echo 'yes' | sudo apt-add-repository ppa:lvillani/zeromq3
sudo apt-get update
sudo apt-get install --force-yes -y libzmq3=3.2.4+dfsg-1~precise1~ppa1 libzmq3-dev=3.2.4+dfsg-1~precise1~ppa1

andrewray

To access Iocaml require the package iocaml-kernel.notebook

From a discussion on using plplot in iocaml

yes, either Iocaml.dispaly or Iocaml.send_mime could do the job in sligthly different ways:

?context:Iocaml.cell_context -> ?base64:bool -> string -> string -> unit

andrewray

A simple GIST created to demonstrate ocaml-github javascript integration.

andrewray

(* Extending the LEDs example with a couple of more advanced features.
 
  1) Use interfaces to define the input and output ports of the circuit
     and then use the generic functors in HardCaml.Interface to avoid
     needing to explicitly define port names with the `input` and `output` 
     functions.

  2) Implement the pictorial statemachine from the diagram in the style
     we would use if writing in VHDL or Verilog

andrewray

FROM ocaml/opam

RUN sudo apt-get install -y \
    libgmp3-dev \
    libzmq3-dev \
    libffi-dev \
    libssl-dev \
    zlib1g-dev \
    pkg-config \
    build-essential \

andrewray

System requirements

m4, minsat, picosat, llvm-3.5: install with apt-get in ubuntu 16.04

cryptominisat: compile and install from https://github.com/msoos/cryptominisat/releases/tag/4.5.3

Opam install

Copy line by line or dump into a bash script.

andrewray

(*

  build with:
 
 ocamlbuild -use-ocamlfind -package compiler-libs.common -package ppx_tools.metaquot ppx_hardcaml.native 
 
*)

open Ast_mapper
open Ast_helper

andrewray

open HardCaml

(* different register types *)
module Seq = struct
  open Signal
  open Types
  open Seq
  module type S = sig
    include Interface.S
    val reg : Api.Comb.t t -> Signal.Types.register