[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [MirageOS-devel] Using Ocaml math libraries in MirageOS?
Thanks folks! This is really helpful.
This is exactly what I was looking for. This opens up a few interesting avenues alright :)
Cheers
Seamus
This one is with Mirage related code included -
https://gist.github.com/jzstark/e94917167754963de701e9e9ce750b2e
liang
On 2019-09-14 12:59, Liang Wang wrote:
> Yes it works quite well (of course with some constraints). Owl-base
> can be compiled with MirageOS relatively easily (might require some
> very minor tweaks). Owl-base is the pure ocaml part of Owl btw, if you
> want more performant binary, compile it with owl-core with the same
> code.
>
> MirageOS has always been important to us so we have devoted quite a
> lot of efforts to making it easier to use owl+mirage. We are currently
> re-writing the owl tutorial book and will dedicate one chapter to
> owl+mirage in order to encourage people to build intelligent unikernel
> applications.
>
> Here is an example:
> https://gist.github.com/jzstark/6bd378218091e383a6bb3e80b4ee8cbb [1]
>
> It is a very small neural network (prob. several KBs) which recognises
> handwritten digits, pure ocaml code using owl-base can be compiled
> with mirage.
>
> liang
>
> On Sat, Sep 14, 2019 at 11:52 AM Richard Mortier
> <richard.mortier@xxxxxxxxxxxx> wrote:
>
>>> On 13 Sep 2019, at 22:52, Romain Calascibetta
>> <romain.calascibetta@xxxxxxxxx> wrote:
>>>
>>> So it's may be interesting to start with Owl which is a project
>> born in OCamllabs and whose creator (to my knowledge) kept in his
>> mind MirageOS and its constraints.
>>
>> Liang (CC’d) will know the current status better, but we had a
>> student do a project a couple of years ago that targeting enabling
>> Owl to work with Mirage (and js_of_ocaml). So I believe it should
>> work, or at least, not be too far away from working.
>>
>> --
>> Richard Mortier
>> richard.mortier@xxxxxxxxxxxx
>
>
> Links:
> ------
> [1] https://gist.github.com/jzstark/6bd378218091e383a6bb3e80b4ee8cbb
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/mirageos-devel
|
