(Probably outdated, some existing types of Judges are missing in the above link).
Codechef uses a Judge program to validate the output of the Submission. The most commonly used Judge is the one that \text{ignores extra white spaces} (self-explanatory). For some programs that ask you to print \text{any valid answer}, they use a custom Judge (basically a CPP Program running on the Server) that validates the Output.