Karel é uma linguagem de programação criada especificamente para o ensino de programação a principiantes. Foi desenvolvida por Bill Duvall e Paul Resnick na Universidade de Michigan no início da década de 1980.
Karel baseia-se na língua Pascal, e toma emprestada a sua sintaxe e estrutura. Contudo, o Karel é muito mais simples do que o Pascal, e foi concebido para ser fácil de aprender e utilizar. Os programas escritos em Karel são chamados "programas Karel" ou "código Karel".
Os programas Karel são escritos num editor de texto, e são compostos de uma série de comandos. Os programas Karel são executados por um "intérprete Karel", que é um programa que compreende e executa o código Karel.
Os programas Karel podem ser escritos para resolver vários problemas, tais como mover um robô através de um labirinto, ou ordenar uma pilha de blocos. Karel também é por vezes utilizado para ensinar conceitos de programação como a repetição e iteração.