Logiciels installés

Postes sous Windows 10

ApplicationDescriptionUtilisé en L1SallesVersionNoms de paquetagesLiens utiles pour installationInstallation difficile ?Contacts pour testsRemarques
Android StudioAndroid Application IDE N/Ahttp://developer.android.com/sdk/index.html grosjean@unistra.fr
Autodesk MayaAnimation 3D Espla N/A
BlenderAnimation 3D N/Ahttps://www.blender.org/
CoqAssistant de preuve N/Ahttps://coq.inria.fr/download
GeanyEditeur IDEx N/Ahttp://www.geany.org/
GNS3Émulateur et simulateur de réseaux informatiques N/Ahttps://www.gns3.com/
Google ChromeNavigateur webxEspla N/Ahttps://www.google.com/chrome/browser/desktop/index.html
Intellij IDEAIDE N/Ahttps://www.jetbrains.com/idea/
Komodo EditIDE N/Ahttp://komodoide.com/download/
PAPYRUSModelisation Sysml/UML Illkirch N/Ahttps://eclipse.org/papyrus/
Plugin nsight de NvidiaPlateforme de développement N/Ahttp://www.nvidia.fr/object/nsight.html
PuTTYÉmulateur de terminal et client SSH N/Ahttp://www.chiark.greenend.org.uk/~sgtatham/putty/
PythonLangage de programmation N/Ahttps://www.python.org/downloads/windows/
QlickViewLogiciel BI C315 N/A
QtGraphic Interface Library N/Ahttps://www.qt.io/download-open-source/ grosjean@unistra.fr
Qt CreatorIDE N/Ahttps://www.qt.io/download-open-source/ grosjean@unistra.fr
R (tinn-R)Langage de programmation N/Ahttp://sourceforge.net/projects/tinn-r/
Response Time ViewerAnalyseur de performance pour Wireshark N/Ahttp://www.solarwinds.com/freetools/response-time-viewer-for-wireshark.aspx
RStudioPlateforme pour R N/Ahttps://www.rstudio.com/
SASStatistiques N/A
ScilabPlateforme pour le calcul numérique N/Ahttp://www.scilab.org/fr/download/latest
SolarWinds Response Time ViewerAnalyseur de trames réseau N/A
UnityMoteur de jeux 3D (game engine) N/Ahttps://store.unity.com/fr/education essert@unistra.fr
VirtualboxOutil de virtualisation N/Ahttps://www.virtualbox.org/
Visual Studio CommunityIDE N/Ahttps://www.visualstudio.com/vs/community/
VmwareOutil de virtualisation N/Ahttp://www.vmware.com/fr
WAMP ServerEnvironnement web N/Ahttp://www.wampserver.com/
WinPcapOutil d'analyse réseaux N/Ahttp://www.winpcap.org/
WinSCPOutil de copie de données N/Ahttps://winscp.net/eng/index.php
WiresharkOutil d'analyse réseaux N/Ahttps://www.wireshark.org/#download
XmingPortage de XWindows sous Windows N/Ahttp://www.straightrunning.com/XmingNotes/

Postes sous Ubuntu 18.04

ApplicationDescriptionUtilisé en L1SallesVersionNoms de paquetagesLiens utiles pour installationInstallation difficile ?Contacts pour testsRemarques
7zipOutil de compression et archivage toutesdéfautp7zip
Android StudioAndroid Application IDE toutesdéfaut http://developer.android.com/sdk/index.html grosjean@unistra.fr
Apache 2Serveur HTTP toutesdéfautapache2
ArgoUMLCréation de diagramme toutesdéfaut http://argouml-downloads.tigris.org/argouml-0.34/
AutoconfGénérateur de scripts de configuration toutesdéfautautoconf
AutomakeGénérateur de makefile toutesdéfautautomake
AutotoolsOutils de build toutesdéfautautotools-dev
BannerOutil d'écriture de texte large horizontal toutesdéfautbanner
BisonAnalyseur syntaxique toutesdéfautbison
BlenderAnimation 3D toutesdéfaut“blender blender-data”
BoostBibliothèques logicielles C++ toutesdéfautlibboost-all-dev
ByaccAnalyseur sémantique toutesdéfaut“byacc byacc-j”
CairoThe Cairo 2D vector graphics library toutesdéfautlibcairo2 essert@unistra.fr
ClangCompilateur C/C++ toutesdéfautclang
ClipsSystème expert toutesdéfautclips
CmakeMoteur de production toutesdéfaut“cmake cmake-curses-gui cmake-qt-gui”
Code::BlocksEditeur IDE toutesdéfaut“codeblocks codeblocks-dbg”
Code Composer StudioIDE développement embarqué J4défaut http://dpt-info.u-strasbg.fr/~p.boulandet/ti/
CoqAssistant de preuve toutesdéfaut“coq coq-doc”coq.inria.frnonmagaud@unistra.fr
CoqideIDE de coq toutesdéfautcoqidecoq.inria.frnonmagaud@unistra.fr
CsshCluster SSH toutesdéfautclusterssh collet@unistra.fr
ColorgccGCC avec coloration toutesdéfautcolorgcc
CudaCalcul parallèle Salles équipées Nvidia http://www.r-tutor.com/gpu-computing/cuda-installation/cuda7.5-ubuntu collet@unistra.fr
DDDDébogueur graphique toutesdéfautddd
DiaCréation de diagramme toutesdéfautdia
DigInterrogation DNS toutesdéfautdnsutils
DotAffichage graphe toutesdéfautgraphviz
DoxygenGénérateur de documentation toutesdéfaut“doxygen doxygen-dbg doxygen-latex”
EaseaDeveloppement http://easea.unistra.fr/easea/index.php/Installing_EASEA collet@unistra.fr
EclipseIDE toutesdéfaut“eclipse eclipse-cdt eclipse-cdt-valgrind”
Eigen3Bibliothèque de templates C++ pour l'algèbre linéaire toutesdéfautlibeigen3-dev
EmacsEditeur de texte toutesdéfautemacs
Exiv2Outil de manipulation de métadonnées toutesdéfaut“exiv2 libexiv2-12 libexiv2-dev”
FirefoxNavigateur Webxtoutesdéfautfirefox
FlexAnalyseur lexical toutesdéfautflex
G++Compilateur toutesdéfautg++
GCC et bibliothèques C“Compilateur bibliothèques et outils”xtoutesdéfautbuild-essential
GCC 5 ou supérieurCompilateur toutes>= 5 jens.gustedt@inria.fr
GCJCompilateur Java toutes4.8“gcj-4.8 gcj-4.8-jdk gcj-4.8-jre”
GFortranCompilateur fortran toutesdéfautgfortran
GeanyEditeur IDExtoutesdéfaut“geany libvte9”
GcovTest de couverture toutesdéfautinclus dans gcc
GdbDébogueurxtoutesdéfautgdb
GDMGNOME Display Manager toutesdéfautgdm
GhostscriptInterpréteur PostScript et PDF toutesdéfautghostscript
GimpEditeur d'image toutesdéfautgimp
Gitoutil de gestion de versions toutesdéfautgit essert@unistra.fr
GLEWThe OpenGL Extension Wrangler Library Illkirch “glew-utils libglew-dev”http://glew.sourceforge.net/nondischler@unistra.fr
GLFWLibrary for creating windows with OpenGL contexts Illkirch3.1.2 http://www.glfw.org/index.htmlnondischler@unistra.fr
GlutLibrairie d'utilitaires OpenGL toutesdéfaut“freeglut3 freeglut3_dev”https://www.opengl.org/resources/libraries/glut/ ahabibi@unistra.fr
GMPBibliothèque multiprécision toutesdéfautlibgmp-dev
GNS3Émulateur et simulateur de réseaux informatiques toutesdéfautgns3
GNU ParallelExécution de travaux en parallèle toutesdéfautparallel
GnuplotGnuplot toutesdéfaut“gnuplot gnuplot-doc”
Google ChromeNavigateur Webxtoutes https://www.google.fr/chrome/browser/desktop/
GprofProfilage de code toutesdéfautbinutils
Grand Central DispatchAPI de gestion des architectures multicoeurs toutesdéfautlibdispatch-dev
GStreamerBibliothèque de manipulation de sons et d'images toutesdéfautgstreamer-tools
HaskellLangage de programmationxespladéfauthaskell-platformhttps://www.haskell.org/
ImagemagickProgrammes de manipulation d'images toutesdéfautimagemagick
IndentIndentation de programmes C/C++ toutesdéfautindent
InkscapeProgramme de dessin vectoriel toutesdéfautinkscape
JavaLangage de programmation toutesdéfaut“default-jre default-jdk”
JunitTests unitaires toutes>=4“junit4 junit cobertura libemma-java”
JoeÉditeur de texte plein écran toutesdéfautjoe
KanifOutil de gestion de clusters toutesdéfautkanif
KateÉditeur de texte KDExtoutesdéfaut“kate kate-data kate-dbg”
KileÉditeur latex toutesdéfautkile
Komodo EditIDE toutes http://ubuntuhandbook.org/index.php/2014/04/install-komodo-edit-8-in-ubuntu-14-04/
LatexMise en forme de documents toutesdéfauttexlive-full
LeditCommande pour pgm interactifs toutesdéfautledit
LibcunitBibliothèque de tests unitaires pour C toutesdéfaut“libcunit1 libcunit1-dev”
LibreOfficeSuite bureautiquextoutesdéfautlibreoffice
LibtoolSupport de bibliothèques génériques toutesdéfautlibtool
LLVMInfrastructure de compilateur toutesdéfaut“llvm llvm-dev”
M4Langage de traitement de macros toutesdéfautm4
MakedependDépendance de fichiers d'entête toutesdéfautxutils-dev
Man PagesPages de manuel toutesdéfaut“manpages manpages-dev manpages-fr manpages-dev-fr”
MayaviOutil de visualisation scientifique 2D et 3D toutesdéfautmayavi2
MeshlabManipulation de maillages 3D Illkirchdéfautmeshlabhttp://www.meshlab.net/ hetroywheeler@unistra.fr
MidoriNavigateur Web léger toutesdéfautmidori
MPFRCXBibliothèque arithmétique toutes http://www.multiprecision.org/index.php?prog=mpfrcx&page=download
mpvLecteur vidéo basé sur MPlayer toutesdéfautmpv egorouben@unistra.fr
MuslBibliothèque standard C toutesdéfaut“musl musl-dev musl-tools” jens.gustedt@inria.fr
Mysql-clientClient mysql toutes=5.5mysql-client-5.5
NamAnimateur de réseaux pour simulation de réseaux toutesdéfautnam
NcursesDeveloper's libraries for ncurses toutesdéfautlibncurses5-dev essert@unistra.fr
NeditÉditeur de textextoutesdéfautnedit
Node.jsPlateforme application web toutesdéfautnodejs
ns-2Simulateur de réseaux toutesdéfautns2
OcamlLangage ocamlxtoutesdéfaut“ocaml ocaml-native-compilers tuareg-mode libcamlimages-ocaml libcamlimages-ocaml-dev”
OctaveLangage pour les calculs numériques toutesdéfautoctave
OpamGestion de packages toutes https://opam.ocaml.org/doc/Install.html
OpenGLGraphic Library toutes3.0 minimum ahabibi@unistra.fr
OpenMPOpenMP toutesdéfautlibgomp1
OpenMPIOpen MPI toutesdéfaut“libopenmpi-dev openmpi-bin openmpi-doc” loechner@unistra.fr
Oracle clientClient oracle toutes=11g
Oracle SQL DeveloperClient oracle graphique toutes http://askubuntu.com/questions/458554/how-to-install-sql-developer-on-ubuntu-14-04
PAPYRUSModélisation Sysml/UML illkirchdefaut https://eclipse.org/papyrus/
ParaviewOutil de visualisation d'analyse de données toutesdéfaut“paraview paraview-dev”
PETScOutil pour le calcul scientifique toutesdéfautpetsc-dev
PGAdminOutil d'administration graphique pour PostgreSQL toutesdéfautpgadmin3
PHPLangage PHP toutesdéfautphp5
PidginClient de messagerie instantanée toutesdéfautpidgin
PieuvreDémarrage et arrêt d'ordinateurs à distance toutes Voir avec Marc Streb
Postgresql-clientClient postgresql 9.3 toutes=9.3postgresql-client-9.3
PrologLangage de programmation logique toutesdéfaut“gprolog swi-prolog”
ProtégéFramework ontologie toutesdefaut http://protege.stanford.edu/
PyCharmInterface de développement pour Python toutes http://ubuntuhandbook.org/index.php/2015/07/install-pycharm-ubuntu-1404/
PythonLangage de programmation toutes=2.7python
PythonLangage de programmation toutes=3.5 http://askubuntu.com/questions/682869/install-python-3-5-on-vivid-using-apt-get
QGISSystème d'information géographique toutesdéfautqgis
QtGraphic Interface Library toutes>5.5qt-sdk grosjean@unistra.fr
QtCreatorIDE toutes>3.5qtcreator grosjean@unistra.fr
R (commander)GUI R toutesdéfaut“r-base r-base-dev r-cran-rcmdr”
RubyLangage de programmation toutesdéfautruby
ScilabPlateforme pour le calcul numérique toutesdéfautscilab
ScreenMultiplexeur de terminaux X toutesdéfautscreen
ScribusLogiciel de production assistée par ordinateur toutesdéfautscribus
SDLBibliothèque de développement toutes=1.2libsdl1.2-dev
ScalaLangage de programmation toutesdéfaut“scala scala-library ”
SconsMoteur de production toutesdéfautscons
SOILSimple OpenGL Image Library Illkirch http://www.lonesock.net/soil.htmlnondischler@unistra.fr
SparseOutil d'analyse de code toutesdéfaut“sparse libsuitesparse-dev”
SpimÉmulateur MIPS R2000/R3000 toutesdéfautspim
Spin & PromelaOutil pour la vérification de programmes parallèles toutesdéfautispinhttp://spinroot.com/spin/Man/README.html
SshfsSSH toutesdéfautsshfs
SvnOutil de gestion de versions toutesdéfautsubversion nonessert@unistra.fr
SwigGénérateur d'interfaces de scripts pour C/C++ toutesdéfautswig
Tcl/TkLangage TCL et son outillage TK toutesdéfaut“tcl tcl-dev tk tk-dev”
TexinfoSystème de documentation toutesdéfauttexinfo
TexmakerÉditeur LaTeX toutesdéfauttexmaker
ThunderbirdClient de messagerie électronique toutesdéfautthunderbird
TmuxMultiplexeur de terminaux X toutesdéfauttmux
TracerouteTraceroute toutesdéfauttraceroute
TuaregMode OCaml pour EMACS toutesdéfauttuareg-mode
UUID devLibrairie UUID toutesdéfautuuid-dev
ValgrindValgrindxtoutesdéfautvalgrind
VimÉditeur de textextoutesdéfaut“vim vim-gnome”
VirtualBoxOutil de virtualisation toutesdéfautvirtualbox
WhoisWhois toutesdéfautwhois
WiresharkOutil d'analyse réseaux toutesdéfautwireshark
WxwidgetsGraphic Interface Library toutes https://www.wxwidgets.org/ grosjean@unistra.fr
Why2 Why3 / FramacPreuve de programmes toutes oui installation via opam avec repertoire partagénarboux@unistra.fr
XEmacsÉditeur de texte toutesdéfautxemacs21
XfigDessin vectoriel toutesdéfautxfig
XGRAPHTraceur de courbes 2D toutesdéfautxgraph
XpdfLecteur de fichiers PDF toutesdéfautxpdf
ZenmapInterface graphique pour Nmap toutesdéfautzenmap
ZlibLibrairie de compression toutesdéfautzlib1g-dev
packets installés par les étudiantsenvironnement de crosscompilation ARM J4 accès root sous linux