Hannes Mehnert hannesm

💭

Organizations

Pinned Loading

1. mirage/mirage mirage/mirage Public

   MirageOS is a library operating system that constructs unikernels

   OCaml 3k 275

2. mirleft/ocaml-tls mirleft/ocaml-tls Public

   TLS in pure OCaml

   OCaml 322 70

3. rems-project/netsem rems-project/netsem Public

   Network Semantics

   HTML 95 8

4. robur-coop/miragevpn robur-coop/miragevpn Public

   An opinionated implementation of the OpenVPN protocol

   OCaml 83 9

5. robur-coop/albatross robur-coop/albatross Public

   Albatross: orchestrate and manage MirageOS unikernels with Solo5

   OCaml 167 19

6. robur-coop/mollymawk robur-coop/mollymawk Public

   A web interface for albatross

   OCaml 25 4