Popular repositories Loading

1. NeptuneOS NeptuneOS Public

   Neptune OS: A Windows NT personality for the seL4 microkernel

   C 374 11

2. mtgpu-drv mtgpu-drv Public

   C 8 7

3. REAPERS REAPERS Public

   REAPERS: A REAsonably PERformant Spin model simulation library

   C++ 6 1

4. linux linux Public

   Forked from torvalds/linux

   Linux kernel source tree

   C 5 1

5. linux-gsgpu-archpkg linux-gsgpu-archpkg Public

   Shell 5

6. winkvm winkvm Public

   Forked from ddk50/winkvm

   WinKVM: porting Linux KVM to the Microsoft Windows

   C 2