Resilient Virtual Machine Monitor is a complete fault tolerance solution for type-I hypervisors adopting one of the most popular VMM architectures, we refer as "pVM-based". This project leverages unikernel and fault tolerance designs to have deal with the fault tolerance of the "dom0" in the Xen virtualization system.
☆11Jul 30, 2020Updated 5 years ago
Alternatives and similar repositories for R-VMM
Users that are interested in R-VMM are comparing it to the libraries listed below
Sorting:
- My course at ESIR engineering school (https://esir.univ-rennes.fr/) on IOT Security☆17Jan 16, 2026Updated last month
- FreeBSD's BHyVe project☆26May 10, 2012Updated 13 years ago
- An in-memory filesystem (RAMDISK) using FUSE.☆26May 9, 2024Updated last year
- A YAML to BIRD configuration generator for transit networks.☆27Jul 3, 2021Updated 4 years ago
- The ArcGIS Pro SDK for utility network pre-releases.☆10Jan 25, 2019Updated 7 years ago
- The 2013 edition of the Source SDK☆10Aug 19, 2017Updated 8 years ago
- An offshot of the SteamControllerSigner that aims to take advantage of the SC's dual pulse channel nature☆11Aug 14, 2017Updated 8 years ago
- ☆11May 21, 2021Updated 4 years ago
- Apple Watch inspired Activity Rings for React using SVGs☆12Jan 5, 2025Updated last year
- GovWifi Admin Platform☆11Feb 27, 2026Updated last week
- ☆11Dec 31, 2020Updated 5 years ago
- Reference and useful snippets for .md files☆10Apr 17, 2020Updated 5 years ago
- A select subset of shaders included in the GShade project modified for use with ReShade.☆13May 3, 2025Updated 10 months ago
- The plugin allows user to login in GoCD using GitLab(or GitLab Enterprise). It also supports authorization, which can be used by server a…☆10Updated this week
- ☆13Dec 17, 2025Updated 2 months ago
- Helps you find and install applications, games, and tools☆16Dec 16, 2025Updated 2 months ago
- Chatbot that answers frequently asked questions in French, English, and Tunisian using the Rasa NLU framework and RWKV-4-Raven☆13May 19, 2023Updated 2 years ago
- マネーサウンド:OFX/CSV/PDF出力対応のアカウントアグリゲーションサービス☆12Jan 15, 2019Updated 7 years ago
- ☆20Oct 16, 2025Updated 4 months ago
- Collection of workspaces for FME☆13Aug 21, 2014Updated 11 years ago
- Automate posts to BlueSky with Cloudflare Workers, Cron Triggers, Workers KV, and the Blue Sky API☆13Dec 13, 2024Updated last year
- FireEgl's PuTTY - FuTTY!☆18Nov 7, 2015Updated 10 years ago
- DCPU-16 emulator written in Squeak/Smalltalk.☆10Jul 16, 2015Updated 10 years ago
- ☆12Oct 14, 2024Updated last year
- Search for AppImage releases over the web.☆12Oct 25, 2018Updated 7 years ago
- Homebrew formulas for installing LLM and related tools☆15Sep 6, 2023Updated 2 years ago
- ☆10Jul 17, 2023Updated 2 years ago
- ☆10Apr 4, 2023Updated 2 years ago
- ESC-POS Server Print - a web service for print using ESC-POS.☆15Dec 8, 2023Updated 2 years ago
- Expand CIDRs or wrangle a list of IPs back to its smallest CIDR blocks possible☆10Apr 5, 2020Updated 5 years ago
- RTL-SDR 433MHz signal recovery with MATLAB☆12Feb 13, 2015Updated 11 years ago
- A Halmak support module for the TypeFu app☆11Nov 3, 2019Updated 6 years ago
- some p2p thing☆11Nov 20, 2016Updated 9 years ago
- WIP: Chronofold data structure in Purescript☆10Jun 24, 2021Updated 4 years ago
- Discord bot with GPT-3 Integration☆10Dec 8, 2022Updated 3 years ago
- Zsh patched to support Actually Portable Executables git://git.code.sf.net/p/zsh/code (upstream pending)☆16Jan 26, 2021Updated 5 years ago
- Linux CLI tool to forward TCP connections from one network namespace to another network namespace☆15Feb 15, 2026Updated 2 weeks ago
- Map/Reduce functions for processing Certificate Transparency. Used for https://LetsEncrypt.org/stats☆11Feb 14, 2023Updated 3 years ago
- A utility for Inno Setup script writers☆17Mar 30, 2012Updated 13 years ago