Secure and fast microVMs for serverless computing.
Repository Index
77,353 visible repositories in the index
1–12 of 12 · Most stars
Scale computer-use 2.0 with open-source drivers, cross-OS sandboxes, and benchmarks for training, evaluation, and data generation.
- apple
- cua
- lume
- macos
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
🧱 easy, fast, programmable and local-first microVM runtime and library
An embeddable, portable, branchable virtual machine to safely run Agents locally.
- containers
- crun
- libkrun
- microvm
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.
- rust-vmm
- cloud-workloads
- virtualization
- kvm
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latency and minimal overhead.
- hyper-v
- hypervisor
- kvm
- mshv
Run AI agents on real and isolated machines — own kernel, filesystem, and network — with <100ms boot. Local first, OCI compatible, pure Rust.
The Deterministic Foundation for your SDLC
- nix
- package-manager
- virtual-environments
- developer-tools
A dynamic library providing Virtualization-based process isolation capabilities
Hermit for Rust.
- virtualization
- osdev
- operating-system
- cloud-computing
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
- blockchain
- contributor-friendly
- ethereum
- modular