Outils pour utilisateurs

Outils du site


Panneau latéral

wiki:linux_softs

Logiciels disponibles sous Linux à l'UFR

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

Logiciels Debian

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.

Logiciels tiers

  • 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)
wiki/linux_softs.txt · Dernière modification: 24/07/19 15:15 par Pierre Letouzey