好开源，值得被发现。

Multipass 是 Canonical 开发的轻量级虚拟机管理器，支持 Linux、Windows 和 macOS，通过单条命令快速启动预配置的 Ubuntu 实例，利用 KVM、Hyper-V 和 QEMU 等原生虚拟化技术降低开销。

Takibi 是一个研究性系统语言及其配套的 Linux-ABI 兼容单体内核。该项目旨在通过精化类型（refinement types）和仿射所有权（affine ownership），将内核运行时的故障转化为编译时错误，从而提升系统稳定性。

这是一个基于 Apache-2.0 协议的 Rust 控制平面，用于在支持 KVM 的 Linux 主机上运行虚拟机、软件定义网络、存储和安全策略。它提供 480 多个 REST 端点以及四种前端：CLI、Web 控制台、Kubernetes operator 和 Terraform provider。