Explore projects




ACS / Public / HermitOS / loader
Apache License 2.0Bootloader for the unikernel RustyHermit
Updated 
ACS / Public / HermitOS / libhermitMPK
Apache License 2.0IntraUnikernel Isolation with Intel Memory Protection Keys
Updated 
ACS / Public / HermitOS / libhermit
BSD 3Clause "New" or "Revised" LicenseA Unikernel for ExtremeScale Computing
Updated 
Philipp Dreßen / libhermit
BSD 3Clause "New" or "Revised" LicenseA Unikernel for ExtremeScale Computing. Fork with the goal of adapting Unikernels for https://git.rwthaachen.de/pdressen/dockercompose
Updated 
ACS / Public / Teaching materials / Grundgebiete der Informatik 4 / Grundgebiete der Informatik 4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Topics: gi4Updated 
Rehman Ahmed Chaudhry / Grundgebiete der Informatik 4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
Yuying Pan / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
Adham Ayman Elsayed Elmisiry / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
Chenxin Ji / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
Aron S. / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
Yaser Akmik / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
Jiayu Sui / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
Nikolas Schmitz / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
Eric Paul Hebing / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
theCOVE56 / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
Bader Zaidan / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated 
Hanna Christina Hoch / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated