open mirage Mirage OS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms.
sel4 Security focused micro-kernel formally proven to be bug free.
l4 micro-kernel focused on speed, security, isolation, robustness
Scheme-related Research Collection of scheme related papers and theses.
PreScheme A statically-typed dialect of Scheme with the efficiency and low-level machine access of C while retaining many of the desirable features of Scheme.