blog.osau.re
MirageOS
and
OCaml
stuffs.
Back to index
ocaml (21)
mirageos (12)
community (4)
smtp (4)
deployement (3)
scheduler (3)
blog (2)
build (2)
libraries (2)
protocol (2)
unikernel (2)
cryptography (1)
functoria (1)
gadts (1)
git (1)
library (1)
optimization (1)
portability (1)
protocols (1)
release (1)
reproducible (1)
security (1)
tip (1)
types (1)
protocol
2 entries
GADTs and state machine
Spoke, how to implement a little cryptographic protocol