SynchroPLLearning Learning synchronous programming Languages by examples. lustre_core - Lustre Core examples lustre_v6 - Lustre v6 specific examples scade - Scade 6 examples heptagon - Heptagon examples swan - Swan examples