The red file extension is related to the XRK eXtra Redcode Kit disassembled redcode warrior files.
RED file extension - XRK eXtra Redcode Kit disassembled redcode warrior
What is red file? How to open red files?
File type specification:
The red file extension is associated with XRK eXtra Redcode Kit a complete Core Wars development system available for Microsoft Windows operating system.
The red file stores disassembled redcode warrior data from XRK.