Popular repositories Loading

1. ggp ggp Public

   GGP

   Java 7

2. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix 2

3. seoul seoul Public

   Forked from TUD-OS/seoul

   A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.

   C++ 1

4. kpr2009 kpr2009 Public

   Complex Lab 2009 TUDOS

   C++

5. othello othello Public

   gki

   Java

6. genode genode Public

   Forked from genodelabs/genode

   Genode OS Framework

   C++