Popular repositories Loading

1. clox clox Public

   C 2

2. unikraft-lib-intel-sgx unikraft-lib-intel-sgx Public

   unikraft-compatible version of the intel sgx driver: https://github.com/intel/linux-sgx-driver

   C 1

3. jlox-custom jlox-custom Public

   Custom Lox-like language interpreter

   Java 1

4. unikraft unikraft Public

   Forked from unikraft/unikraft

   Unikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)

   C

5. unikraft-lib-kref unikraft-lib-kref Public

   kref implementation for unikraft

   C

6. unikraft-lib-radix unikraft-lib-radix Public

   radix tree support for unikraft