Ymir: The Type-1 Hypervisor.
☆63Jun 18, 2025Updated 11 months ago
Alternatives and similar repositories for ymir
Users that are interested in ymir are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Writing Type-1 Hypervisor in Zig from scratch.☆37Aug 23, 2025Updated 9 months ago
- Capability-based 3rd-generation Microkernel/Microhypervisor with High-speed IPC Mechanism.☆52Updated this week
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation. (on Milk-V Megrez)☆56May 15, 2026Updated last week
- A thin-hypervisor that runs on aarch64 CPUs.☆102May 4, 2026Updated 3 weeks ago
- ☆16Jan 5, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🍬 tiny OCaml compiler and PSan targeting to WebAssembly☆10Aug 15, 2024Updated last year
- Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu☆10Apr 9, 2019Updated 7 years ago
- Toy QUIC implementation in Zig☆13Sep 4, 2024Updated last year
- A toy hypervisor.☆25Feb 17, 2023Updated 3 years ago
- ☆11Apr 18, 2024Updated 2 years ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆24Jun 21, 2025Updated 11 months ago
- 🛠️ Graphical IDE for NextMicon☆28Feb 15, 2024Updated 2 years ago
- kvmm is a type2 hypervisor that uses the Linux Kernel Virtual Machine(KVM).☆12Feb 5, 2021Updated 5 years ago
- A benchmark for standalone WebAssembly☆37Aug 6, 2024Updated last year
- 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.
- Hypervisor from scratch in linux☆13May 8, 2022Updated 4 years ago
- ☆11Sep 20, 2021Updated 4 years ago
- Composable Python framework for LLM agent workflows focused on simplicity and developer experience. We ❤️ OSS.☆41May 13, 2026Updated last week
- hypervisorなmemo☆13Jul 1, 2019Updated 6 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated 7 months ago
- A bare minimum hypervisor on AMD and Intel processors for learners.☆354May 17, 2026Updated last week
- Caprese is a microkernel that protects resources with capability-based security.☆19Feb 18, 2024Updated 2 years ago
- A TinySegmenter implementation of golang but zero allocation inside this library☆13May 12, 2021Updated 5 years ago
- Package plug replaces functions, defined in the other packages, on testing.☆21Mar 16, 2025Updated last year
- 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.
- ☆16Dec 17, 2021Updated 4 years ago
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆41May 5, 2026Updated 2 weeks ago
- Vim filetype support for goyacc☆23May 10, 2018Updated 8 years ago
- aarch64 thin hypervisor for resource aggregation☆38Apr 7, 2025Updated last year
- ☆23Updated this week
- MUCOM88用のMML楽曲ライブラリ☆10Aug 27, 2023Updated 2 years ago
- Rust ffi bindings for libuv☆16May 9, 2026Updated 2 weeks ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆25May 7, 2025Updated last year
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆25Dec 9, 2024Updated last year
- TypeScript Scenario-Based Web Application Fuzzing Framework☆64Mar 4, 2022Updated 4 years ago
- ISUCON過去問と同等の環境をWSL2上で構築するためのスクリプト☆19Dec 11, 2024Updated last year
- Toy web browser + OS in Rust = wasabi☆313May 10, 2026Updated 2 weeks ago
- Simple Lossy Compression Image Format for Embedded Platforms☆11Apr 18, 2026Updated last month
- The servers configurations of https://dse.in.tum.de/☆46May 18, 2026Updated last week
- The repository for the book "The Node Experiment - Exploring Async Basics with Rust"☆16Oct 9, 2019Updated 6 years ago