Pour une présentation générale de ces machines, voir la page infrastructure Linux à l'UFR.

Parmi les paquets officiels Debian installés à l'UFR, on retrouve les grands classiques en terme d'édition (emacs, …) de programmation (gcc, …) et ainsi de suite. L'environnement de bureau fourni est xfce.

Nous ne donnerons pas ici de liste plus précise, elle serait trop longue. Sur une machine, lancer la commande apt list –installed (avec deux tirets) ou encore dpkg -l pour en savoir plus.

• android SDK et android studio
• atom (editeur)
• eclipse (IDE)
• eclipse-clp (prog par contraintes)
• intellij-idea (editeur)
• kotlin
• leJOS (Lego Mindstorm)
• mars (simulateur mips)
• mozart-oz
• netbeans (IDE)
• node.js
• prism (model checker)
• spin (concurrence)
• symfony (framework php)