现在卡雷尔（karel）机器人软件去哪下载？

本人初学者，现在跟着斯坦福cs106a（编程方法）在自学，里面用的ecplise运行“卡雷尔机器人”作为案例讲解，这是几年前的视频了，里面提供网址的东西均已失效，我百度也找不到卡雷尔机器人软件下载，特此求助。