Block or report user

Pinned repositories

  1. mung

    A L4.X2 compatible microkernel

    C 9 1

  2. lfht

    Lock-free wait-free hash table using C11 atomics

    C 1

  3. libxnmem

    Proof-of-concept lock-free software transactional memory

    C

  4. muidl

    IDL compiler for L4.X2

    C

  5. sneks

    A microkernel operating system for the x86

    C

151 contributions in the last year

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

Contribution activity

June 2018

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