Nom Version Description Cours Architecture Test
Zoom 5.15.2.4260 Visioconference Tous 64 bits Faire une visio
XnViewMP 1.5 Explorateur, visualiseur et convertisseur de fichiers image HSS413G Dessin et animation pour la transmission scientifique 64 bits /usr/local/XnViewMP/xnview.sh
Ouvrir un dossier contenant des images.
xfoil 6.97 logiciel de calcul de profil d'aile mec578 64 bits /usr/local/Xfoil-6.97/bin/xfoil
NACA 4415
LOAD /usr/local/Xfoil-6.97/runs/e387.dat
GDES

QUIT
VPython dans Anaconda 3 7.6.4 Visulatisation 3D dans les notebooks jupyter PHY571 64 bits Le code suivant dans un notebook jupyter devrait marcher:

from vpython import *

scene.caption = """Right button drag or Ctrl-drag to rotate "camera" to view scene.
To zoom, drag with middle button or Alt/Option depressed, or use scroll wheel.
On a two-button mouse, middle is left + right.
Touch screen: pinch/extend to zoom, swipe or two-finger rotate."""

scene.forward = vector(0,-.3,-1)

G = 6.7e-11

giant = sphere(pos=vector(-1e11,0,0), radius=2e10, color=color.red,
make_trail=True, trail_type='points', interval=10, retain=20)
giant.mass = 2e30
giant.p = vector(0, 0, -1e4) * giant.mass

dwarf = sphere(pos=vector(1.5e11,0,0), radius=1e10, color=color.yellow,
make_trail=True, retain=40)
dwarf.mass = 1e30
dwarf.p = -giant.p

dt = 1e5
while True:
rate(200)

r = dwarf.pos - giant.pos
F = G * giant.mass * dwarf.mass * norm(r) / mag2(r)
giant.p = giant.p + F*dt
dwarf.p = dwarf.p - F*dt
giant.pos = giant.pos + (giant.p/giant.mass) * dt
dwarf.pos = dwarf.pos + (dwarf.p/dwarf.mass) * dt
Visual Studio Code 1.70.0 IDE INF564 mais pas seulement 64 bits c'est un IDE : le lancer et écrire au moins une ligne de texte
VirtualBox 7.0.10 PC virtualization solution XXX 64 bits w7
w11
Vega 1.2.3 logiciel de prédiction de toxicité in silico CHI567 64 bits ouvrir le logiciel
Valgrind 3.19 Valgrind is an instrumentation framework for building dynamic analysis tools. INF559 64 bits http://valgrind.org

gcc toto.c -o toto
valgrind --leak-check=yes ./toto

$ more toto.c
#include <stdlib.h>

void f(void)
{
int* x = malloc(10 * sizeof(int));
x[10] = 0; // problem 1: heap block overrun
} // problem 2: memory leak -- x not freed

int main(void)
{
f();
return 0;
}

Uppaal 5.0.0 Model-checking INF575 64 bits Lancer uppaal en ligne de commande
Unity - Unity Hub 2022.3.5f1 - 3.5.0 Modélisation et programmation 3D INF633 - Advanced 3D Graphics 64 bits - Créer un projet
> Projects > New > Create
- Tester l'éditeur de texte
> Dans la fenêtre "Project", clic droit > Create > C# script
> Double cliquer sur le fichier, MonoDevelop doit s'ouvrir
- Tester l'autocomplétion
> Dans monodevelop, dans une fonction, taper "Inpu", une popup devrait
s'ouvrir pour compléter "Input"
Triangle GIT Python Triangle is a python wrapper around Jonathan Richard Shewchuk’s two-dimensional quality mesh generator and delaunay triangulator library MAP 584 64 bits import matplotlib.pyplot as plt
import numpy as np

import triangle as tr

