RED digital pictures
From Just Solve the File Format Problem
RED digital pictures, also known as REDCODE and R3D, are a camera format used for 4K video captures. They are not related to the Redcode programming language used in Core Wars.