OCaml on Baremetal Shakti RISC-V Processor
1–10 of 77 posts
Re: OCaml on Baremetal Shakti RISC-V Processor
#2Hopefully RISC-V support will land in the mainstream soon.
Re: OCaml on Baremetal Shakti RISC-V Processor
#3Wasn't MirageOS bought by Docker Inc? Is the project still independent and active?
Re: OCaml on Baremetal Shakti RISC-V Processor
#4Hopefully RISC-V support will land in the mainstream soon.
It is planned, but requires availability of actual hardware for testing.
Re: OCaml on Baremetal Shakti RISC-V Processor
#5Shakti will be used in next iPhone I guess.
Re: OCaml on Baremetal Shakti RISC-V Processor
#6OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?
Re: OCaml on Baremetal Shakti RISC-V Processor
#7OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?
When you say non-language, do you mean unrelated to OCaml specifically or any language? Facebook implemented its infer linter for C, C++, Java, and Objective-C in OCaml: https://github.com/facebook/infer. When I worked at Bloomberg, they released BuckleScript for JS development. Not sure if that caught on though.
Re: OCaml on Baremetal Shakti RISC-V Processor
#8OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?
Re: OCaml on Baremetal Shakti RISC-V Processor
#9OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?
Unison File Synchronizer is written in OCaml.
Re: OCaml on Baremetal Shakti RISC-V Processor
#10Wasn't MirageOS bought by Docker Inc? Is the project still independent and active?
Docker did acquire Unikernel Systems, but MirageOS is alive and well.