1.mirage / mirageMirageOS is a library operating system that constructs unikernelsmirageosunikernelxenkvmocamlopam+1 moreOCamlISC3K total278 forks+149 starsfrom 2,874 · score 5.01