News for hackers. Stuff that matters.

A comment on OCaml on Baremetal Shakti RISC-V Processor. Parent comment

Re:OCaml on Baremetal Shakti RISC-V Processor by lelf on Friday March 29, 2019 @02:49PM (#19524430)
> any big non language projects written in OCaml

Coq proof assistant (https://coq.inria.fr). Well, you can say it is language-related, but it’s a lot more than that.

[ Parent | on HN ]

There are no comments on this comment yet.