All Git Users → smorimoto

4 open source projects by smorimoto

[ Open user page on Github ]

Fast and simple Deno runtime version manager written in OCaml

✭ 58

ocaml cli version-manager

A minimal setup for writing Unikernels in ReasonML

✭ 28

Makefile reason mirageos unikernel reasonml

3. coq-to-ocaml-to-js

Proof of concept to generate safe and fast JavaScript

✭ 25

javascript shell coq proof

4. rescript-videojs-example

smorimoto.github.io/rescript-videojs-example

✭ 16

1-4 of 4 user projects