CamDesk یک ویجت وب کم با وب آزاد و منبع باز است که به عنوان برنامه نظارت خانگی ایجاد شده است.اگرچه دیگران از آن برای تظاهرات حتی با CamStudio و QuickTime Player برای ریختن صفحه استفاده کرده اند.
Übersicht به شما امکان می دهد دستورات سیستم را اجرا کنید و خروجی آنها را در ظروف کوچک به نام ابزارک به نمایش بگذارید.ابزارک ها با استفاده از HTML5 نوشته شده اند ، به این معنی که آنها
LibreSSL نسخه ای از پشته TLS / crypto است که از OpenSSL در سال 2014 ساخته شده است ، با هدف مدرن سازی کردن رمزنگاری ، بهبود امنیت و استفاده از بهترین فرآیند های توسعه عملی.
F * یک زبان برنامه نویسی کاربردی شبیه ML است که با هدف تأیید برنامه انجام می شود.F * می تواند مشخصات دقیق را برای برنامه ها ، از جمله ویژگی های صحت عملکردی بیان کند.برنامه هایی که با F * نوشته شده اند برای اجرای می توانند به OCaml یا F # ترجمه شوند.