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 floatboth on Friday March 29, 2019 @01:40PM (#19523843)
Frama-C and Why3. Okay, maybe they're somewhat "language" projects since one is parsing C and another has its own language :)
[ Parent | on HN ]

There are no comments on this comment yet.