Karel es un lenguaje de programación creado específicamente para enseñar programación a principiantes. Fue desarrollado por Bill Duvall y Paul Resnick en la Universidad de Michigan a principios de la década de 1980.
Karel se basa en el lenguaje Pascal y toma prestada su sintaxis y estructura. Sin embargo, Karel es mucho más sencillo que Pascal y está diseñado para que sea fácil de aprender y utilizar. Los programas escritos en Karel se denominan "programas Karel" o "código Karel".
Los programas Karel se escriben en un editor de texto, y se componen de una serie de comandos. Los programas de Karel son ejecutados por un "intérprete de Karel", que es un programa que entiende y ejecuta el código de Karel.
Los programas Karel pueden escribirse para resolver diversos problemas, como mover un robot a través de un laberinto u ordenar una pila de bloques. Karel también se utiliza a veces para enseñar conceptos de programación como la recursividad y la iteración.