1.mirage / mirageMirageOS is a library operating system that constructs unikernelsmirageosunikernelxenkvmocamlopam+1 moreOCamlISC3K total278 forks+2 starsfrom 3,021 · score 1.10
2.mirage / irminIrmin is a distributed database that follows the same design principles as GitocamlgitstoragemirageosdatabaseirminOCamlISC2K total167 forks+1 starsfrom 1,964 · score 0.69