☆11Apr 25, 2021Updated 5 years ago
Alternatives and similar repositories for awesome-unikernels
Users that are interested in awesome-unikernels are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Rust hypervisor for mixed-critical system☆30Sep 6, 2025Updated last year
- Compound Real-time Operating System☆19Aug 15, 2020Updated 6 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated 2 years ago
- ☆134Sep 29, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 7 years ago
- caijiqhx notes☆16Oct 26, 2024Updated last year
- ☆13Apr 19, 2023Updated 3 years ago
- Unikraft port of the lwip network stack☆17Apr 20, 2026Updated 5 months ago
- library OS, based on xv6, for running go programs on (virtual) bare metal☆13Jul 12, 2011Updated 15 years ago
- 💻 Unikraft CLI☆29Updated this week
- numad for debian/ubuntu☆17Apr 28, 2016Updated 10 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆24Jun 2, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- TWINE: An Embedded Trusted Runtime for WebAssembly. This is the repository that contains the source code of Twine and the related benchma…☆43Mar 14, 2024Updated 2 years ago
- Benchmark Tool for Embedded Key-Value Stores available in Rust☆30Apr 28, 2026Updated 5 months ago
- A safe and lightweight real-time Kernel written in Rust.☆12May 17, 2021Updated 5 years ago
- 北航 计算机组成原理 课程设计 计组☆12Dec 14, 2021Updated 4 years ago
- Curated list of unikernel resources☆53Mar 28, 2020Updated 6 years ago
- ☆10Feb 29, 2024Updated 2 years ago
- BUAA SCSE - Computer Organization - Pipeline CPU design☆14Nov 9, 2018Updated 7 years ago
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆19Sep 21, 2026Updated 3 weeks ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆137May 14, 2026Updated 5 months 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.
- Stable, non-KVM version of PTLsim.☆29Feb 16, 2016Updated 10 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- Provides a base when implementing the repository pattern with EF6.☆11Aug 31, 2020Updated 6 years ago
- ucore+ repository for OS laboratory 2015☆11Jun 1, 2018Updated 8 years ago
- The Anime Twist API used for querying anime entries and more☆14Sep 14, 2016Updated 10 years ago
- This command can be run to watch a cgroup for OOM events and run some subcommand.☆14Dec 11, 2014Updated 11 years ago
- Loupe: Syscall Usage Analysis Tool☆53Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- Nanos klib for NVIDIA GPUs☆14Aug 29, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- xmservice☆10May 28, 2020Updated 6 years ago
- A simple 8-bit CPU in Verilog☆10Jun 4, 2022Updated 4 years ago
- GPU-CR: GPU Checkpoint & Restore☆34Jun 4, 2026Updated 4 months ago
- Snowman decompiler☆14Mar 8, 2023Updated 3 years ago
- A survey of manufacturer-provided DRAM operating parameters and timings as specified by DRAM chip datasheets from between 1970 and 2021. …☆11May 4, 2022Updated 4 years ago
- Scripts and code for PARTIES (ASPLOS'19)☆31Apr 22, 2021Updated 5 years ago
- A map that will hold the routes and stops of all the buses and vans in Lebanon. This data is meant to be public and available in order to…☆12Feb 15, 2019Updated 7 years ago