RED Workflow There are pathways for Apple/Final Cut Studio 2/Color, Adobe CS5, and Avid Media Composer. Discussions regarding RED post workflow are also at the REDUSER.net forum.
REDCODE RAW recorded as .R3D files
You can download the free RED Final Cut Studio installer and others on the support page at RED
There are whitepapers included that tells you in great detail about RED workflows.
REDCINE-X download the operations guide, opens REDCODE RAW video recorded as .R3D files, allows 1st light color correction. Exports to a variety of outputs including Quicktime, TIFF, DPX
now with Epic support
HD Cinema offers rentals of the RED Rocket card for high speed conversion of .r3d files to ProRes HQ. PCI-e card mounts in Intel Mac Pro towers. Requires download of drivers and firmware
The Maxx Digital Mobile Rocket chassis for the RED Rocket card allows you to take the card into the field in a package smaller than a Mac Pro by plugging into a Macbook Pro with an Express 34 card slot.
Accelerates the full debayer and Full debayer scaled to 1K playback through the laptop