google / wuffs

Wrangling Untrusted File Formats Safely

bao-project / bao-hypervisor

Bao, a Lightweight Static Partitioning Hypervisor

FascinatedBox / lily

Interpreted language focused on expressiveness and type safety.

jondgoodwin / cone

Cone Programming Language