5
CamDesk ist ein kostenloses Open-Source-Desktop-Webcam-Widget, das als Hausüberwachungsanwendung erstellt wurde.Obwohl andere es für Demonstrationen auch mit CamStudio und QuickTime Player für das Screencasting verwendet haben.
camdesk
Webseite:
http://camdesk.sourceforge.net/Eigenschaften
CamDesk-Alternativen für Web
3
F*
F * ist eine ML-ähnliche funktionale Programmiersprache zur Programmverifizierung.F * kann genaue Programmspezifikationen ausdrücken, einschließlich funktioneller Korrektheitseigenschaften.In F * geschriebene Programme können zur Ausführung in OCaml oder F # übersetzt werden.
