vladandrew

rust

Empowering everyone to build reliable and efficient software.

cs-video-courses

List of Computer Science courses with video lectures.

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

LazyVim

Neovim config for the lazy

gvisor

Application Kernel for Containers

tock

A secure embedded operating system for microcontrollers

kerla

A new operating system kernel with Linux binary compatibility written in Rust.

checkedc

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

Theseus

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

unikraft

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

tilck

A Tiny Linux-Compatible Kernel

slim

Build and run tiny vms from Dockerfiles. Small and sleek.

CompCert

The CompCert formally-verified C compiler

hermit-rs

Hermit for Rust.

helenos

A portable microkernel-based multiserver operating system written from scratch.

kernel

A Rust-based, lightweight unikernel.

linux-kernel-labs.github.io

winix

A UNIX-style Operating System for the Waikato RISC Architecture Microprocessor (WRAMP)

demystifying-containers

A series of blog posts and talks about the world of containers 📦

boogie

Boogie

hextra

🔯 Modern, batteries-included Hugo theme for creating beautiful doc, blog and static websites

seahorn

SeaHorn Verification Framework

smack

SMACK Software Verifier and Verification Toolchain

kraftkit

Build and use highly customized and ultra-lightweight unikernel VMs.

SnapFuzz

tinynf

Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)

conffuzz

ConfFuzz - Fuzzing for Interface Vulnerabilities

loupe

Loupe: Syscall Usage Analysis Tool

asplos22-ae

FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository

wayfinder

wayfinder: OS Configuration Micro-Benchmarking Framework