Explore projects
-
Jammer, Tim / HKHLR Git intro Demo
GNU General Public License v3.0 onlyUpdated -
ACS / Public / Publications / Cricket for Unikernels Evaluation
Apache License 2.0Updated -
ACS / Public / Teaching materials / Special-Purpose Operating Systems
Apache License 2.0Updated -
Eric Paul Hebing / gi4
GNU General Public License v2.0 or laterExample code for the course "Foundations of Computer Science 4"
Updated -
-
os / RWTH-Slides
GNU General Public License v3.0 onlyTemplate for a LaTeX beamer slides inspired by the (old) RWTH style
Updated -
-
Nick Eckwert / Examples
Apache License 2.0Examples presented in the lecture "Foundations of Computer Science 3 - Operating Systems and System Security"
Updated -
Hechler, Patrick / OROS
GNU Affero General Public License v3.0Updated -
Updated
-
Updated
-
Amir / Examples
Apache License 2.0Examples presented in the lecture "Foundations of Computer Science 3 - Operating Systems and System Security"
Updated -
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 -
GOSeminarSS2020 / convex cost scaling algorithm latex slides
Apache License 2.0Updated -
-
Informatik11 - Embedded Software / ASMO Software
Creative Commons Attribution Non Commercial 3.0 GermanyUpdated -
ACS / Public / HermitOS / libhermitMPK
Apache License 2.0Intra-Unikernel Isolation with Intel Memory Protection Keys
Updated -
Yihua Ren / POT
MIT LicenseUpdated
