[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