Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.
☆341Updated this week
Alternatives and similar repositories for alioth
Users that are interested in alioth are comparing it to the libraries listed below
Sorting:
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,323Updated this week
- COCONUT-SVSM☆202Updated this week
- hikalium's lifestyle guide☆12Feb 16, 2025Updated last year
- OCI Runtime, Image and Distribution Spec in Rust☆273Updated this week
- Virtual Linux soundcard driver☆29May 6, 2024Updated last year
- Home of OpenVMM and OpenHCL☆1,801Updated this week
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆33May 3, 2024Updated last year
- A fast and flexible allocator for no_std and WebAssembly☆527Jun 14, 2025Updated 8 months ago
- Run VM disk images using Podman / Docker / Kubernetes.☆252Nov 20, 2025Updated 3 months ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/☆1,150Updated this week
- Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untru…☆4,151Updated this week
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation. (on Milk-V Megrez)☆55Dec 31, 2025Updated 2 months ago
- A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)☆183Dec 26, 2024Updated last year
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated last year
- A performant static site generator built to scale.☆13Nov 3, 2024Updated last year
- noshell, a no_std argument parser and a shell for constrained systems.☆28Feb 19, 2026Updated last week
- A Rust implementation of the Strobe protocol framework☆27Feb 9, 2026Updated 2 weeks ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆43Feb 17, 2026Updated last week
- A dynamic library providing Virtualization-based process isolation capabilities☆1,678Feb 19, 2026Updated last week
- An alternate Cargo registry using static files☆136Feb 19, 2026Updated last week
- ☆28Jan 27, 2026Updated last month
- A hash chain has the potential to be a limited source of authentication☆15Feb 20, 2022Updated 4 years ago
- ☆15Jul 3, 2025Updated 7 months ago
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- Simple CLI RAM machine simulator written in Rust, a project for my PvR course.☆26Nov 10, 2025Updated 3 months ago
- A heckin small test generator☆30Apr 29, 2023Updated 2 years ago
- A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.☆86Apr 13, 2024Updated last year
- Kani Rust Verifier☆2,953Updated this week
- Tempo is a system for declarative, efficient, end-to-end compiled dynamic deep learning☆28Oct 21, 2025Updated 4 months ago
- suidsnoop is a tool based on eBPF LSM programs that logs whenever a suid binary is executed and implements custom allow/deny lists.☆16Oct 31, 2021Updated 4 years ago
- Compact and Efficient RISC-V RV32I[MAFC] emulator☆539Feb 9, 2026Updated 2 weeks ago
- Cloudflare Workers Wasm Coredump Service☆45Feb 3, 2026Updated 3 weeks ago
- virtio implementation☆436Feb 9, 2026Updated 2 weeks ago
- ☆72Oct 6, 2023Updated 2 years ago
- VMM-based macOS Native Container Runtime☆37Apr 13, 2025Updated 10 months ago
- A dynamic library bundling the guest payload consumed by libkrun☆123Feb 17, 2026Updated last week
- Ymir: The Type-1 Hypervisor.☆57Jun 18, 2025Updated 8 months ago
- A simple, fast, and secure operating system for the cloud.☆1,070Feb 20, 2026Updated last week