لغة Rosette هي لغة برمجة مساعدة بحل المشكلات (Solver-Aided Programming) التي توسع Racket ببنى لغوية تُستخدم في تخصيص البرامج، التحقق من صحتها، والمزيد. يقوم Rosette بتحويل الشفرة إلى قيود منطقية يتم حلها باستخدام مُحللات SMT المتاحة في السوق. من خلال جمع الوصول الافتراضي إلى المُحللات مع الميتابرمجة في Racket، تجعل Rosette من السهل تطوير أدوات لتخصيص البرامج والتحقق من صحتها للغات الجديدة.
تم إطلاق Rosette في عام 2013، وقد صممها كل من Emina Torlak و Rastislav Bodik. تمتاز اللغة بالعديد من الميزات، مثل وجود تعليقات في الشفرة وعدم وجود تنسيق ذو دلالة، ووجود تعليقات السطر. علامة التعليق المستخدمة في Rosette هي “;”.
يمكن العثور على المزيد من المعلومات حول Rosette على موقعها الرسمي هنا.
يرجى ملاحظة أنه لم يتم توفير معلومات حول مستودع Rosette على GitHub أو صفحتها على Wikipedia في البيانات المقدمة.