Janus

Uma linguagem de programação concorrente e reversível, o que significa que seus processos podem ser executados tanto para frente quanto para trás no tempo, facilitando a depuração e a análise de programas.