Newest Stories by tizoc | Lobsters

17

My first unikernel (OpenMirage) distributed ml programming security virtualization roscidus.com
via tizoc 4 years ago | cached | 2 comments

2
15

Introducing Irmin: Git-like distributed, branchable storage databases distributed ml programming vcs openmirage.org
via tizoc 4 years ago | cached | 2 comments

2
13

OCaml-TLS: building the nocrypto library core programming security openmirage.org
via tizoc 4 years ago | cached | no comments

0
23

Introducing transport layer security (TLS) in pure OCaml networking programming security openmirage.org
via tizoc 4 years ago | cached | 1 comment

1
10

White paper: Compile Time TDD Coverage with Idris programming chromaticleaves.com
via tizoc 4 years ago | cached | 10 comments

10
5

Universal Serialization and Deserialization with GADTs (OCaml) programming cedeela.fr
via tizoc 4 years ago | cached | no comments

0