I hadn't heard of Karel either and so I did a search
So here's what I came up with -
Karel Apparently, there is also
Karel++ though this link is to a book by that name which teaches object oriented programming using Karel techniques - so Karel++ might not be an "official" term
