CamDesk عبارة عن تطبيق مصغر لكاميرا ويب لسطح المكتب ، مفتوح المصدر ، تم إنشاؤه كتطبيق للمراقبة المنزلية.على الرغم من أن البعض الآخر استخدمها في العروض التوضيحية حتى مع CamStudio و QuickTime Player لصب الشاشة.
يتيح لك Übersicht تشغيل أوامر النظام وعرض مخرجاتها على سطح المكتب الخاص بك في حاويات صغيرة تسمى عناصر واجهة المستخدم.تتم كتابة الحاجيات باستخدام HTML5 ، مما يعني أنها
F * هي لغة برمجة وظيفية تشبه ML تهدف إلى التحقق من البرنامج.يمكن لـ F * التعبير عن مواصفات دقيقة للبرامج ، بما في ذلك خصائص الصحة الوظيفية.يمكن ترجمة البرامج المكتوبة باللغة F * إلى OCaml أو F # للتنفيذ.