Free and Open Source PlayStation Remote Play Client


Commodore-related plugins for Rizin including VICE remote debugging, BASIC Disassembly and sprite viewing


A mechanisation of Wasm in Isabelle.


PlayStation 2 memory card manager


Sega Saturn Switchless Region Mod for AVR (ATtiny84A)


Tool for analyzing Atmosphère (Nintendo Switch CFW) crash dumps in Rizin


SMT Solver for Bit Vector Arithmetic


3D Engine Framework using Vulkan


Utility to launch new terminals in the same working directory as the currently focused one under Sway.