CamDesk

CamDesk

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

特征

Web版CamDesk的替代品

F*

F*

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