Ya hace tiempo que me habían pedido un módulo para evaluar problemas de Karel, principalmente porque la versión actual es un poco difícil de usar y porque por alguna razón no admite las instrucciones sal-de-instruccion; o return; (en Pascal y Java respectivamente), al momento de evaluar.
Aunque ya existe un evaluador oficial que soporta esas instrucciones, los mundos y las condiciones de evaluación están en un formato diferente, además de que es mucho menos amigable que el evaluador anterior (al estilo de gcc).
Por eso, aprovechando que tengo el módulo de compulación y evaluación separado en Karelotitlán lo tome y lo metí en un evaluador un poco más fácil de usar. Aún tienes que hacer los mundos y los KEC en Karel, pero hace la evaluación mucho más fácil.