FUSE implementation for overlayfs

A safer zlib

OSv, a new operating system for the cloud.

A library OS for Linux multi-process applications, with Intel SGX support

A toolkit for embedding VPN capabilities in your application

Dafny is a verification-aware programming language

ANS(Accelerated Network Stack) on DPDK, DPDK native TCP/IP stack.

networking for containers

High-performance stateful serverless runtime based on WebAssembly

A high-level build system based on llbuild, used by Xcode, Swift Playground, and the Swift Package Manager

Data Plane Development Kit

Tracking WebAssembly proposals

A collection of out-of-tree LLVM passes for teaching and learning

Refinement Types for Rust

MimIR is my Intermediate Representation

Generic model checker for concurrent C programs (mirror repository)

The CompCert formally-verified C compiler

A repository for the stack switching proposal.

Verified Rust for low-level systems code

C++ standards drafts

A beautiful stack trace pretty printer for C++

A new markup-based typesetting system that is powerful and easy to learn.

The sprite operating system

Linting support for Python using the mypy linter.

Fast WebAssembly Baseline Compiler

An ongoing attempt to re-engineer LuaJIT from scratch

A curated list of awesome JIT frameworks, libraries, software and resources