Skip to content
View hannesm's full-sized avatar
💭
🐫 🚲
💭
🐫 🚲

Organizations

@mirage @ocaml @mirleft @isakmp

Block or report hannesm

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. mirage/mirage mirage/mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 2.9k 263

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

    TLS in pure OCaml

    OCaml 319 70

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

    Network Semantics

    HTML 92 8

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

    An opinionated implementation of the OpenVPN protocol

    OCaml 81 9

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

    Albatross: orchestrate and manage MirageOS unikernels with Solo5

    OCaml 160 19

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

    A web interface for albatross

    OCaml 23 4