3Introducing Transport Layer Security in pure OCaml (opens in new tab)(openmirage.org)106tizoc11y ago43
7Nymote: Lifelong control of your networked personal data (on top of Open Mirage) (opens in new tab)(nymote.org)2tizoc12y ago0
8Unikernels: Rise of the Virtual Library Operating System (opens in new tab)(queue.acm.org)44tizoc12y ago22
9DefinitelyTyped: The repository for high quality TypeScript type definitions. (opens in new tab)(github.com)1tizoc12y ago0
11Random thoughts on the substring procedure (on strict vs lax/fuzzy APIs & magic) (opens in new tab)(more-magic.net)3tizoc13y ago0
