Z3

Prouvez vos théorèmes ou trouvez des contres exemples grâce à ce solveur…

Dminor

Aide à la vérification du code durant la compilation

Cloud Services SDK for Windows Phone 7

SDK destiné à la création d'applications pour Windows Phone 7 orientées Cloud…

Collage

Outil de présentation pour l'enseignement

Adobe Premiere Pro

Montez vos vidéos avec ce logiciel de qualité professionnelle

Shotcut

Editeur vidéo open-source et multi-plateformes

VirtualDub

Programme de capture et d'édition vidéo

Topaz Video AI

Améliorez la qualité de vos vidéos grâce à l'intelligence artificielle