CamDesk je bezplatný, open source, desktopový webový widget, který byl vytvořen jako aplikace domácího dohledu.I když ji jiní použili k demonstracím i s CamStudio a QuickTime Player pro casting obrazovky.
F * je funkční programovací jazyk typu ML zaměřený na ověření programu.F * může vyjadřovat přesné specifikace programů, včetně funkčních vlastností správnosti.Programy napsané v F * mohou být přeloženy do OCaml nebo F # pro provedení.