لغة Esterel هي لغة برمجة تتبع نمط البرمجة المتزامنة، وتستخدم في تطوير الأنظمة التفاعلية المعقدة. تتميز Esterel بأسلوب برمجي إجباري يسمح بالتعبير البسيط عن التوازي والتسبق. ونتيجة لذلك، فهي مناسبة تمامًا لتصميم النماذج التي تتحكم فيها البرمجة بشكل أساسي.
بدأ تطوير هذه اللغة في أوائل الثمانينات من القرن الماضي، وقام بها فريق يضم باحثين من Ecole des Mines de Paris و INRIA بقيادة Gérard Berry. يقوم المترجمون الحاليون بأخذ برامج Esterel وتوليدها إما كشفرة C أو تنفيذات للعتاد (RTL) بلغة VHDL أو Verilog.
لغة Esterel ما زالت قيد التطوير، مع وجود العديد من المترجمين المتاحين. النسخة التجارية من Esterel هي بيئة التطوير Esterel Studio. شركة Synfora التي تسوقها بادرت بعملية تقييم مع معهد IEEE في أبريل 2007، ولكن تم حل مجموعة العمل (P1778) في مارس 2011.
يمكن العثور على المعيار الأولي لـ Esterel v7 Reference Manual Version v7 30 – الذي يعتمد على IEEE – بشكل عام.