Docs des Services Numériques
Accès au "Réseau WiFi
Les Salles OSR
Serveur d'applications
Tutos UFR pour la Pédagogie
Les ressources info
Docs des Services Numériques
Accès au "Réseau WiFi
Les Salles OSR
Serveur d'applications
Tutos UFR pour la Pédagogie
Les ressources info
Application | Description | Utilisé en L1 | Salles | Version | Noms de paquetages | Liens utiles pour installation | Installation difficile ? | Contacts pour tests | Remarques |
---|---|---|---|---|---|---|---|---|---|
Android Studio | Android Application IDE | N/A | http://developer.android.com/sdk/index.html | grosjean@unistra.fr | |||||
Autodesk Maya | Animation 3D | Espla | N/A | ||||||
Blender | Animation 3D | N/A | https://www.blender.org/ | ||||||
Coq | Assistant de preuve | N/A | https://coq.inria.fr/download | ||||||
Geany | Editeur IDE | x | N/A | http://www.geany.org/ | |||||
GNS3 | Émulateur et simulateur de réseaux informatiques | N/A | https://www.gns3.com/ | ||||||
Google Chrome | Navigateur web | x | Espla | N/A | https://www.google.com/chrome/browser/desktop/index.html | ||||
Intellij IDEA | IDE | N/A | https://www.jetbrains.com/idea/ | ||||||
Komodo Edit | IDE | N/A | http://komodoide.com/download/ | ||||||
PAPYRUS | Modelisation Sysml/UML | Illkirch | N/A | https://eclipse.org/papyrus/ | |||||
Plugin nsight de Nvidia | Plateforme de développement | N/A | http://www.nvidia.fr/object/nsight.html | ||||||
PuTTY | Émulateur de terminal et client SSH | N/A | http://www.chiark.greenend.org.uk/~sgtatham/putty/ | ||||||
Python | Langage de programmation | N/A | https://www.python.org/downloads/windows/ | ||||||
QlickView | Logiciel BI | C315 | N/A | ||||||
Qt | Graphic Interface Library | N/A | https://www.qt.io/download-open-source/ | grosjean@unistra.fr | |||||
Qt Creator | IDE | N/A | https://www.qt.io/download-open-source/ | grosjean@unistra.fr | |||||
R (tinn-R) | Langage de programmation | N/A | http://sourceforge.net/projects/tinn-r/ | ||||||
Response Time Viewer | Analyseur de performance pour Wireshark | N/A | http://www.solarwinds.com/freetools/response-time-viewer-for-wireshark.aspx | ||||||
RStudio | Plateforme pour R | N/A | https://www.rstudio.com/ | ||||||
SAS | Statistiques | N/A | |||||||
Scilab | Plateforme pour le calcul numérique | N/A | http://www.scilab.org/fr/download/latest | ||||||
SolarWinds Response Time Viewer | Analyseur de trames réseau | N/A | |||||||
Unity | Moteur de jeux 3D (game engine) | N/A | https://store.unity.com/fr/education | essert@unistra.fr | |||||
Virtualbox | Outil de virtualisation | N/A | https://www.virtualbox.org/ | ||||||
Visual Studio Community | IDE | N/A | https://www.visualstudio.com/vs/community/ | ||||||
Vmware | Outil de virtualisation | N/A | http://www.vmware.com/fr | ||||||
WAMP Server | Environnement web | N/A | http://www.wampserver.com/ | ||||||
WinPcap | Outil d'analyse réseaux | N/A | http://www.winpcap.org/ | ||||||
WinSCP | Outil de copie de données | N/A | https://winscp.net/eng/index.php | ||||||
Wireshark | Outil d'analyse réseaux | N/A | https://www.wireshark.org/#download | ||||||
Xming | Portage de XWindows sous Windows | N/A | http://www.straightrunning.com/XmingNotes/ |
Application | Description | Utilisé en L1 | Salles | Version | Noms de paquetages | Liens utiles pour installation | Installation difficile ? | Contacts pour tests | Remarques | |||
---|---|---|---|---|---|---|---|---|---|---|---|---|
7zip | Outil de compression et archivage | toutes | défaut | p7zip | ||||||||
Android Studio | Android Application IDE | toutes | défaut | http://developer.android.com/sdk/index.html | grosjean@unistra.fr | |||||||
Apache 2 | Serveur HTTP | toutes | défaut | apache2 | ||||||||
ArgoUML | Création de diagramme | toutes | défaut | http://argouml-downloads.tigris.org/argouml-0.34/ | ||||||||
Autoconf | Générateur de scripts de configuration | toutes | défaut | autoconf | ||||||||
Automake | Générateur de makefile | toutes | défaut | automake | ||||||||
Autotools | Outils de build | toutes | défaut | autotools-dev | ||||||||
Banner | Outil d'écriture de texte large horizontal | toutes | défaut | banner | ||||||||
Bison | Analyseur syntaxique | toutes | défaut | bison | ||||||||
Blender | Animation 3D | toutes | défaut | “blender | blender-data” | |||||||
Boost | Bibliothèques logicielles C++ | toutes | défaut | libboost-all-dev | ||||||||
Byacc | Analyseur sémantique | toutes | défaut | “byacc | byacc-j” | |||||||
Cairo | The Cairo 2D vector graphics library | toutes | défaut | libcairo2 | essert@unistra.fr | |||||||
Clang | Compilateur C/C++ | toutes | défaut | clang | ||||||||
Clips | Système expert | toutes | défaut | clips | ||||||||
Cmake | Moteur de production | toutes | défaut | “cmake | cmake-curses-gui | cmake-qt-gui” | ||||||
Code::Blocks | Editeur IDE | toutes | défaut | “codeblocks | codeblocks-dbg” | |||||||
Code Composer Studio | IDE développement embarqué | J4 | défaut | http://dpt-info.u-strasbg.fr/~p.boulandet/ti/ | ||||||||
Coq | Assistant de preuve | toutes | défaut | “coq | coq-doc” | coq.inria.fr | non | magaud@unistra.fr | ||||
Coqide | IDE de coq | toutes | défaut | coqide | coq.inria.fr | non | magaud@unistra.fr | |||||
Cssh | Cluster SSH | toutes | défaut | clusterssh | collet@unistra.fr | |||||||
Colorgcc | GCC avec coloration | toutes | défaut | colorgcc | ||||||||
Cuda | Calcul parallèle | Salles équipées Nvidia | http://www.r-tutor.com/gpu-computing/cuda-installation/cuda7.5-ubuntu | collet@unistra.fr | ||||||||
DDD | Débogueur graphique | toutes | défaut | ddd | ||||||||
Dia | Création de diagramme | toutes | défaut | dia | ||||||||
Dig | Interrogation DNS | toutes | défaut | dnsutils | ||||||||
Dot | Affichage graphe | toutes | défaut | graphviz | ||||||||
Doxygen | Générateur de documentation | toutes | défaut | “doxygen | doxygen-dbg | doxygen-latex” | ||||||
Easea | Developpement | http://easea.unistra.fr/easea/index.php/Installing_EASEA | collet@unistra.fr | |||||||||
Eclipse | IDE | toutes | défaut | “eclipse | eclipse-cdt | eclipse-cdt-valgrind” | ||||||
Eigen3 | Bibliothèque de templates C++ pour l'algèbre linéaire | toutes | défaut | libeigen3-dev | ||||||||
Emacs | Editeur de texte | toutes | défaut | emacs | ||||||||
Exiv2 | Outil de manipulation de métadonnées | toutes | défaut | “exiv2 | libexiv2-12 | libexiv2-dev” | ||||||
Firefox | Navigateur Web | x | toutes | défaut | firefox | |||||||
Flex | Analyseur lexical | toutes | défaut | flex | ||||||||
G++ | Compilateur | toutes | défaut | g++ | ||||||||
GCC et bibliothèques C | “Compilateur | bibliothèques et outils” | x | toutes | défaut | build-essential | ||||||
GCC 5 ou supérieur | Compilateur | toutes | >= 5 | jens.gustedt@inria.fr | ||||||||
GCJ | Compilateur Java | toutes | 4.8 | “gcj-4.8 | gcj-4.8-jdk | gcj-4.8-jre” | ||||||
GFortran | Compilateur fortran | toutes | défaut | gfortran | ||||||||
Geany | Editeur IDE | x | toutes | défaut | “geany | libvte9” | ||||||
Gcov | Test de couverture | toutes | défaut | inclus dans gcc | ||||||||
Gdb | Débogueur | x | toutes | défaut | gdb | |||||||
GDM | GNOME Display Manager | toutes | défaut | gdm | ||||||||
Ghostscript | Interpréteur PostScript et PDF | toutes | défaut | ghostscript | ||||||||
Gimp | Editeur d'image | toutes | défaut | gimp | ||||||||
Git | outil de gestion de versions | toutes | défaut | git | essert@unistra.fr | |||||||
GLEW | The OpenGL Extension Wrangler Library | Illkirch | “glew-utils | libglew-dev” | http://glew.sourceforge.net/ | non | dischler@unistra.fr | |||||
GLFW | Library for creating windows with OpenGL contexts | Illkirch | 3.1.2 | http://www.glfw.org/index.html | non | dischler@unistra.fr | ||||||
Glut | Librairie d'utilitaires OpenGL | toutes | défaut | “freeglut3 | freeglut3_dev” | https://www.opengl.org/resources/libraries/glut/ | ahabibi@unistra.fr | |||||
GMP | Bibliothèque multiprécision | toutes | défaut | libgmp-dev | ||||||||
GNS3 | Émulateur et simulateur de réseaux informatiques | toutes | défaut | gns3 | ||||||||
GNU Parallel | Exécution de travaux en parallèle | toutes | défaut | parallel | ||||||||
Gnuplot | Gnuplot | toutes | défaut | “gnuplot | gnuplot-doc” | |||||||
Google Chrome | Navigateur Web | x | toutes | https://www.google.fr/chrome/browser/desktop/ | ||||||||
Gprof | Profilage de code | toutes | défaut | binutils | ||||||||
Grand Central Dispatch | API de gestion des architectures multicoeurs | toutes | défaut | libdispatch-dev | ||||||||
GStreamer | Bibliothèque de manipulation de sons et d'images | toutes | défaut | gstreamer-tools | ||||||||
Haskell | Langage de programmation | x | espla | défaut | haskell-platform | https://www.haskell.org/ | ||||||
Imagemagick | Programmes de manipulation d'images | toutes | défaut | imagemagick | ||||||||
Indent | Indentation de programmes C/C++ | toutes | défaut | indent | ||||||||
Inkscape | Programme de dessin vectoriel | toutes | défaut | inkscape | ||||||||
Java | Langage de programmation | toutes | défaut | “default-jre | default-jdk” | |||||||
Junit | Tests unitaires | toutes | >=4 | “junit4 | junit | cobertura | libemma-java” | |||||
Joe | Éditeur de texte plein écran | toutes | défaut | joe | ||||||||
Kanif | Outil de gestion de clusters | toutes | défaut | kanif | ||||||||
Kate | Éditeur de texte KDE | x | toutes | défaut | “kate | kate-data | kate-dbg” | |||||
Kile | Éditeur latex | toutes | défaut | kile | ||||||||
Komodo Edit | IDE | toutes | http://ubuntuhandbook.org/index.php/2014/04/install-komodo-edit-8-in-ubuntu-14-04/ | |||||||||
Latex | Mise en forme de documents | toutes | défaut | texlive-full | ||||||||
Ledit | Commande pour pgm interactifs | toutes | défaut | ledit | ||||||||
Libcunit | Bibliothèque de tests unitaires pour C | toutes | défaut | “libcunit1 | libcunit1-dev” | |||||||
LibreOffice | Suite bureautique | x | toutes | défaut | libreoffice | |||||||
Libtool | Support de bibliothèques génériques | toutes | défaut | libtool | ||||||||
LLVM | Infrastructure de compilateur | toutes | défaut | “llvm | llvm-dev” | |||||||
M4 | Langage de traitement de macros | toutes | défaut | m4 | ||||||||
Makedepend | Dépendance de fichiers d'entête | toutes | défaut | xutils-dev | ||||||||
Man Pages | Pages de manuel | toutes | défaut | “manpages | manpages-dev | manpages-fr | manpages-dev-fr” | |||||
Mayavi | Outil de visualisation scientifique 2D et 3D | toutes | défaut | mayavi2 | ||||||||
Meshlab | Manipulation de maillages 3D | Illkirch | défaut | meshlab | http://www.meshlab.net/ | hetroywheeler@unistra.fr | ||||||
Midori | Navigateur Web léger | toutes | défaut | midori | ||||||||
MPFRCX | Bibliothèque arithmétique | toutes | http://www.multiprecision.org/index.php?prog=mpfrcx&page=download | |||||||||
mpv | Lecteur vidéo basé sur MPlayer | toutes | défaut | mpv | egorouben@unistra.fr | |||||||
Musl | Bibliothèque standard C | toutes | défaut | “musl | musl-dev | musl-tools” | jens.gustedt@inria.fr | |||||
Mysql-client | Client mysql | toutes | =5.5 | mysql-client-5.5 | ||||||||
Nam | Animateur de réseaux pour simulation de réseaux | toutes | défaut | nam | ||||||||
Ncurses | Developer's libraries for ncurses | toutes | défaut | libncurses5-dev | essert@unistra.fr | |||||||
Nedit | Éditeur de texte | x | toutes | défaut | nedit | |||||||
Node.js | Plateforme application web | toutes | défaut | nodejs | ||||||||
ns-2 | Simulateur de réseaux | toutes | défaut | ns2 | ||||||||
Ocaml | Langage ocaml | x | toutes | défaut | “ocaml | ocaml-native-compilers | tuareg-mode | libcamlimages-ocaml | libcamlimages-ocaml-dev” | |||
Octave | Langage pour les calculs numériques | toutes | défaut | octave | ||||||||
Opam | Gestion de packages | toutes | https://opam.ocaml.org/doc/Install.html | |||||||||
OpenGL | Graphic Library | toutes | 3.0 minimum | ahabibi@unistra.fr | ||||||||
OpenMP | OpenMP | toutes | défaut | libgomp1 | ||||||||
OpenMPI | Open MPI | toutes | défaut | “libopenmpi-dev | openmpi-bin | openmpi-doc” | loechner@unistra.fr | |||||
Oracle client | Client oracle | toutes | =11g | |||||||||
Oracle SQL Developer | Client oracle graphique | toutes | http://askubuntu.com/questions/458554/how-to-install-sql-developer-on-ubuntu-14-04 | |||||||||
PAPYRUS | Modélisation Sysml/UML | illkirch | defaut | https://eclipse.org/papyrus/ | ||||||||
Paraview | Outil de visualisation d'analyse de données | toutes | défaut | “paraview | paraview-dev” | |||||||
PETSc | Outil pour le calcul scientifique | toutes | défaut | petsc-dev | ||||||||
PGAdmin | Outil d'administration graphique pour PostgreSQL | toutes | défaut | pgadmin3 | ||||||||
PHP | Langage PHP | toutes | défaut | php5 | ||||||||
Pidgin | Client de messagerie instantanée | toutes | défaut | pidgin | ||||||||
Pieuvre | Démarrage et arrêt d'ordinateurs à distance | toutes | Voir avec Marc Streb | |||||||||
Postgresql-client | Client postgresql 9.3 | toutes | =9.3 | postgresql-client-9.3 | ||||||||
Prolog | Langage de programmation logique | toutes | défaut | “gprolog | swi-prolog” | |||||||
Protégé | Framework ontologie | toutes | defaut | http://protege.stanford.edu/ | ||||||||
PyCharm | Interface de développement pour Python | toutes | http://ubuntuhandbook.org/index.php/2015/07/install-pycharm-ubuntu-1404/ | |||||||||
Python | Langage de programmation | toutes | =2.7 | python | ||||||||
Python | Langage de programmation | toutes | =3.5 | http://askubuntu.com/questions/682869/install-python-3-5-on-vivid-using-apt-get | ||||||||
QGIS | Système d'information géographique | toutes | défaut | qgis | ||||||||
Qt | Graphic Interface Library | toutes | >5.5 | qt-sdk | grosjean@unistra.fr | |||||||
QtCreator | IDE | toutes | >3.5 | qtcreator | grosjean@unistra.fr | |||||||
R (commander) | GUI R | toutes | défaut | “r-base | r-base-dev | r-cran-rcmdr” | ||||||
Ruby | Langage de programmation | toutes | défaut | ruby | ||||||||
Scilab | Plateforme pour le calcul numérique | toutes | défaut | scilab | ||||||||
Screen | Multiplexeur de terminaux X | toutes | défaut | screen | ||||||||
Scribus | Logiciel de production assistée par ordinateur | toutes | défaut | scribus | ||||||||
SDL | Bibliothèque de développement | toutes | =1.2 | libsdl1.2-dev | ||||||||
Scala | Langage de programmation | toutes | défaut | “scala | scala-library | ” | ||||||
Scons | Moteur de production | toutes | défaut | scons | ||||||||
SOIL | Simple OpenGL Image Library | Illkirch | http://www.lonesock.net/soil.html | non | dischler@unistra.fr | |||||||
Sparse | Outil d'analyse de code | toutes | défaut | “sparse | libsuitesparse-dev” | |||||||
Spim | Émulateur MIPS R2000/R3000 | toutes | défaut | spim | ||||||||
Spin & Promela | Outil pour la vérification de programmes parallèles | toutes | défaut | ispin | http://spinroot.com/spin/Man/README.html | |||||||
Sshfs | SSH | toutes | défaut | sshfs | ||||||||
Svn | Outil de gestion de versions | toutes | défaut | subversion | non | essert@unistra.fr | ||||||
Swig | Générateur d'interfaces de scripts pour C/C++ | toutes | défaut | swig | ||||||||
Tcl/Tk | Langage TCL et son outillage TK | toutes | défaut | “tcl | tcl-dev | tk | tk-dev” | |||||
Texinfo | Système de documentation | toutes | défaut | texinfo | ||||||||
Texmaker | Éditeur LaTeX | toutes | défaut | texmaker | ||||||||
Thunderbird | Client de messagerie électronique | toutes | défaut | thunderbird | ||||||||
Tmux | Multiplexeur de terminaux X | toutes | défaut | tmux | ||||||||
Traceroute | Traceroute | toutes | défaut | traceroute | ||||||||
Tuareg | Mode OCaml pour EMACS | toutes | défaut | tuareg-mode | ||||||||
UUID dev | Librairie UUID | toutes | défaut | uuid-dev | ||||||||
Valgrind | Valgrind | x | toutes | défaut | valgrind | |||||||
Vim | Éditeur de texte | x | toutes | défaut | “vim | vim-gnome” | ||||||
VirtualBox | Outil de virtualisation | toutes | défaut | virtualbox | ||||||||
Whois | Whois | toutes | défaut | whois | ||||||||
Wireshark | Outil d'analyse réseaux | toutes | défaut | wireshark | ||||||||
Wxwidgets | Graphic Interface Library | toutes | https://www.wxwidgets.org/ | grosjean@unistra.fr | ||||||||
Why2 Why3 / Framac | Preuve de programmes | toutes | oui installation via opam avec repertoire partagé | narboux@unistra.fr | ||||||||
XEmacs | Éditeur de texte | toutes | défaut | xemacs21 | ||||||||
Xfig | Dessin vectoriel | toutes | défaut | xfig | ||||||||
XGRAPH | Traceur de courbes 2D | toutes | défaut | xgraph | ||||||||
Xpdf | Lecteur de fichiers PDF | toutes | défaut | xpdf | ||||||||
Zenmap | Interface graphique pour Nmap | toutes | défaut | zenmap | ||||||||
Zlib | Librairie de compression | toutes | défaut | zlib1g-dev | ||||||||
packets installés par les étudiants | environnement de crosscompilation ARM | J4 | accès root sous linux |