CamDesk

CamDesk

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

网站:

特征

分类目录

Web版CamDesk的替代品

F*

F*

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