ReactOS Build Environment for various platforms
☆56Jan 22, 2026Updated last month
Alternatives and similar repositories for RosBE
Users that are interested in RosBE are comparing it to the libraries listed below
Sorting:
- Graphical Debugging Shell for ReactOS Kernel Debugger (KDBG)☆36Feb 25, 2023Updated 3 years ago
- ReactOS Website powered by the Hugo Static Site Generator☆41Jan 22, 2026Updated last month
- Version of QEMU modded to run WinRT☆12Jul 9, 2017Updated 8 years ago
- ☆12Aug 31, 2022Updated 3 years ago
- Official repository for the REX virtual machine☆12Mar 9, 2016Updated 9 years ago
- U-Boot for HP Prime G2☆16Mar 9, 2021Updated 4 years ago
- QEMU with Windows ARM hacks. woa-kvm: ARM64 Build 18348- on KVM, winrt: Windows RT 8.1 on QEMU☆20Jun 1, 2022Updated 3 years ago
- An AArch64 hobbyist OS for the Raspberry Pi 3 B+☆18Jan 28, 2022Updated 4 years ago
- An application for comparing two binary files☆11Feb 22, 2019Updated 7 years ago
- Raspberry Pi heavy load power supply testing☆12Apr 27, 2018Updated 7 years ago
- ☆10Jan 16, 2026Updated last month
- ☆11Oct 4, 2018Updated 7 years ago
- Multiplayer snake game written at a single weekend☆13Jul 10, 2019Updated 6 years ago
- OpenSSL CocoaPod for iOS and OSX☆16Nov 20, 2022Updated 3 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- WIP Custom ARM UEFI firmware for Lumia535☆10Mar 28, 2020Updated 5 years ago
- HDF Explorer QT Edition is a multi-platfrom graphical browser for HDF5 files. http://www.space-research.org/☆10Aug 18, 2025Updated 6 months ago
- Open Source AI Training program under Apache 2.0 License☆11Nov 25, 2024Updated last year
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆13Dec 2, 2025Updated 2 months ago
- IDA python scripts for reverse engineering PS2 EE and IOP executables☆24Oct 9, 2023Updated 2 years ago
- An alternative tool to Sysinternals WinObj tool (nicer icons!)☆35Aug 31, 2018Updated 7 years ago
- QEMU With E2K User Support☆52Apr 19, 2025Updated 10 months ago
- Port DOSBox 0.74-3 for KolibriOS☆15Jan 14, 2024Updated 2 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- An implementation of libc, attempting to be compliant with C89, C99 and C11 standards☆13Feb 9, 2026Updated 2 weeks ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 2 weeks ago
- Verified Extraction from Rocq to OCaml/Malfunction☆14May 23, 2025Updated 9 months ago
- AMD OS X Resources.☆16Jun 27, 2020Updated 5 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- Camera software for Windows☆15Jun 23, 2021Updated 4 years ago
- fbDOOM with RISC-V Vector optimizations☆17Aug 30, 2023Updated 2 years ago
- Premake Cookbook☆15Mar 26, 2015Updated 10 years ago
- An attempt to give the KolibriOS project a second wind with separated kernel repository☆10Jun 18, 2023Updated 2 years ago
- Operating system with focus on portability, efficiency and minimalism.☆11Oct 12, 2025Updated 4 months ago
- Convert reg driver to an installable inf (beta) - For splitted BSP regs☆11Feb 18, 2019Updated 7 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- A partially working linux kernel for nokia msm8974 devices☆13Mar 11, 2020Updated 5 years ago
- Open Source overclocking for nvidia cards taken from https://1vwjbxf1wko0yhnr.wordpress.com/author/2pkaqwtuqm2q7djg/☆16Aug 11, 2015Updated 10 years ago
- Turn any Windows precision touchpad into a touchscreen.☆12Oct 21, 2018Updated 7 years ago