An Rust hypervisor for mixed-critical system
☆30Sep 6, 2025Updated last year
Alternatives and similar repositories for rtshyper
Users that are interested in rtshyper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Feb 21, 2025Updated last year
- Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot☆25Oct 18, 2024Updated last year
- ☆25Sep 26, 2025Updated last year
- Unikraft port of the lwip network stack☆17Apr 20, 2026Updated 5 months ago
- ☆13Apr 19, 2023Updated 3 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.
- library OS, based on xv6, for running go programs on (virtual) bare metal☆13Jul 12, 2011Updated 15 years ago
- Adding named and default arguments to Rust functions -- 为 Rust 函数添加命名参数和默认参数☆35Dec 30, 2023Updated 2 years ago
- A no-std, panic-never, heapless, reliability-focused UDP/IP stack for bare-metal.☆14Dec 8, 2025Updated 10 months ago
- ☆15Jul 18, 2023Updated 3 years ago
- A terminal-rendered 3D platforming / maze game.☆36Jun 8, 2025Updated last year
- Compound Real-time Operating System☆19Aug 15, 2020Updated 6 years ago
- Write Openscad code in Julia.☆11Feb 15, 2019Updated 7 years ago
- ☆30Nov 19, 2024Updated last year
- Artifact Evaluation of "GhostCache: Timer- and Counter-Free Cache Attacks Exploiting Weak Coherence on RISC-V and ARM Chips" (CCS 2025)☆24Jul 19, 2025Updated last year
- 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.
- Machine learning toolkit for android☆18May 4, 2022Updated 4 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆26Sep 1, 2026Updated last month
- ☆16Nov 15, 2017Updated 8 years ago
- Rust - background jobs.☆53Aug 31, 2026Updated last month
- Benchmark Tool for Embedded Key-Value Stores available in Rust☆30Apr 28, 2026Updated 5 months ago
- Simple OCI image to systemd-sysext raw image converted☆24Jul 5, 2024Updated 2 years ago
- Wireshark dissector for the Zenoh protocol☆17Updated this week
- ☆133Sep 29, 2026Updated last week
- Implementation of FIDO2/U2F in micropython☆13Apr 24, 2020Updated 6 years ago
- 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.
- A simple, fast, intuitive parser combinator framework for Rust.☆25Nov 23, 2025Updated 10 months ago
- A safe and lightweight real-time Kernel written in Rust.☆12May 17, 2021Updated 5 years ago
- Rust GUI toolkit☆17Mar 20, 2026Updated 6 months ago
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 7 months ago
- Smart AI terminal assistant (Rust) that translates natural language commands into accurate Bash, PowerShell, or CMD shell commands for Li…☆20Dec 25, 2025Updated 9 months ago
- Elkodon - true zero-copy inter-process-communication in rust☆18Dec 12, 2023Updated 2 years ago
- PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability, ACM CCS'22☆24Nov 11, 2024Updated last year
- Experimental x86_64 operating system designed to run userspace applications compiled to WebAssembly.☆50Jun 28, 2025Updated last year
- ☆13Sep 23, 2026Updated 2 weeks 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.
- Measure execution time of a block of Rust code☆18Aug 27, 2019Updated 7 years ago
- Rust Programmer，Rust Fans, C++老兵☆50Nov 7, 2025Updated 11 months ago
- hdfs client impl with pure rust☆19Jan 9, 2024Updated 2 years ago
- Convert OSM queries into graphs☆20Jan 9, 2026Updated 9 months ago
- A retro multiplayer shooter☆17Aug 20, 2018Updated 8 years ago
- Graphics card often idling? Is the decompression speed of common tools too slow? This project is a GPU + multi-process, multi-thread comp…☆11Dec 4, 2023Updated 2 years ago
- Rust based state and configuration using simple macros. Optionally Axum API, openapi with utoipa, and UI components.☆25Feb 9, 2026Updated 8 months ago