Awesome GitHub RepositoriesVirtualization Configuration

Docker-OSX is a containerized virtualization platform that enables the execution of full operating systems within isolated environments. By leveraging hardware-accelerated hypervisors and machine emulation, the project allows guest operating systems to run with near-native performance, effectively mimicking dedicated physical hardware within a container. The platform distinguishes itself by providing a complete infrastructure for remote desktop and headless management, allowing users to interact with virtualized graphical environments over network protocols. It supports advanced hardware inte

v86 is a browser-based virtual machine and x86 hardware simulator that allows 16-bit and 32-bit operating systems to run directly within a web page. It functions as an x86 emulator for WebAssembly, simulating CPUs, memory, and storage devices to execute legacy software without original native hardware. The project utilizes a WebAssembly just-in-time compiler to translate x86 machine code into WebAssembly modules for high-performance execution in the browser. The system covers hardware emulation and lifecycle management, including the ability to boot from disk images, configure virtual hardwa

Lima is a virtualization engine designed to provision and manage lightweight Linux, macOS, and FreeBSD virtual machines. It functions as a comprehensive virtual machine manager that leverages native hypervisors and system emulation to provide isolated environments for container development, cross-architecture testing, and secure sandboxing. The project distinguishes itself through its template-driven provisioning system, which allows users to define and automate environment configurations via local files or remote URL schemes. It integrates deeply with host systems by providing automated file

This project provides a containerized environment for running a full macOS desktop operating system. It utilizes a hardware-accelerated virtualization engine to execute the guest environment, allowing for the deployment and management of virtual machines through standard container orchestration tools. The platform distinguishes itself by enabling direct hardware passthrough, which maps physical host disks, partitions, and USB controllers directly into the virtual machine for native driver access. It also supports advanced network integration, allowing the guest system to obtain its own unique

WSABuilds is a management framework designed to deploy and customize virtualized mobile runtime environments on desktop operating systems. It provides a comprehensive suite of tools for building, installing, and maintaining these environments, enabling the native execution of mobile applications alongside standard desktop software. The project distinguishes itself through its focus on deep system integration and lifecycle management. It allows users to generate tailored virtual environment packages by injecting administrative tools, service components, and specific configurations prior to dep

Redox is a POSIX-compliant, microkernel-based operating system written entirely in Rust. By utilizing a memory-safe language for the kernel and all system components, the project eliminates common vulnerabilities such as buffer overflows and use-after-free errors. Its architecture relies on a minimal kernel that manages only essential hardware and process isolation, delegating all other system services to unprivileged user-space processes. The system distinguishes itself through a modular design where hardware drivers and system services run as independent user-space daemons, allowing them to

OpenCorePkg is a modular UEFI bootloader designed to initialize hardware and facilitate the loading of modern operating systems on non-standard or unsupported hardware. It functions as a comprehensive firmware emulation environment, providing the necessary runtime services and memory management to bridge the gap between diverse hardware configurations and operating system requirements. The project distinguishes itself through its ability to perform runtime kernel patching and system firmware modification, allowing for the injection of drivers and the manipulation of hardware tables during the

GEF is a Python-based extension for GDB that serves as a framework for binary analysis, exploit development, and low-level debugging. It functions as a dynamic analysis extension designed to assist in reverse engineering workflows and malware analysis by enhancing the debugger's ability to inspect process state and memory. The project is distinguished by its specialized heap analysis tools, which allow for the inspection of glibc heap arenas, bins, and chunks to detect memory corruption. It also provides a dedicated toolkit for exploit development, including cyclic pattern generation for offs

DeskPad is a macOS virtual display manager and window management utility designed to isolate and share specific screen content. It creates software-defined monitors at the operating system level to provide a dedicated drawing surface for mirroring content to an audience without exposing the primary workspace. The tool employs cursor location tracking to automate window focus, automatically bringing application windows to the front when the mouse enters the virtual display area. It allows for the creation and resizing of virtual monitors through system-level preferences to ensure shared conten

Blink is a JIT-based instruction emulator and x86-64 Linux emulator designed to run Linux binaries and ELF files across different host operating systems and architectures. It functions as a binary execution sandbox and system call simulator, providing a controlled environment for running programs. The project distinguishes itself with a terminal user interface for monitoring execution, managing breakpoints, and visualizing JIT compilation paths. It supports self-modifying code through a cache-invalidating memory model and provides execution environment isolation using restricted directory ove

