taeminha's repositories
assignment1
Skeleton code for Assignment 1
Language:C000
Language:Python000
assignment3
Skeleton code for Assignment 3
Language:Python000
Language:Python000
Language:C++000
criu
Checkpoint/Restore tool
Language:CNOASSERTION000
000
Language:Fortran000
numaprof-main
Based on V1.1.5
Language:CNOASSERTION000
Language:HTML000
docs
The front page and documentation for the Unikraft Open-Source Project.
Language:CNOASSERTION000
mirage
MirageOS is a library operating system that constructs unikernels
Language:OCamlISC000
Language:C000
unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
NOASSERTION000