Popular repositories

1. ukl ukl Public

   Unikernel Linux

   Makefile 159 12

2. linux linux Public

   Forked from torvalds/linux

   Linux kernel source tree

   C 7 8

3. unikernelLinux unikernelLinux Public

   Makefile 5 3

4. redis redis Public

   Forked from redis/redis

   Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…

   C 2 1

5. min-initrd min-initrd Public

   Forked from drepper/min-initrd

   C 1 4

6. glibc glibc Public

   C 1 1