Zelus est un langage synchrone étendu avec des équations différentielles ordinaires (ODE) pour programmer des systèmes hybrides qui mélangent des modèles discrets et continus. Il partage les principes de base des langages synchrones Lustre et Lucid Synchrone, avec des fonctionnalités supplémentaires telles que la déduction de types, les automates hiérarchiques et les fonctions d'ordre supérieur.