Timefold Solver هو حلّال قيود ذكاء اصطناعي مفتوح المصدر لجافا وكوتلن يُحسّن مسائل التخطيط مثل توجيه المركبات وجدولة الموظفين والصيانة وإسناد المهام. طوّره فريق OptaPlanner الأصلي، ومرخّص بموجب Apache-2.0 مع إصدار تجاري منفصل للمؤسسات.
CoursIA هو منهج من دفاتر Jupyter التفاعلية لتعلّم الذكاء الاصطناعي عبر التطبيق العملي، من خوارزميات البحث والاستدلال الشكلي إلى تعلّم الآلة والتعلّم المعزّز والذكاء الاصطناعي التوليدي والتداول الخوارزمي، باستخدام Python وC# مع .NET Interactive وLean 4.