Karel Home Page: Tutorials, downloads, and information.
Karel J. Robot: Java version of Karel.
Karel++: Object-oriented version of Karel.
Marvin: A Java-based RoBOTL interpreter.
Sourceforge: Karel The Robot: Karel for Unix.
xKarel: Open source port for Windows and Linux.