CamDesk

CamDesk是一个免费的开源桌面网络摄像头小部件，它是作为家庭监视应用程序创建的。

CamDesk是一个免费的开源桌面网络摄像头小部件，它是作为家庭监视应用程序创建的。尽管其他人甚至将其用于CamStudio和QuickTime Player进行屏幕投射的演示。

camdesk

Mac版CamDesk的替代品

Übersicht允许您运行系统命令，并在称为小部件的小容器中将其输出显示在桌面上。小部件是使用HTML5编写的，这意味着它们

全屏Web浏览器，用于不需要台式机的设备。

LibreSSL是2014年从OpenSSL派生的TLS /加密堆栈的版本，目标是现代化代码库，提高安全性并应用最佳实践开发流程。

自2012年以来由罗马尼亚公司在信息安全行业拥有超过15年的经验开发和提供的服务。

NerdTool是类似GeekTool的应用程序，可直接在桌面上显示信息。

F *是一种类似于ML的功能编程语言，旨在进行程序验证。F *可以表达程序的精确规范，包括功能正确性属性。可以将用F *编写的程序转换为OCaml或F＃来执行。