Latest blogs

HardCaml Framework, Examples and Webapps

hardcaml-examples provides a small framework for creating HardCaml based cores and six example designs. The framework code provides the general plumbing required to create a console based application with features including code generation, simulation, and waveform viewing. A recent update extends the framework so that cores can be run on a webpage.

SAT solving and HardCaml

Combining a SAT solver with HardCaml to prove circuit equivalence.

OCaml and IOCaml on Android

Recently I was looking for an Ocaml solution for the Nexus 7. There are a couple of ocaml top-levels available but neither offer the ability to open packages or support for opam. Enter gnuroot.



A Reed-Solomon encoder and decoder library written in OCaml.


IOCaml is an OCaml kernel for the IPython notebook. This provides a REPL within a web browser with a nice user interface including markdown based comments/documentation, mathjax formula and the possibility of generating all manner of HTML based output media from your code.


An opensource domain specific language embedded in OCaml for designing and testing register transfer level hardware designs.