A = dict(vertices=np.array(((0, 0), (1, 0), (1, 1), (0, 1))))
B = tr.triangulate(A)
tr.compare(plt, A, B)
plt.show()
TEST 5.1 logiciel de prédiction de toxicité in silico CHI567 64 bits lancer le logiciel
Swig 4.0.2 Compilateur interface entre C/C++ et Python MEC578 64 bits Voir le lien de téléchargement
SWI Prolog 8.4.3 Compilateur Prolog CSE 301 64 bits > swipl --version
SWI-Prolog version 8.4.3 for x86_64-linux
Stata 18 Logiciel d'analyse des données et de statistique ECO 64 bits xstata
Spyder-unittest pour Anaconda3 0.6.0 Plugin pytest pour spyder. CSE101 64 bits voir Benjamin Smith
SPICEOPUS 3.0.405 Simulation spice. simulation de circuits électriques PHY559A 64 bits ouverture de l'application avec la commande spiceopus
SLURM 22.05 Logiciel de gestion de grappe de calcul INF560 64 bits Lancement d'une commande SLURM de base :
srun -N 2 -n 4 hostname

-> Création de 4 processus sur 2 noeuds de calcul (machines)
Affichage attendu : 4 lignes avec 2 hostnames différents
SCons 4.5.2 Outil de construction et compilation de logiciels MEC578 64 bits $ scons --version
SCons by Steven Knight et al.:
script: v2.5.1.rel_2.5.1:3735:9dc6cee5c168[MODIFIED], 2016/11/03 14:02:02, by bdbaddog on mongodog
engine: v2.5.1.rel_2.5.1:3735:9dc6cee5c168[MODIFIED], 2016/11/03 14:02:02, by bdbaddog on mongodog
engine path: ['/usr/lib/scons/SCons']
Copyright (c) 2001 - 2016 The SCons Foundation
SAS 9.4 Logiciel d'analyse statistique ECO 64 bits sas
Rstudio Desktop 2023.06.1-524 environnement de développement pour R CHI663 64 bits cf Step 3 à l'adresse http://mixomics.org/wp-content/uploads/2016/09/Installation-guide-for-R-and-RStudio.pdf
R (RPM) 4.3.1 Outil de manipulation de données, de graphiques et de calcul ECO 64 bits R
Qucs-S 1.1.0 simulation de composants et de circuit électronique PHY559A; PHY564A 64 bits me contacter
QtCreator 8.0.1 IDE de programmation C++ INF443, INF585, INF473N 64 bits Lancement de l'IDE sans erreurs apparente.
QGIS -tpr- 3.2 https://www.qgis.org/fr/site/forusers/download.html ECO512 64 bits n/a
QGIS -tpr- 2.14.9 et (3.22.3 via VM) Analyse de données géographiques GIS and public policie 64 bits RAS
qemu 8.0.3 Emulateur x86 INF559 64 bits http://www.qemu.org
Pymol 2.5.0 Visualisation moléculaire BIO651A - Bioinformatique structurale 64 bits wget http://www.rcsb.org/pdb/files/1ABO.pdb
pymol 1ABO.pdb
Processing 4.2 Environnement de programmation en java (ou python), dédié à l'utilisation des librairies facilitant la création graphique et interactive Dessin et animation pour la transmission scientifique 64 bits Aller dans Fichier > Exemples
Puis naviguer dans Basics > Images
Ouvrir (par exemple) "Alphamask"
Lancer le programme avec le bouton Play, et passer la souris sur la nouvelle fenêtre: deux images doivent se superposer.
PostgreSQL 15.3 Base de données relationelle INF553 64 bits Voir les instructions d'installation

mkdir -p /Data/pgsql-tbp/data
/usr/local/postgresql/bin/initdb -D /Data/pgsql-tbp/data
/usr/local/postgresql/bin/pg_ctl -D /Data/pgsql-tbp/data -l /Data/pgsql-tbp/logfile start
/usr/local/postgresql/bin/createdb test
/usr/local/postgresql/bin/psql test
/usr/local/postgresql/bin/pg_ctl -D /Data/pgsql-tbp/data -l /Data/pgsql-tbp/logfile stop
phpMyAdmin 5.2.1 Gestion de Mysql via web Modal web et tablette 64 bits Voir page http://www.enseignement.polytechnique.fr/amp/
ParaView 5.11.1 Visualisation de données scientifiques MEC554 et MEC578 64 bits Lancer le soft
OpenMPI 4.1.5 OpenMPI MEC578 et MEC554 64 bits $ more PremierMPI.cpp
#include <iostream>
#include <mpi.h>
int main (int argc, char *argv[]) {
int id, p, name_len;
char processor_name[MPI_MAX_PROCESSOR_NAME];

MPI_Init(&argc, &argv);
MPI_Comm_size(MPI_COMM_WORLD, &p);

MPI_Comm_rank(MPI_COMM_WORLD, &id);
MPI_Get_processor_name(processor_name, &name_len);

std::cout << "Processeur " << processor_name << " ID = " << id << " bienvenue en INF442 !" << std::endl;

MPI_Finalize();

return 0;
}

