CamDesk

CamDesk

CamDeskは、無料のオープンソースのデスクトップウェブカメラウィジェットで、ホーム監視アプリケーションとして作成されました。
CamDeskは、無料のオープンソースのデスクトップウェブカメラウィジェットで、ホーム監視アプリケーションとして作成されました。他の人は、CamStudioを使用したデモンストレーションにも使用しており、スクリーンキャストにはQuickTime Playerを使用しています。

ウェブサイト:

特徴

カテゴリー

WebのCamDeskの代替

F*

F*

F *は、プログラムの検証を目的としたMLに似た関数型プログラミング言語です。F *は、機能の正確さのプロパティなど、プログラムの正確な仕様を表現できます。F *で書かれたプログラムは、実行のためにOCamlまたはF＃に変換できます。