Beginning Student Language is here: http://docs.racket-lang.org/htdp-langs/beginner.html

The followup languages are links on the left.

(They use Java in the second course.)