[test-253 tmp]$ mpic++ PremierMPI.cpp -o PremierMPI
[test-253 tmp]$ mpirun PremierMPI
Processeur test-253.polytechnique.fr ID = 0 bienvenue en INF442 !
Processeur test-253.polytechnique.fr ID = 1 bienvenue en INF442 !
Processeur test-253.polytechnique.fr ID = 2 bienvenue en INF442 !
Processeur test-253.polytechnique.fr ID = 3 bienvenue en INF442 !
OpenFOAM 2306 logiciel de simulation numérique mécanique des fluides open source PSC ecoshell marathon 64 bits il y a des tutoriaux, il suffit de lancer un cas. je peux m'en occuper.
--------------------

source /usr/lib/openfoam/openfoam2306/etc/bashrc
blockMesh -help
opam 2.1.5 gestion de packages pour OCaml INF551, INF441, INF564 64 bits opam init --disable-sandboxing

-----

opam init
opam install menhir
OCaml 4.11.1 Language de programmation INF441, INF564 64 bits /usr/local/ocaml-4.04.1
Netbeans 18 IDE PHP, Java, ... Tous 64 bits netbeans
nemiver 0.9.6 debugger x86-64 INF564 64 bits lancer la commande "nemiver" sans argument doit ouvrir une fenêtre graphique,
avec un menu et des onglets dans la partie droite indiquant "Target terminal", "Context", etc.
Natron 2.5.0 Logiciel de compositing open-source de L'Inria Dessin et animation pour la transmission scientifique 64 bits Simplement ouvrir Natron

Plus poussé:
télécharger le fichier d'exemple NatronDemoProject.zip
et ouvrir Spaceship_Natron.ntp
Molden 6.9 Logiciel de visualisation CHI563 64 bits Il suffit d'exécuter molden pour voir si l'interface graphique se lance.
MedeA 2.21 package for atomistic-scale simulation of materials PHY570, PHY552A, PHY663 64 bits voir site
Matlab R2023b Plateforme de calcul numérique et de programmation Tous 64 bits matlab
Mathematica 14 Calcul formel PHY569C 64 bits mathematica
LLVM 16.0.6 compilateur C/C++ et sanitizer INF559 64 bits Example avec instructions : https://clang.llvm.org/docs/AddressSanitizer.html

# cat example_UseAfterFree.cc
int main(int argc, char **argv) {
int *array = new int[100];
delete [] array;
return array[argc]; // BOOM
}

# Compile and link
/usr/local/llvm-16.0.6/bin/clang++ -O1 -g -fsanitize=address -fno-omit-frame-pointer example_UseAfterFree.cc

# Symbolizing the Reports
ASAN_SYMBOLIZER_PATH=/usr/local/llvm-16.0.6/bin/llvm-symbolizer ./a.out
librairies pour python : matplotlib, mpi4py, scipy les dernières version disponibles libriaries pour la visualisation de résultats (matplotlib), le calcul parallel (mpi4py), le calcul scientifique (scipy) MEC578 64 bits SO
libasan / libubsan Peu importe Address Sanitizer / Undefined Behavior Sanitizer for gcc INF471S 64 bits Créez un fichier C++ simple main.c (non vide) et tentez de le compiler avec g++ -main.c -fsanitize=address -fsanitize=undefined -o main
Julia 1.9.3 Scientific computing INF575 64 bits - Executer "julia" en ligne de commande et executer une instruction basique cf https://docs.julialang.org/en/v1/manual/getting-started/

