[CakeML] Hello CakeML'ers

Andy Ray andy.ray at ujamjar.com
Fri Jun 13 01:29:04 UTC 2014


Hi,

I was recently told about CakeML during a visit to Cambridge Uni and
have been meaning to have a proper look at it.  My interest is around
uses of ML (actually more specifically OCaml) on FPGAs.

When I asked David Greaves about OCaml on FPGA he pointed out this

http://technotes-djg.blogspot.co.uk/2013/08/tndjg0004-i-converted-my-processor.html

As a starting point I wonder if you have any advice on how I could use
the code at

https://github.com/xrchz/vml

to compile an OCaml program which could run on Davids processor model?

Longer term I am interested in the possibility of implementing
something like LWT-light on top of this CPU as a potential controller
for FPGA related gubbins (serial port, network, etc).

In the interests of full disclosure I have no real understanding of
the theorem proving world, though I suspect I probably should.

Cheers,
Andy



More information about the Users mailing list