
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.
Webseite:
http://camdesk.sourceforge.net/Eigenschaften
CamDesk-Alternativen für Linux

14
Screenlets
Screenlets sind kleine, von Eigentümern gezeichnete Anwendungen (in Python geschrieben), die als "virtuelle Darstellung von Dingen, die auf Ihrem Schreibtisch herumliegen / herumstehen" beschrieben werden können.
- Kostenlose
- Linux

13

11
Webian Shell
Ein Vollbild-Webbrowser für Geräte, die keinen Desktop benötigen.

8

7

5

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.