Popular repositories

1. solo5 Public

   Forked from Solo5/solo5

   The Solo5 unikernel

   C 13 3

2. openlibm Public

   Forked from JuliaMath/openlibm

   High quality system independent, portable, open source libm implementation

   C 1

3. mirage Public

   Forked from mirage/mirage

   MirageOS is a library operating system that constructs unikernels

   OCaml

4. mirage-skeleton Public

   Forked from mirage/mirage-skeleton

   Build skeleton and examples of simple Mirage apps

   OCaml

5. mirage-www Public

   Forked from mirage/mirage-www

   Website infrastructure for mirage.io

   OCaml

6. rumprun Public

   Forked from rumpkernel/rumprun

   The Rumprun unikernel and toolchain for various platforms

   C