ZRun est un interpréteur de référence pour un langage de flux de données synchrones, inspiré de Lustre, Lucid Synchrone, Scade et Esterel. Il permet d'exécuter des programmes synchrones sans hypothèse de typage préalable, facilitant ainsi la validation de compilateurs et l'exploration de nouvelles fonctionnalités linguistiques. L'outil sert également à illustrer les différences de traitement de la causalité entre les divers langages synchrones.