Skip to content
Avatar
💭
🐫 🚲
💭
🐫 🚲
359 followers · 88 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@mirage @ocaml @mirleft @isakmp
Block or Report

Block or report hannesm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

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

Report abuse

Pinned

  1. roburio/unikernels Public

    MirageOS unikernels

    OCaml 40 4

  2. mirage/mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 1.8k 208

  3. mirleft/ocaml-tls Public

    TLS in pure OCaml

    OCaml 259 58

  4. rems-project/netsem Public

    Network Semantics

    HTML 70 8

  5. roburio/openvpn Public

    An opinionated implementation of the OpenVPN protocol

    OCaml 41 4

  6. roburio/albatross Public

    Albatross: orchestrate and manage MirageOS unikernels with Solo5

    OCaml 100 10

2,177 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

March 2022

Created 64 commits in 15 repositories

Created a pull request in mirage/mirage-www that received 4 comments

blog post about deploying mirageos unikernels

Dear MirageOS people, this is the first time I use the new CMS - is this well done? I first wrote the markdown, and then embedded it into data/mira…

+1,613 −0 • 4 comments
Opened 19 other pull requests in 9 repositories
ocaml/opam-repository 8 merged
mirage/mirage 1 open 1 merged
roburio/albatross 2 merged
mirage/ocaml-dns 2 merged
roburio/orb 1 merged
roburio/builder 1 merged
mirage/functoria 1 merged
mirage/awa-ssh 1 open
mirage/ocaml-conduit 1 merged
Reviewed 6 pull requests in 6 repositories
mirage/mirage 1 pull request
dinosaure/mimic 1 pull request
roburio/happy-eyeballs 1 pull request
Solo5/solo5 1 pull request
mirage/ocaml-dns 1 pull request
mirage/charrua 1 pull request

Created an issue in dbuenzli/cmdliner that received 2 comments

exit codes with cmdliner 1.1.0

Thanks for this great library. I'm using it in a lot of projects. I'm currently trying to upgrade to the non-deprecated part of 1.1.0. I have some …

2 comments
Opened 4 other issues in 3 repositories
mirage/ocaml-dns 1 open 1 closed
mirage/mirage-www 1 open
mirage/awa-ssh 1 closed

Seeing something unexpected? Take a look at the GitHub profile guide.