Block or report user

Organizations

@mirage @dylan-lang @dylan-hackers @idris-hackers @idris-lang @mirleft @isakmp

Pinned repositories

  1. mirage/mirage

    MirageOS is a library operating system that constructs unikernels

    OCaml 819 111

  2. mirleft/ocaml-tls

    TLS in pure OCaml

    OCaml 170 31

  3. PeterSewell/netsem

    Network Semantics

    HTML 27 3

  4. jackline

    minimalistic secure XMPP client in OCaml

    OCaml 176 17

  5. Solo5/solo5

    The Solo5 unikernel

    C 192 31

  6. conex

    establish trust in community repositories, cryptographically signed by library authors

    OCaml 18

2,925 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created a pull request in mirage/ocaml-dns that received 7 comments

port to topkg

-safe-string does as well not work in here only the first four testsuites in lib_test/ounit are working here (not: Test_dns_resolver_unix.tests, T…

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