Sora Morimoto

icon indicating a website link https://www.morimoto.io icon indicating an email [email protected]

icon company @ocaml @tc39 icon location Cambridge, UK / Tokyo, Japan icon location @ocaml @tarides @ocsigen @mirage @Solo5 @tc39

Results 2 repositories owned by Sora Morimoto

coq-to-ocaml-to-js

25
Stars
2
Forks
Watchers

Proof of concept to generate safe and fast JavaScript

verified publisher icon smorimoto

rekernel

29
Stars
1
Forks
Watchers

A minimal setup for writing Unikernels in ReasonML

verified publisher icon smorimoto