Z3

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

Cliplets

Créez des "cliplets", ces gifs animés mêlant des éléments statiques et dynamiques

Dminor

Aide à la vérification du code durant la compilation

PhyloDet

Analyse graphique de l'évolution des arbres selon leurs espèces

Adobe Premiere Pro

Pour réaliser vos montage vidéo, Adobe Premiere Pro propose des outils de…

Shotcut

Shotcut est un éditeur vidéo gratuit, open source et multiplateforme, disponible sur…

Topaz Video

Topaz Video AI est un logiciel d'amélioration vidéo qui utilise l'IA pour…

Polish

Éditeur de photo montage simple et puissant