Z3 webpage repository

Anthropic's Interactive Prompt Engineering Tutorial

Machine Learning Engineering Open Book

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

Loupe: Syscall Usage Analysis Tool

Neovim config for the lazy

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

ConfFuzz - Fuzzing for Interface Vulnerabilities

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

List of Computer Science courses with video lectures.

A secure embedded operating system for microcontrollers

SMACK Software Verifier and Verification Toolchain

Boogie

Application Kernel for Containers

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

wayfinder: OS Configuration Micro-Benchmarking Framework

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)

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

SeaHorn Verification Framework

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

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

A Tiny Linux-Compatible Kernel

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

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

Empowering everyone to build reliable and efficient software.

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

A Rust-based, lightweight unikernel.

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …