Accès aux services des salles de ressources multi-environnements MAI, VIE,PHI et LGE

Autodesk Maya

2018

Animation 3D

Blender

2.93.1

Modélisation 3D

Coq

8.13.1

Assistant de preuves

Firefox

latest

Navigateur web

Geany

1.37.1

Editeur IDE

Gns3

2.0.3

Emulation ou simulation de réseaux informatiques

Google Chrome

latest

Navigateur web

IntelliJ IDEA Community Edition

2017.1.3

IDE Java

Komodo Edit

12.0.1

Environnement de développement multi-plateformes pour le traitement et l'écriture de codes

Libre Office

7.0.6

Logiciels bureautiques

Microsoft Office

2016

Logiciels bureautiques

Plugin nsight de Nvidia

5.1.0

Plateforme de développement

Putty

0.75

Client SSH

Python

2.7.18 + 3.9.4

Langage de programmation objet, multi-paradigme et multi-plateformes

Qt / Qt Creator

5.8.0 / 4.0.0

Environnement de développement C++ / IDE

R / tinn-R / R Studio

4.1.0 / 8.1.3 / 1.4.11

Langage de programmation et environnement statistique

SAS

9411006

Statistiques

Scilab

6.1.0

IDE Calcul Numérique

Visual Studio Community

2017

Environnement de développement Visual

VirtualBox

6.1.18

Outil de virtualisation

WinSCP

5.9.5

Outil de copie de données

Wireshark

2.4.0

Outil d'analyse réseaux

Xming

6.9.0.31

Serveur X pour windows

Zoom

latest

Outil de visioconférence

Applications / packages

Version

Fonctionnalités

Android Studio

2.3.2.0

Environnement de développement Android

Apache

2

Serveur web

ArgoUML

0.34

Editeur diagrammes UML

Autoconf

2.69

Génération scripts de configuration

Automake

1.15

Outil de gestion des fichiers makefile

Bison

3.5

Compilateur yac

Blender

2.76

Animation 3D

Boost

1.58

Bibliothèques C++

Byacc - Byacc-j

1.9

Générateur C++

Cairo

1.15.6

Bibliothèque logicielle de manipulation d'images vectorielles

Clips

6.3

C Language Integrated Production System

Cmake

3.8

Moteur de production » multiplate-forme

Codeblocks

13.12

IDE C++

Coq / Coqide

8.4

Assistant de preuve

Cuda (salle T21 uniquement)

7.5

Calcul parallèle

Ddd

3.3.12

Outil de debuguage

Dia

0.97.3

Logiciel de dessin

Dig

9.10.3

Outil de dysfonctionnement de résolution DNS

Docker

1.9.1

Virtualisation applicative

Dot

1.0

Génération de graphiques

Doxygen

1.8.11

Documentation C++

Easea

1.0.3

Développement

Eclipse

3.8.1

IDE Java

Eigen3

3.3.4

Compilateur

Emacs

24.5.1

Editeur de texte

Exiv2

0.25

Bibliothèques C++ et CLI

Firefox

54

Navigateur web

Flex

2.69

Analyseur lexical

Fortran

5.4.0

Langage de programmation Fortran

Freefem

3.47

Résolution d'équations différentielles

G++

4.4.8

Compilateur

GCC et bibliothèques C

5.4

Suite de logiciels libres de compilation

Gcj

5.4.0

Compilateur GCC et java

Gcov

1.0

Outil métrique sur la couverture de code

Gdb

7.11.1

Outil de debuguage

Geany

1.27

Editeur de texte GTK+

Ghostscript

9.18

Traitement des formats de fichiers PostScript et PDF

Gimp

2.8.16

Editeur d'image

Git/gitk

2.9.1

Logiciel de gestion de versions décentralisé

Glut

3.7

Outils OpenGL

GMP

6.1.2

Librairie mathématique

Gmsh

2.10.1

Modélisation 3D

Gns3

0.8.7

Emulation ou simulation de réseaux informatiques

GNU Parallel

3

Outil d'exécution parallèle

Gnuplot

5

Représentation graphique de données

Google Chrome

60

Navigateur web

Gprof

2.26.1

Outils d'analyse de performance

Graphviz

2.38

Génération de graphes denses

Gstreamer

0.10

Lecteur de fichiers multimédia

idle

2.7 et 3.5

Editeur de programmes python

Imagemagick

6.9.8.6

CLI de manipulation d'images

Indent

2.2.11

Mise en forme de codes sources en langage C

Inkscape

0.91

Dessin vectoriel

IntelliJ IDEA Community Edition

2017.1

IDE Java

Java

1.8

Développement d'applications

Joe

4.4

Editeur de texte

Junit

4.12

Framework de tests applicatifs

Kanif

1.2

Gestion de cluster applicatif

Kate

15.12.3

Editeur de texte KDE

Kile

2.1.3

Environnement LaTeX

Komodo Edit

10.0.1

Environnement de développement multi-plateformes pour le traitement et l'écriture de codes

Latex

6.1

Langage et un système de composition de documents

Ledit

2.03

CLI

Libboost (python)

1.61

Librairies C++

Libcunit

2

Librairies C

Libopenmpi-dev

1.5

Open MPI

LibreOffice

5.1.6.2

Bureautique

LLVM

4.0

Environnement de développement

M4

1.4.18

Langage de macro

Macaulay

2.1.10

Outil de recherche en algèbre géométrique

Mayavi

4.4.3

Visualisation de données scientifiques

Midori

0.5.11

Navigateur web

Mpfrcx

3.1.4

Librairies C

Mysql-client

5.7.18

Client mysql

nam

1.15.3

Simulateur réseau

Ncurses

6.0

Développement en mode texte

Nedit

5.7

Editeur de texte en mode graphique

Ns2

2.35

Simulateur réseau

Ocaml

4.0.2

Langage multi-paradigmes

Octave

4.0.2

Calcul numérique

Opam

1.2.2.4

Gestionnaire de paquet développé pour OCaml

OpenGL

4.4.8

Spécification de graphique en 3D

Openmpi-bin

1.10.2

Calcul parallèle

Oracle client

11.2.0

Client oracle 11g

P7zip

9.20

Compression/décompression de fichiers

Paraview

5.0.1

Analyse de données

Perl

5.22.1

Langage de programmation

PETSc

3.6.2

Calcul parallèle

Pgadmin

3.3

Outils d'administration postgresql

PHP

7

Langage de programmation

Postgresql-client

9.5.7

Client postgresql

Postgis

2.2.1

Librairie postgresql (GIS)

Prolog

7.2.3

Langage de programmation logique

Pycharm

2017.1.2

IDE Python

Python

2.7 et 3.5

Langage de programmation

Qgis

2.8.6

Outil SIG

Qt / QtCreator / QtDesigner

5.5.1

Framework C++

R + R Commander

3.4.1

Statistiques

Rmiregistry

1.6

Outil de registre

Ruby

2.3.1

Langage de programmation

Sagemath

7.5.1

Mathématiques

Scala

2.11.6

Langage de programmation

Scilab

5.5.2

Calcul matriciel

Screen

4.3.1

Multiplexeur de terminaux

Scribus

1.4.6

Publication Assistée par Ordinateur

Scons

2.4.1

Outil construction logiciel

Sdl

2.0

Bibliothèque

SLEPc

3.6.1

Librairie calcul parallèle

Sparse

1.4

Parser sémantique C

Spim

8.0

Simulateur processeur MIPS

Spin Promela

6.4

Vérificateur logique

SQL Developper

4.2.0

SQL

Sshfs

2.5.1

Connexion SSH

SVN (Subversion)

1.9.3

Système de contrôle de code source

Swig

3.0.8

Interface de compilation C et C++

Tcl/tk

8.6.5

Langage de script

Tensorflow

1.2.1

Bibliothèque graphique

TEXinfo

4.7

Documentation sur le projet GNU

Texmaker

4.4.1

Editeur LaTeX

Tmux

2.1.3

Multiplexeur de terminaux

Traceroute

1.2.0

Outil de diagnostic des réseaux

Valgrind

3.1.0

Outils de profilage et de débuggage mémoire

Vim

7.4

Éditeur de texte

VirtualBox

5.0.40

Outil de virtualisation

Whois

5.2.11

Outil DNS

Wireshark

2.2.6

Analyse trames réseaux

WXwidgets

3.1.0

Bibliothèque graphique

Xemacs

21.4.22

Editeur de texte graphique

Xfig

1.3.2.5

Dessin vectoriel

xgraph

4.3

Création de graphiques

Zenmap

7.01

GUI Nmap

Chimera

1.10.2

Molécule 3D

ClustalX2 / ClustalW2

2.1

Modélisation ADN

Crimson Editor

3.72

Editeur de source professionnel

Cytoscape

3.40

Modélisation ADN

FastQC

0.11.5

Outil contrôle qualité séquence de données

Firefox

38

Navigateur web

Gimp

2.8

Manipulation d'image libre

ImageJ

1.48v

Editeur images scientifiques

IGV

2.3.75

Editeur génome

ImageTool

3.6

Analyse d'images

Jabref

3.4

Bibliothèques

Jmerise

0.4

Modélisation

Jmol

14.2.14_2015

Visualisation 3D

Knime

3.12

Analyse de données

LibreOffice

5.0.5.2

Bureautique

Microsoft Office

2010

Bureautique

Minitab

17

Statistiques

Neuron in Action

2.0.3

Neurologie

Notepad ++

6.9.2

Editeur de texte

Pdf creator

opost

Création de documents PDF

Pfaat

webjava

Visualisation 3D

Phylogene

2.7.6.0

Construction d'arbres phylogénétiques

Protein Purifier

1.0

Conception

Pymol

1.5.0

Visualisation de structures chimiques en 3D

Qgis

2.14

Cartographie

R

3.3.0

Statistiques

R Studio

0.99.902

Statistiques

Rasmol

2.7.5.2

Visualisation 3D

Seaview

4.6

Phylogénie

Serial cloner

2.6.1

Manipulation de séquences

Spdviewer

4.1.0

Visualisation 3D

Tablet

1.15.09.01

Visualisation d'assemblages de séquences

Tinn-R

4.00.00.05

Editeur de code

Wincoot

0.8.3

Programme de construction moléculaire

WinEDR

3.6.9

Analyse et acquisition de données

WinSCP

5.1.6

Outil de copie de données

Zotero

4.0.29.10

Outil de recherche

7zip

9.2

Compression de fichiers

Avogadro

1.2.0

Editeur de molécules

Cairo

1.13.0

Graphique 2D

Chimera

1.11

Analyse et visualisation de structures moléculaires

ClustalX

2.1

Modélisation ADN

Coot

0.8.3

Affichage et manipulation de modèles atomiques

Cytoscape

3.3.0

Visualisation et analyse des réseaux d’interaction

Eclipse

4.3

Environnement de développement

Emacs

24

Editeur de texte (programmation)

Gimp

2.8.10

Editeur d'image

Gvim

7.3

Interface graphique de VIM

Imagej

1.5

Traitement et analyse d'image

Inkskape

0.9

Dessin vectoriel

Ipython3

3.2

Python

Jabref

3.4

Gestion bibliographique libre

Jalview

2.9

Editeur d'alignement multiple

Java

1.8

Langage programmation

Jedit

5.3.0

Editeur de texte

Jmol

10.2

Visualisation de molécules

Jsfiddle

0.5

Editeur de code javascript

Kate

3.13.3

Editeur de texte KDE

Kompozer

0.8

Création de pages Web

Lamp server / php5

5.6

Linux Apache Mysql PHP Server

Libreoffice

5

Bureautique

Lyx

2.1.2

Logiciel WYSIWYM

Marwinbeans

16.4.25

Dessins de formules chimiques /

Visualisation 3D /

Visionneur chimique

Maxima

5.38.1

Calcul formel

Mysql

5.5

Client mysql 5.5

Namd

2.11

Editeur de texte

Netbeans

8.1

Environnement de développement intégré (EDI)

Octave

4.0

Calcul numérique

Openbabel

2.3.1

Conversion de fichiers de structures chimiques

Postgresql-client

9.3

Client postgresql 9.3

Pymol

1.7

Visualisation de structures chimiques en 3D

Python / idle / cairo-dev /all-dev

2.7.5

Langage de programmation objet, multi-paradigme et multi-plateformes

R

3.3.0

Statistiques

Seaview

1.4

Phylogénie

Tablet

1.15

Editeur ADN

Tcltk

8.6

Langage de programmation

Texlive

2015

Environnement Tex/LaTex

TexStudio

2.11

Environnement Tex/LaTex

Vmd

1.9.2

Analyse 3D

Xplor-nih

2.42

Modélisation de structures