- Idéalement j'aimerais que les eleves puissent executer des notebooks Julia (et donc pas seulement en session interactive comme ci-dessus)
* Par exemple sous Visual Studio Code qui je vois est installé (mais il faut installer l'extension Julia, je ne sais pas si on peut le faire sur son compte une fois Julia installé ou si vous devez le faire pour nous?) cf https://www.julia-vscode.org
* Ou alors par Jupyter ? cf https://julialang.github.io/IJulia.jl/stable/manual/running/
Auquel cas comme test, sous le "julia" interactif:
using IJulia
notebook()

Merci !
jflex 1.9.1 analyseur lexical pour Java INF564 64 bits Télécharger et décompresser
https://www.enseignement.polytechnique.fr/informatique/INF564/td/2-java/mini-python-java.tar.gz
Puis faire
- cd mini-python-java/
- jflex src/mini_python/Lexer.flex

Doit afficher quelques lignes se terminahnt par
Writing code to "src/mini_python/Lexer.java"

(désolé je n'ai pas trouvé plus simple)
Jalview 2.11.2.0 Logiciel d'édition, de visualisation et d'analyse d'alignement de séquences BIO 64 bits jalview
HDF5 1.10.8 Librairie de gestion de format de fichiers (lecture et écriture) MEC554 64 bits Sans objet
Graphviz 2.44 Visualisation de graphes INF et BIOINF 64 bits vi test.py

import networkx as nx
G = nx.complete_graph(5)
print(G.edges())

A = nx.nx_agraph.to_agraph(G)
A.layout(prog='dot')
#A.write('graphe.dot')
A.draw('graphe.pdf')

/usr/local/anaconda3/bin/python3 test.py

xpdf graphe.pdf
GMSH 4.11.1 outil de maillage pour la simulation numérique en mécanique PSC ecoshell marathon 64 bits ras
GLFW 3.3.7 Librairie C pour la création de fenêtres avec contexte OpenGL INF443, INF585, INF630 64 bits main.cpp
============================================
#include <GLFW/glfw3.h>
int main()
{
glfwInit();
GLFWwindow* window = glfwCreateWindow(500, 500, "My Window", NULL, NULL);
while( !glfwWindowShouldClose(window) ) {
glfwSwapBuffers(window);
glfwPollEvents();
}
glfwTerminate();
return 0;
}
============================================

$ gcc main.cpp -o pgm -lglfw
$ ./pgm
(devrait ouvrir une fenêtre)
Glasgow Haskell Compiler 9.6.2 compiler and interpreter for the Haskell language CSE301 Functional Programming 64 bits $ ghci
GHCi, version 8.8.4: https://www.haskell.org/ghc/ :? for help
Loaded package environment from [...]
Loaded GHCi configuration from [...]
Prelude> reverse "Hello world!"
"!dlrow olleH"
Prelude> :quit
Leaving GHCi.
$ (echo 'main :: IO ()' && echo 'main = do' && echo ' putStrLn "Hello world!"') > Hello.hs
$ ghc Hello.hs
Loaded package environment from [...]
[1 of 1] Compiling Main ( Hello.hs, Hello.o )
Linking Hello ...
$ ./Hello
Hello world!
gfortran 11.3.1 compilateur fortran MEC 578 64 bits ras
gdb 13.2 Debugger INF559 64 bits https://www.gnu.org/software/gdb/
gcc 13.1.0 Compilateur C INF559 && CSE305 64 bits https://gcc.gnu.org
Gaussian 09 Calculs de chimie quantique CHI563 chimie 3A 64 bits Gaussian se trouve dans /users/misc-b/g09
FreeFem++ 4.13 Solveur d'équations différentielles par éléments finis MEC578 64 bits Télécharger les exemples et en exécuter un
Si l'exemple est dans le fichier toto.edp, lancer FreeFem++ toto.edp
FIJI last Analyse d'image biologique BIO201 64 bits Vérifier que le programme se lance et que la mise a jour automatique fonctionne.
FFMpeg 7.0 FFMPEG BR / JTX / e-learning 64 bits $ LD_LIBRARY_PATH=/usr/local/cuda/lib64 /usr/local/ffmpeg-6.0/bin/ffmpeg -h encoder=libaom-av1
ffmpeg version 6.0 Copyright (c) 2000-2023 the FFmpeg developers
built with gcc 11 (GCC)
configuration: --pkg-config-flags=--static --extra-libs=-lpthread --extra-libs=-lm --enable-gpl --enable-libfdk_aac --enable-libfreetype --enable-libmp3lame --enable-libopus --enable-libvorbis --enable-libvpx --enable-libx264 --enable-libx265 --enable-cuda --enable-cuvid --enable-nonfree --enable-libnpp --enable-libaom --extra-cflags=-I/usr/local/ffnvcodec/include --extra-cflags=-I/usr/local/lame-3.100/include --extra-cflags=-I/usr/local/libvpx/include --extra-cflags=-I/usr/local/libvorbis-1.3.7/include --extra-cflags=-I/usr/local/libogg-1.3.5/include --extra-cflags=-I/usr/local/opus-1.3.1/include --extra-cflags=-I/usr/local/x265/include --extra-cflags=-I/usr/local/x264/include --extra-cflags=-I/usr/local/fdk-aac/include --extra-cflags=-I/usr/local/cuda/include --extra-ldflags=-L/usr/local/lame-3.100/lib --extra-ldflags=-L/usr/local/libvpx/lib --extra-ldflags=-L/usr/local/libvorbis-1.3.7/lib --extra-ldflags=-L/usr/local/libogg-1.3.5/lib --extra-ldflags=-L/usr/local/opus-1.2.1/lib --extra-ldflags=-L/usr/local/x265/lib --extra-ldflags=-L/usr/local/x264/lib --extra-ldflags=-L/usr/local/fdk-aac/lib --extra-ldflags=-L/usr/local/cuda/lib64 --prefix=/usr/local/ffmpeg-6.0
....
Eclipse 2023-06 Eclipse INF411, INF553, etc 64 bits eclipse
Da Vinci Resolve 18.1.4 Logiciel de montage, compositing, étalonnage HSS413G Dessin et animation pour la transmission scientifique 64 bits Simplement lancer le logiciel.
Je ferai les tests suivants
cup 0.11b analyseur syntaxique pour Java INF564 64 bits Télécharger et décompresser
https://www.enseignement.polytechnique.fr/informatique/INF564/td/2-java/mini-python-java.tar.gz

puis exécuter les commandes
- cd mini-python-java
- rm src/mini_python/parser.java
- make

Doit afficher plusieurs lignes se terminant par
Code written to "parser.java", and "sym.java".

CUDA 12.2.0 CUDA Toolkit Tous 64 bits #export PATH=/usr/local/cuda/bin:${PATH:+:${PATH}}
#export LD_LIBRARY_PATH=/usr/local/cuda/lib64${LD_LIBRARY_PATH:+:${LD_LIBRARY_PATH}}
#cuda-install-samples-11.4.sh /tmp/test
#cd /tmp/test/NVIDIA_CUDA-11.4_Samples/5_Simulations/nbody
#GLPATH=/usr/lib64 make
#./nbody

https://github.com/NVIDIA/cuda-samples
cmake 3.28.1 cmake Software compilation 64 bits /usr/local/cmake-3.28.1/bin/cmake --version
CGNS 4.3.0 Mise en forme et traitement de données pour la simulation numérique en mécanique des fluides (CFD) MEC578 64 bits Voir lien
Cassiope 3.6 logiciel de pre et post traitement pour la simulation en aerodynamique mec578 64 bits so
cabal 3.10.1.0 package manager for Haskell CSE301 64 bits cabal update
cabal install --lib random
Bochs 2.7 Emulateur x86 INF559 64 bits http://bochs.sourceforge.net
avogadro 1.98.1 Avogadro is an advanced molecule editor and visualizer designed for cross-platform CHI 563 64 bits ras
Anaconda3 2023.07-1 Anaconda3 + packages Tous 64 bits source /usr/local/anaconda3/conda_init
...
AMPL 20220812 mathematical modeling language INF569 64 bits à partir du directoire "models" taper
ampl cut2.run
AMPL 2023.12.14 algebraic modeling language INF569 64 bits ampl
gurobi

à partir du répertoire "models" taper : ampl cut2.run