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


Free and Open Source PlayStation Remote Play Client


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.