hannesm

Follow

💭

🐫

🚲

Hannes Mehnert hannesm

💭

🐫

🚲

Follow

376 followers · 89 following

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Organizations

Block or Report

Block or report hannesm

Report abuse

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

Report abuse

Pinned

roburio/unikernels Public

MirageOS unikernels

OCaml 41 5
mirage/mirage Public

MirageOS is a library operating system that constructs unikernels

OCaml 2k 230
mirleft/ocaml-tls Public

TLS in pure OCaml

OCaml 271 60
rems-project/netsem Public

Network Semantics

HTML 73 8
roburio/openvpn Public

An opinionated implementation of the OpenVPN protocol

OCaml 46 5
roburio/albatross Public

Albatross: orchestrate and manage MirageOS unikernels with Solo5

OCaml 117 12

2,000 contributions in the last year

Learn how we count contributions

Less More

Activity overview

Contributed to ocaml/opam-repository, mirage/mirage, roburio/albatross and 151 other repositories

Contribution activity

December 2022

Created 120 commits in 22 repositories

Created a pull request in roburio/happy-eyeballs that received 16 comments

cancellation and log messages

but there's no entry in the connection table (we won't cancel DNS resolution) This is based on the observation that cancellation will only be reaso…

+111 −89 • 16 comments

Opened 30 other pull requests in 14 repositories

ocaml/opam-repository 12 merged 2 closed

mirage/mirage-kv 2 merged

adjust docstring for list, fixes #38 Dec 15
Various fixes of the open issues Dec 1

roburio/albatross 2 merged

mirage/mirage-www 2 merged

add MSA03 Dec 7
fix date for security page Dec 6

roburio/builder 1 merged

worker: use timeout of 1 hour Dec 17

mirage/mirage 1 merged

adjust solo5 bound: use 0.8.0 as upper bound Dec 17

roburio/dns-primary-git 1 merged

upgrade to use git-kv and new mirage-kv API Dec 15

roburio/caldav 1 merged

use mirage-kv 6.0.0 API Dec 15

mirage/ocaml-tar 1 merged

initial support of mirage-kv 6.0.0 Dec 14

mirage/qubes-mirage-firewall 1 merged

Update of opam-repository commit to retrieve solo5 0.7.5 Dec 7

Solo5/solo5 1 merged

Test over 4k bytes of output (to reproduce #537 #538 Dec 6

mirage/mirage-kv-mem 1 merged

add support for mirage-kv in version 6 Dec 3

dinosaure/mimic 1 merged

remove mimic_mirage.ml which is not referenced Dec 1

mirage/ocaml-dns 1 merged

adapt to new happy eyeballs Dec 1

Reviewed 11 pull requests in 7 repositories

mirleft/ocaml-tls 4 pull requests

tls-eio: improve fuzz tests Dec 22
misc: develop against vendored dependencies Dec 22
tls-eio: fix shutdown semantics of tls_eio flow Dec 19
Dns client eio Dec 12

mirage/ocaml-tar 2 pull requests

initial support of mirage-kv 6.0.0 Dec 15
otar: skip data *and* padding Dec 14

mirage/ocaml-conduit 1 pull request

conduit-lwt-unix: allow openssl clients to customize the ssl context and the verification Dec 13

mirage/qubes-mirage-firewall 1 pull request

Improve workflow Dec 9

roburio/albatross 1 pull request

tls-endpoint: allow an ip to listen on being specified on command line Dec 7

mirage/ocaml-dns 1 pull request

adapt to new happy eyeballs Dec 2

roburio/happy-eyeballs 1 pull request

cancellation and log messages Dec 1

Created an issue in tarides/opam-monorepo that received 2 comments

opam-monorepo: [ERROR] Solving opam-provided dependencies could not find a solution

So, I try with a mirage 4.3.1 to compile a unikernel https://github.com/mirage/retreat.mirage.io: $ opam install mirage $ ocaml --version The OCaml…

2 comments

Opened 8 other issues in 4 repositories

mirage/mirage-www 5 open

feed does not validate Dec 12
new website: atom / rss feed? Dec 12
timestamps and authors on wiki and blog post Dec 7
new website: security advisories are duplicated Dec 6
the security advisories contain a link to mirage.io/securty which returns a 404 Dec 6

roburio/builder 1 open

protocol and resources Dec 22

mirage/mirage 1 open

ability to specify minimal mirage version in configure Dec 13

mirage/ca-certs-nss 1 open

take expirations into account Dec 12