SASM este un mediu de dezvoltare integrat cross-platform pentru scrierea, asamblarea și depanarea codului assembly de nivel scăzut. Acesta servește drept editor unificat și flux de execuție pentru dezvoltarea în limbaj assembly pe diferite sisteme de operare. Mediul suportă mai multe limbaje assembly și toolchain-urile lor respective, inclusiv NASM, MASM, GAS și FASM, într-o singură interfață. Dispune de un debugger la nivel binar care permite parcurgerea instrucțiunilor și inspectarea registrelor CPU și a stărilor variabilelor. Proiectul oferă un pipeline de build bazat pe toolchain și un sistem de configurare pentru selectarea versiunilor de asamblor și linker. Include, de asemenea, un manager de spațiu de lucru cu gestionare a documentelor pe tab-uri și persistența sesiunii pentru a restaura fișierele deschise la repornire. Pentru a asigura un comportament consistent pe diferite platforme, software-ul utilizează un wrapper unificat pentru standardizarea input-ului de la tastatură și a output-ului pe ecran.

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

parsec-vdd este un manager de drivere de afișare virtuală și un emulator de afișare pentru servere headless. Acesta simulează monitoare active definite prin software pentru a permite sesiuni de desktop la distanță și streaming de jocuri pe sisteme gazdă care nu au afișaje fizice. Proiectul oferă o interfață în system tray pentru gestionarea ciclului de viață al monitorului, permițând utilizatorilor să adauge sau să elimine ecrane virtuale și să captureze screenshot-uri. Permite definirea lățimilor, înălțimilor și ratelor de refresh personalizate pentru aceste afișaje virtuale prin presetări în regiștrii sistemului. Instrumentul gestionează configurarea proprietăților de afișare și monitorizează starea dispozitivului folosind identificatori hardware. De asemenea, menține persistența afișajului prin semnale periodice de tip heartbeat pentru a preveni deconectarea automată a monitoarelor virtuale de către sistemul de operare.

Cloud Hypervisor is a Rust-based hypervisor and KVM virtual machine monitor designed to execute 64-bit guest operating systems. It functions as a user-space virtual machine manager that employs a minimal emulation layer to reduce memory overhead and latency for cloud workloads. The project distinguishes itself through the use of a memory-safe language to implement a virtio device emulator and a user-space device model. It provides a standardized web API for managing virtual machine lifecycles and resource configurations. The platform covers broad virtualization capabilities, including the em

This project is a GameBoy hardware emulator that simulates the original processor, graphics, and sound systems to run vintage ROMs. It provides a core emulation engine that executes instructions using cycle-accurate simulation to match original hardware timing. The emulator is designed for remote play, enabling cloud game streaming via HTTP and WebSockets. This allows for remote cooperative gaming through a web browser and terminal-based gaming where game state is rendered via telnet. The system includes capabilities for memory-mapped I/O emulation and state-based save restoration to preserv

This project is a dynamic tiling window manager configuration and automated desktop installer for Linux. It provides a system for organizing application windows to maximize screen real estate and productivity, specifically centered around a Hyprland desktop configuration. The environment features an adaptive visual theme that extracts dominant hues from wallpapers to automatically update the global user interface colors. It also includes specialized optimizations for virtual machine environments to ensure system stability and performance. The project covers automated desktop deployment throu

This project provides a collection of visual asset packs and automated shell scripts for customizing the appearance of the GRUB2 bootloader on Linux systems. It functions as a complete theme management system, enabling users to install, remove, and select from multiple style variants that change the boot menu's colors, fonts, icons, and layout. The toolset includes dedicated utilities for adjusting the GRUB2 framebuffer resolution to match the monitor's native display, ensuring graphics are properly scaled and aligned. It also offers a background manager that replaces the default boot menu ba

ExHyperV is a suite of administrative tools designed for managing advanced Hyper-V configurations, specifically focusing on GPU partitioning, device passthrough, and virtual network switches. It provides a graphical interface to configure virtual machine resources and optimize hypervisor settings. The project is distinguished by its ability to share physical graphics card resources across multiple virtual machines using paravirtualization and partitioning. It also provides specialized utilities for assigning PCIe devices and USB peripherals directly to guest machines for exclusive access. Th

Displayplacer is a command-line tool for managing multi-monitor display layouts on macOS. It enables users to save, apply, and automate screen configurations including resolution, rotation, arrangement, and mirroring settings entirely from the terminal without requiring a graphical interface. The tool identifies displays using persistent hardware IDs rather than port-based identifiers, allowing layouts to be restored consistently across reconnections and reboots. It supports headless display configuration, enabling or disabling monitors, rotating internal and external displays, and designatin

HyperDbg is a hardware-assisted kernel-mode debugging platform that leverages virtualization to monitor and control system execution. By utilizing hypervisor-level primitives, it enables deep system analysis and instrumentation without relying on standard operating system debugging interfaces. The framework provides a comprehensive environment for inspecting both kernel and user-mode processes, allowing for granular control over execution flow and system state. The project distinguishes itself through a transparent debugging layer designed to remain invisible to the target environment. It emp