Anaconda est une distribution libre et open source des langages de programmation Python et R appliqué au développement d'applications dédiées à la science des données et au machine learning.
Clang est un compilateur pour les langages de programmation C, C++ et Objective-C
CMake est un système de construction logicielle multiplateforme
Dafny est un langage compilé impératif qui cible C # et prend en charge la spécification formelle à travers les préconditions, les postconditions, les invariants de boucle et les variantes de boucle
Compilateur et outils pour le développement dans le langage C
Git est un logiciel de gestion de versions décentralisé
Intellij est un IDE Java avec lequel on peut installer plusieurs plugins, tel que celui pour utiliser le langage Scala
JAGS (Just Another Gibbs Sampler) est un programme pour les simulations bayésiennes utilisant les MCMC (méthodes de Monte-Carlo par Chaînes de Markov)
Java Pathfinder est un système pour vérifier les programmes exécutables de bytecode Java
LTSA Delforge est une extension au logiciel LTSA qui ajoute de nouvelles possibilités au layout
Mercurial est un logiciel de gestion de versions décentralisé
Oz est un langage de programmation multi-paradigmes
Numpy est une libraire Python pour optimiser les calculs de vecteurs et de matrices
GNU Octave est un logiciel libre de calcul numérique
PyCharm est un IDE pour développer en Python
Python3 est un langage de programmation très populaire
R est un logiciel libre permettant de faire des calculs statistiques
RStudio est un IDE pour le langage R
Scala est un langage de programmation multi-paradigme développé par l'EPFL
SciPy est un écosystème python permettant de résoudre une mutitude de problèmes de mathématiques, de Sciences et d'ingénierie
Subversion (SVN) est un système de gestion de versions
Thony est un IDE pour le langage Python
Oracle VM VirtualBox est un logiciel libre de virtualisation publié par Oracle.
Visual Studio Code est un éditeur permettant d'écrire son code dans une multitude de langages de programmation
Wireshark est un logiciel permettant d'écouter les paquets envoyés sur le réseau
Windows Subsystem for Linux est une couche de compatibilité permettant d'exécuter des exécutables binaires Linux de manière native sur Windows 10
Note : Les descriptions des logiciels/langages reprises ci-dessus proviennent du site https://fr.wikipedia.org