deltaV is a bare-metal hypervisor. (Raspberry Pi-3B) [ARMv8-A]
☆13May 12, 2024Updated last year
Alternatives and similar repositories for deltaV
Users that are interested in deltaV are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ARM-based Hypervisor for Real-Time Embedded Systems☆20Mar 5, 2019Updated 7 years ago
- Decentralized Application for Agriculture Supply Chain Management☆18Mar 7, 2018Updated 8 years ago
- Software to conveniently control & fully automate large Marklin CS2/CS3 digital layouts using your computer / keyboard. Designed for use…☆35Updated this week
- A lightning-fast static site generator written in Go☆18Apr 29, 2026Updated last week
- Synaptics Astra SDK Yocto Starter Kit☆17Apr 15, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Will be implementing Data structures and Algorithms in some real life projects in here.☆19Jun 5, 2021Updated 4 years ago
- library to load and parse Mach-O core files without dependencies☆17Oct 4, 2021Updated 4 years ago
- This is a repo containing ARM-Cortex-M0 based SOC designs implemented on the Nexus-4-DDR , Nexus-4 and the ARTY - A7 FPGA platforms.☆12Sep 6, 2023Updated 2 years ago
- A simple API to authenticate PESU credentials using PESU Academy☆21Sep 12, 2025Updated 7 months ago
- Windows Mobile Emulator source code that MS released. Modified to work with VS2022.☆16Mar 11, 2023Updated 3 years ago
- RiSC 16 is a simple 16 bit instruction set with 8 instructions and 3 instruction formats. This is an RTL implementation in verilog, instr…☆12Jan 24, 2022Updated 4 years ago
- 6-stage dual-issue in-order superscalar risc-v cpu☆14Updated this week
- Food Supply Chain and MicroFinance Using Blockchain☆16Feb 1, 2020Updated 6 years ago
- Parallel implementation of Smith–Waterman using OpenMP☆10Oct 28, 2020Updated 5 years ago
- 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.
- Learn the Design of a 6-stage pipelined RISC-V CPU☆16Oct 22, 2025Updated 6 months ago
- KPU - the RISC based Open Source CPU☆17Nov 4, 2017Updated 8 years ago
- Small KVM-based hypervisor, boots Linux (WIP)☆14May 5, 2024Updated 2 years ago
- Debug waveforms with GDB☆30Nov 12, 2025Updated 5 months ago
- This project presents the implementation of Quantum Key Distribution (QKD) Protocol:BB84 on FPGA. Quantum Communication Methodology has b…☆14Dec 29, 2022Updated 3 years ago
- Binary Ninja plugin to perform automated analysis of Windows drivers☆20Aug 8, 2019Updated 6 years ago
- ☆15Dec 2, 2021Updated 4 years ago
- A fully scriptable UEFI bootloader.☆14Aug 30, 2024Updated last year
- A Batch to native 16-bit x86 compiler, made in Rust.☆11Apr 17, 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.
- Convert MusicXML to Flipper Music Format☆16Aug 14, 2023Updated 2 years ago
- A Scalable and Consistent Distributed Cache☆15Feb 12, 2024Updated 2 years ago
- ☆14Sep 27, 2022Updated 3 years ago
- Currently unfinished GPU based C compiler☆17Aug 4, 2025Updated 9 months ago
- exploder☆13Sep 21, 2024Updated last year
- Roofline prototype for Arm☆14Mar 25, 2024Updated 2 years ago
- ☆14Apr 25, 2026Updated last week
- The systems bred pastebin | Easiest pastebin of the west!☆12Jul 8, 2023Updated 2 years ago
- Notes about books.☆19May 1, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2☆15Aug 20, 2022Updated 3 years ago
- Our project involves the design of an 8-bit microprocessor data-path including 8-byte dual port memory, ALU and barrel shifter using CMOS…☆14Jan 2, 2021Updated 5 years ago
- Fast serialization of LDIF into CSV in C☆10Jun 27, 2015Updated 10 years ago
- A simple CPU ray tracer written in Rust☆22Mar 10, 2023Updated 3 years ago
- Tiny public domain EFI library☆13Feb 18, 2023Updated 3 years ago
- Implementation of the VMem Resource Allocator☆17Mar 3, 2023Updated 3 years ago
- Some beginner projects using verilog HDL, along with some documentation on basic syntax☆14Jun 13, 2021Updated 4 years ago