5
CamDesk est un widget webcam gratuit et open source, créé comme application de surveillance à domicile.Bien que d'autres l'aient utilisé pour des démonstrations même avec CamStudio et QuickTime Player pour la diffusion d'écran.
camdesk
Site Internet:
http://camdesk.sourceforge.net/traits
Les catégories
Alternatives à CamDesk pour Web
3
F*
F * est un langage de programmation fonctionnel de type ML destiné à la vérification de programme.F * peut exprimer des spécifications précises pour les programmes, y compris les propriétés d'exactitude fonctionnelle.Les programmes écrits en F * peuvent être traduits en OCaml ou F # pour exécution.
