Outils pour utilisateurs

Outils du site


wiki:linux_softs

Table des matières

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)



Recherche avancée par tag

wiki/linux_softs.txt · Dernière modification: 04/02/21 11:46 (modification externe)