EbbRT: elastic building block runtime
☆76Jul 23, 2024Updated 2 years ago
Alternatives and similar repositories for EbbRT
Users that are interested in EbbRT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Serverless Execution with SnapShots☆18Jul 14, 2022Updated 4 years ago
- A sandboxed execution environment for unikernels☆1,011Updated this week
- ☆15Sep 9, 2020Updated 6 years ago
- Formal verification of SecVisor, a secure hypervisor☆14Apr 23, 2013Updated 13 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Latr: Lazy Translation Coherence - ASPLOS'18☆16Nov 15, 2021Updated 4 years ago
- Experimental Linux Virtual Machine based on UML and noMMU☆70Jan 28, 2021Updated 5 years ago
- ☆15Aug 6, 2018Updated 8 years ago
- ☆11Sep 8, 2022Updated 4 years ago
- ☆217May 3, 2022Updated 4 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12May 7, 2016Updated 10 years ago
- Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support☆783Oct 6, 2021Updated 5 years ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- Code for the benchmarks presented in https://www.usenix.org/conference/atc18/presentation/boucher☆12Apr 18, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Administrative utility for AMD SEV☆15Apr 13, 2022Updated 4 years ago
- ☆14Dec 26, 2022Updated 3 years ago
- Practical Tamper-Proof System Auditing☆15Oct 19, 2023Updated 3 years ago
- Measure Web filtering from Web browsers.☆12Feb 6, 2020Updated 6 years ago
- The Rumprun unikernel and toolchain for various platforms☆1,178May 11, 2020Updated 6 years ago
- Implementation of RIPT in golang☆11May 3, 2020Updated 6 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆111Aug 18, 2022Updated 4 years ago
- The Unikernel & MicroVM Compilation and Deployment Platform☆2,827Apr 27, 2023Updated 3 years ago
- Nautilus Aerokernel☆52May 11, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Portable Persistent Memory Allocation Library☆14Jul 18, 2020Updated 6 years ago
- LiTL: Library for Transparent Lock Interposition☆86Jun 29, 2023Updated 3 years ago
- An operation-log based approach for data replication.☆65Apr 27, 2023Updated 3 years ago
- Memory access tracing QEMU☆101Jan 19, 2017Updated 9 years ago
- ☆35Oct 9, 2017Updated 9 years ago
- Syntax Highlighting based on LibClang Tokens for Emacs☆15Jan 16, 2020Updated 6 years ago
- ☆26Mar 6, 2020Updated 6 years ago
- ☆10May 30, 2017Updated 9 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MirageOS traceroute unikernel☆17Jul 13, 2026Updated 3 months ago
- An ongoing attempt to create own hypervisior from scratch in linux.☆53Oct 7, 2021Updated 5 years ago
- Fast In-memory Transaction Processing using Hybrid RDMA Primitives☆66Nov 15, 2018Updated 7 years ago
- ☆11Aug 10, 2021Updated 5 years ago
- Overcoming the IOTLB Wall for Multi-100-Gbps Linux-based Networking☆23May 16, 2023Updated 3 years ago
- Linux kernel library☆20Jan 9, 2011Updated 15 years ago
- This project is obsoleted by https://github.com/odnoklassniki/jvmti-tools☆13Apr 20, 2021Updated 5 years ago