☆217May 3, 2022Updated 4 years ago
Alternatives and similar repositories for dune
Users that are interested in dune are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆33Aug 20, 2018Updated 8 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 5 years ago
- Hodor-PKU☆27Sep 14, 2021Updated 5 years ago
- ☆48Apr 11, 2023Updated 3 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆31Jul 11, 2022Updated 4 years ago
- A minimal kvm example☆526Updated this week
- A fast, hackable and simple x64 VT-x hypervisor for Windows and Linux. Builtin userspace sandbox and introspection engine.☆870Oct 20, 2021Updated 5 years ago
- Code for the paper: uSwitch: Fast Kernel Context Isolation with Implicit Context Switches☆11May 31, 2025Updated last year
- IX a protected dataplane operating system project☆136Nov 6, 2017Updated 8 years ago
- ☆94Oct 16, 2026Updated 2 weeks ago
- ☆16May 23, 2023Updated 3 years ago
- ☆17Jun 7, 2022Updated 4 years ago
- HiStar operating system (not under active development)☆34Apr 11, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Collection of resources about Virtualization☆1,988Aug 21, 2026Updated 2 months ago
- ☆22Jul 22, 2026Updated 3 months ago
- EbbRT: elastic building block runtime☆76Jul 23, 2024Updated 2 years ago
- Process virtualization based on KVM. More useable, stable and practical than Stanford Dune.☆26Apr 1, 2026Updated 6 months ago
- ☆16Nov 13, 2023Updated 2 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆58Nov 7, 2023Updated 2 years ago
- Stand-alone Native Linux KVM Tool repo☆647Apr 30, 2026Updated 6 months ago
- ☆50Nov 15, 2021Updated 4 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆111Aug 18, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Documentation for kernel rookie☆10Dec 11, 2020Updated 5 years ago
- ☆229Aug 11, 2024Updated 2 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 9 years ago
- Multi-variant execution (MVX) using hardware-assisted process virtualization (with Dune)☆18Aug 12, 2016Updated 10 years ago
- SGX protected filesystem demo☆12Jul 28, 2017Updated 9 years ago
- RedLeaf Operating System☆145May 9, 2022Updated 4 years ago
- Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support☆783Oct 6, 2021Updated 5 years ago
- LibVMI in MiniOS☆12May 22, 2021Updated 5 years ago
- A sandboxed execution environment for unikernels☆1,011Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- caijiqhx notes☆16Oct 26, 2024Updated 2 years ago
- ☆20May 3, 2022Updated 4 years ago
- An Open and Cross-platform Trusted Execution Environment.☆150Sep 27, 2024Updated 2 years ago
- An ongoing attempt to create own hypervisior from scratch in linux.☆53Oct 7, 2021Updated 5 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆39Sep 15, 2024Updated 2 years ago
- A git clone of the official mercurial repository☆100Oct 7, 2026Updated 3 weeks ago
- Coordinated and Efficient Huge Page Management with Ingens☆45Feb 9, 2017Updated 9 years ago