Skip to content
Avatar
💭
🐫 🚲
💭
🐫 🚲
367 followers · 89 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4Achievement: Starstruckx2
BetaSend feedback

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4Achievement: Starstruckx2
BetaSend feedback

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 41 5

  2. mirage/mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 2k 220

  3. mirleft/ocaml-tls Public

    TLS in pure OCaml

    OCaml 269 60

  4. rems-project/netsem Public

    Network Semantics

    HTML 70 8

  5. roburio/openvpn Public

    An opinionated implementation of the OpenVPN protocol

    OCaml 42 4

  6. roburio/albatross Public

    Albatross: orchestrate and manage MirageOS unikernels with Solo5

    OCaml 107 10

2,138 contributions in the last year

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

Contribution activity

September 2022

Created 14 commits in 4 repositories

Created a pull request in ocaml/opam-repository that received 1 comment

[new release] ca-certs (0.2.3)

Detect root CA certificates from the operating system Project page: https://github.com/mirage/ca-certs Documentation: https://mirage.github.io/ca-…

+59 −0 • 1 comment
Opened 4 other pull requests in 3 repositories
Opened 1 issue in 1 repository
mirage/mirage-tcpip 1 open

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