boykopovar / AnyPS5

Tool that automatically ports PS5 executables to run natively on Linux and Windows, with a macOS-capable relinker build.

oven-sh / bun

All-in-one JavaScript and TypeScript toolkit shipped as a single executable, bundling a runtime, bundler, test runner, and package manager.

ran-j / PS2Recomp

Static recompiler that translates PlayStation 2 ELF binaries into C++ and provides a runtime to execute the generated code.

YuKongA / ghostlock-app

Android app that exploits CVE-2026-43499 to gain temporary root on supported kernels and load KernelSU.

sp00nznet / xboxrecomp

Static recompiler toolkit that translates original Xbox XBE game binaries into native C code buildable as Windows, Linux, or macOS executables.

x64dbg / x64dbg

Open-source user-mode binary debugger for Windows, built for reverse engineering and malware analysis of executables without source.

rocq-prover / rocq

Interactive theorem prover (proof assistant) for writing formal definitions, executable algorithms, and machine-checked proofs.