3
Repos
64
Stars
4
Forks
5
Watchers
Repositories (3)
rekernel
smorimoto/rekernel
Makefile
A minimal setup for writing Unikernels in ReasonML
30
1
coq-to-ocaml-to-js
smorimoto/coq-to-ocaml-to-js
JavaScript
Proof of concept to generate safe and fast JavaScript
24
2
re-tree
smorimoto/re-tree
Reason
A minimal Unix tree command implementation written in pure Native Reason
10
1