start

Table des matières

Ressources
Open data
Matériel
Syntaxe des langages de programmation
- Règles communes
- C
- C++
- C#
- Java
- Python
- Angular
- HTML
- Node.js
- Javascript
- Android - Java
- Android - NDK
- Autres
Source des programmes
- HelloWorld
- Librairies
- Matériel
- Amélioration
- Debug
- Tests
- Les problèmes
- L'après
- Code source
Plateformes
Projets
- Fun
- Participation à des projets open-source
Gestion de la source des programmes
Éditeur de source, Environnement de Développement IDE
Logiciels spécifiques aux languages
Programmes divers
- Data mining
- Ports
- Editeurs
- Multimédia
- Utilitaires Windows
- Internet
- Gestion de fichiers
- Réseau
- Virtualisation
- Logiciels de calcul
Environnement Linux
Environnement Windows
Autour de l'informatique
Scientifiques
Mathématiques
Génie Civil
- Logiciels
- IRL
- Ressources documentaires
Curiosités
Droits
Télécommunication
Perso

L'intérêt de ce wiki est surtout personnel et me sert de base de connaissances. Il n'est pas vraiment destiné à des visiteurs sauf à la rigueur à l'utilisateur tombant ici par le hasard de Google.

J'ai décidé de noter ici toutes mes recherches (majoritairement en informatique) susceptibles de m'être à nouveau utiles.

Tous les liens vers d'autres sites sont archivés et accessibles au format HTML récupéré via SingleFile.

What's up doc? (dernières modifications)

Ressources

Base de connaissances hors ligne : Wikipedia lisible avec Kiwix (fichier zim), StackOverflow (sans lecteur digne de ce nom).
Programmation orientée objet, aspect.
Spécifique au WEB :
- TCP : Transmission Control Protocol,
- HTTP : HyperText Transfer Protocol,
- TLS / SSL : Transport Layer Security / Secure Sockets Layer et OpenSSL,
- REST : REpresentational State Transfer,
- SGBD : Système de Gestion de Base de Données.
- Réseau : Réseau entreprise
Qualité : normes
Données
- Stockage, système de fichiers
- Format de fichiers, autre que XML
Sécurité
Botnet
Protocoles de communication : JBUS / Modbus, RS485, Profinet
Informatique quantique
Manipulation d'images 3D.
Comparateurs : base de données, fonctionnalités des navigateurs web
Architecture : DDD (Domain Driven Design)
Méthodes : ITIL v4, TOGAF
Apple

Open data

Matériel

Processeur

Syntaxe des langages de programmation

Règles communes

Syntaxe (si applicable)
Règles typographiques

	C	C++ Complément au C	C#	Java	Python	Recommandations
URLs	X	X	X	X	X	X
Préprocesseur	X	X	X	X	X	X
Annotations / Attributs	X	X	X	X	X	X
Variables	X	X	X	X	X	X
Coding style	X	X	X	X	X	X
Cast	X	X	X	X	X	X
Conditions (`if`/`switch`)	X	X	X	X	X	X
Boucles	X	X	X	X	X	X
Fonctions	X	X	X	X	X	X
Classes	X	X	X	X	X	X

C

Spécifique noyau Linux
Syntaxe
String
Microcontrôleur
Lieur (ou édition/éditeur de liens)
Net : client/serveur
Windows
Normes : Misra
Embarquement de fichiers (Windows/Linux) : embed

C++

C#

Syntaxe
Nombres
Textes
Tableaux
Listes, énumérables
Struct
IHM
Gestion des ressources internes et dépendances
Dictionnaire
Les Reader et les Writer (manipulation de fichiers), Sérialisation
Les images
Console
Web
Thread
Windows
Exceptions
Réflexion
CLR (C++/CLI), code non managé / DLL
Net : client/serveur
Droits
Design pattern : MVC pour WinForm, producteur / consommateur
Garbage collecteur

Java

Ressources multiples
Enum
Machine virtuelle
boucles et algorithmes
Classe
Dictionnaire
Console
Structure de données
Les Reader et les Writer (manipulation de fichiers)
Template
Lambda
AspectJ : programmation orienté aspect.
Thread
JNI (interfaçage entre Java et C)
Net : client/serveur
GUI : AWT, Swing
SQL : JDBC
XML
Java EE
- Spring : framework MVC
- JPA : persistance
- REST
- Internationalisation

Python

Définitions
Installation
Structure / arborescence d'un projet de base (setup.py).
virtualenv : environnement virtuel avec virtualenv
Programmation Orientée objet
Conteneurs
Thread
Package
Qualité (pylint, mypy, Black)
Web Assembly (pyodide)
Tests : Selenium
Profiling
XML

Angular

CLI
Projet
Traduction
Test
Typescript: classe

HTML

HTML, Javascript, CSS
Test e2e (end-to-end) : Cypress
Conformité : Pa11y

Node.js

Javascript

Visualisateur de données:
- json : bootstrap4
Test : Jest

Android - Java

Android - NDK

Log
Système

Autres

PHP
MATLAB
SQL
- Ressources
Expression régulière ou regex
Bash : shellcheck, Shfmt
yaml : yamllint (linter)
Programmation fonctionnelle : Clean, Haskell, OCaml, Scala, Elixir

Source des programmes

HelloWorld

Design Pattern
Architecture : Modélisation UML et SysML.
Algorithmes : nombres, intervalles, boucles, string, comptable, géométrie
Web
- Java
Internationalisation
- Java
Sécurité
- Hash
Documentation
- Doxygen avec des diagrammes dot avec Graphviz.
Threads
- Exécuteur : Boost

Librairies

Multi-fonction :
- C++ : Boost
- Suite GNU : glibc
Qualité
- Java : Jass (obsolète) : Java with Assertion.
Sérialisation :
- C++ :
  - Protocol Buffers et gRPC : sérialise et désérialise une structure de données définie au format .proto. gRPC permet de créer un système client / serveur via le protocole RPC.
  - MessagePack : génère du JSON au format binaire. Permet également de la sérialisation.
  - cereal : sérialise et désérialise du format JSON, XML ou binaire.
Interopérabilité entre langage :
- Javascript/WebAssembly : Emscripten : convertir du code C++ en WebAssembly via llvm, Javy : converti du Javascript en wasm.
- Générateur de wrapper SWIG : crée une interface pour rendre compatible les entêtes d'un code C/C++ dans presque n'importe quel autre langage.
Interface graphique :
- C/C++ : GTK/gtkmm (UI), Qt (UI), SFML (SDL), wxWidgets
- Tcl : Tcl/Tk
Scientifique :
- C++ :
  - Dépendances (ne s'utilise généralement pas directement mais par le biais de librairies de plus haut niveau) : Flann, Qhull, CUDA, Eigen, CGAL, LAPACK (résolution de système linéaire)
  - Mathématiques : GCE-Math / gcem (fonction mathématiques constexpr)
  - Traitement de points : PCL (Point Cloud Library), libigl, cork (obsolète, peut se remplacer par libigl + CGAL mais plus lent)
  - Maillage : MUMPS (solveur de matrices creuses), METIS (mailleur + renumérotation), SCOTCH (partionnement en sous-domaine + renumérotation), HOMARD (maillage adaptatif 2D/3D), Triangle (mini librairie pour le maillage Delaunay), Gmsh (mailleur), NGSolve (mailleur entre autre), Mmg (mailleur).
  - Résolveur d'équations : ceres-solver
  - Stockage des données : HDF5
  - Traitement d'ultrason : MUST (Matlab UltraSound Toolbox)
Évaluateur d'expression :
- c++ : ExprTk, muparser, SymEngine
i18n, internationalisation, l10n, localisation :
- javascript : polyglot
logger :
- C++ : spdlog
texte :
- C++ : Dragonbox (conversion de float vers string)
Format de fichiers
- XML :
  - C : libxml2 (DOM et SAX)
  - C++ : pugixml (DOM)
- JSON :
  - C++ : nlohmann (SAX et DOM), RapidJSON (SAX et DOM), simdjson (lecture seule, valide aussi l'UTF-8 via simdjson::validate_utf8)
- INI
  - C++ : mINI
Windows :
- Détournement du chargement des DLL : Detours, MinHook
Javascript :
- Captcha
Sécurité : RLBox (SandBox), zxcvbn (vérificateur de mot de passe)
Embarqué : serveur web Mongoose, Systèmes de fichiers
Réseau / Client / serveur
Drivers : C++ : libusb
Emulateur : OpenCL sur CPU avec PoCL
Gestionnaires de librairies : vcpkg

Matériel

Microchip : interface graphique Microchip Graphics Library
Raspberry Pi
Onduleur, inclus Network UPS Tools, WinPower, PowerChute Personal Edition et PowerChute Business Edition (APC).

Amélioration

Taille
Localisation
- C/C++
Qualité et audits
- Mes règles de bonne pratique (tous langages confondus)
- Analyseur dynamique de programmes :
  - Intel Inspector : analyseur de fuite mémoire et de problème de concurrence entre threads
  - Perf : Linux profiling with performance counters
  - Windows Performance Recorder
- Désassembleur / décompilateur :
  - RetDec, Ghidra, Reko : décompilateurs en C.
  - x64dbg : désassembleur et débogueur 32 et 64 bits pour Windows.
  - snowman : décompilateur en C.
  - ILSpy : décompilateur en C#
- C / C++ :
  - CppCheck : analyseur statique de code.
  - cccc : analyseur de la complexité du code.
  - gcc : gcc peut fournir des informations précieuses.
  - clang : clang-format, clang-tidy, clang-include-fixer, llvm-cov, sanitizer
  - clazy : analyseur statique de code pour Qt.
  - C++ Insights : affiche le code source avec la vision du compilateur.
  - iwyu : optimise la liste des #include dans les fichiers source.
- Intégration continue : Jenkins, Travis, Github Actions, GitLab.
- Code review : Phabricator, Gerrit
- Gestion de projet
- Java :
  - cccc : analyseur de la complexité du code.
  - CheckStyle : vérificateur de la conformité du style d'écriture du code.
  - EclEmma : couverture de code sous Eclipse.
  - FindBugs : analyseur statique de code.
  - UCDetector : plugin pour Eclipse. Analyseur statique de code (trouve le code mort).
- C# : SonarLint : analyseur statique de code.
- ELF : ELF Dissector : analyseur statique de binaire au format ELF. Donne les librairies dépendantes, la taille du code assembleur des fonctions, le nombre d'octets perdus dans chaque classe et structure dû au padding et la liste des destructeurs qui aurait due être virtuels.
- Rapports publics de bugs et bases de données de failles de sécurité.
- Windows : Microsoft Application Verifier
Technique de Refactoring
Android

Debug

Librairies : Analyse / manipulation des librairies

Tests

différents types
Java
astuces
Programmes
- fuzzers généraux : American Fuzzy Lop alias afl, clang, fuddly, de code C/C++ (csmith, yarpgen alias Yet Another Random Program Generator)
- clumsy : altération des paquets Ethernet
- Squash : saisie/importation des exigences, rédaction des tests Gherkin, exécution via Jenkins et rapport.

Les problèmes

Compilation
- Question / réponse des messages d'erreur type
- Visual Studio
- Tolérance (non portabilité) de Visual Studio / gcc / clang.
Lieur
- Visual Studio, boost
- Compatibilité entre MinGW (msys2) et Visual Studio
- Librairies : icu
Bug : la structure du dossier respecte celui des HelloWorld.
- Web
- Rapport
Débogage
- traces : strace (surveille les appels système), uftrace (peut afficher l'état de la pile, les temps d'exécution, l'historique des appels fonction et autres. Nécessite -pg), fatrace (affiche l'accès aux fichiers, nécessite un accès root).
- Activer les dump Linux
- Logiciels
  - GDB
  - WinDBG

L'après

Mise à jour
- Angular : Material
- C : Poppler, FatFs, OpenSSL
- C++ : CUDA, gcc
- C# : projet Visual Studio
- Java : Hibernate
- Coq
- Gradle
Bugs

Code source

Plateformes

Projets

Fun

Intelligence artificielle
- IA déterministe : Mario de Tom7
- LLaMA de Meta
Challenge
- International Obfuscated C Code Contest, Archive du 27/11/2018

Participation à des projets open-source

LibreOffice

Gestion de la source des programmes

Autotools
CMake, cmake-format, partie Visual Studio
Gradle
Coverity
patch
Git, GitHub, SVN

Éditeur de source, Environnement de Développement IDE

Android Studio
Eclipse
- Création et configuration des projets
- Configuration de base d'un nouveau projet
- Tomcat
- AspectJ
- JPA
- Bugs : si, si, la rumeur prétend qu'il en existe.
- Raccourcis clavier
Vim + YouCompleteMe
clang : clang aussi. Il indente, fait des analyses statiques, et bien d'autres… Pour les options communes, voir dans gcc.
Compiler Explorer
Visual Studio
- Versions
- Modification de la configuration des projets : via l'IDE ou par un éditeur de texte.
- Raccourcis clavier
- Dump
- Bugs / erreur à la compilation
- Configuration
- Editeur
- Modules :
  - ccache : compiler cache intégrable à Visual Studio.
  - sccache : compiler cache sur cloud non intégrable à Visual Studio.
  - FASTBuild : compilation parallèle et cache. Syntaxe particulière. Support peut-être par cmake.
- Utilitaire : vcperf
Visual Studio Code : extensions, coloration syntaxique sur mesure
LPCXpresso / MCUXpresso
- Projets
- Bugs
Firefox
- Plugins
Prototypage d'IHM
Modélisation (inspiration)
- Carte sémantique / carte conceptuelle / carte de connaissances / graphe de connaissances : yEd (Flowchart), Cmap
- UML (diagramme de séquence) : ~~Mscgen~~, dépassé par PlantUML.
- UML (diagramme de composant) : Papyrus (Eclipse). PlantUML ne supporte pas la notion de port.
- Gestion des exigences / spécifications : OSRMT, Squash
  - Exemple d'exigences
- PlantUML : diagrammes UML et quelques autres.
- à tester :
  - Carte sémantique / carte conceptuelle / carte de connaissances / graphe de connaissances : VUE, Freeplane
  - UML : Visual Paradigm (édition gratuite avec UML, SysML, ERD)
  - UML, BPMN, Archimate, SysML : Modelio, Papyrus (Eclipse), Open ModelSphere
  - Archimate : Archi
  - BPMN uniquement :
    - PC : Bonitasoft, autres BPMN2 Modeler (Eclipse), jBPM, Activiti, Camunda + BPM (Business Process Management)
    - Cloud : Heflo
  - DMN (Decision Modeling Notation) : meilleur(?) OpenRules, autres Camunda
- API : OpenApi Generator (REST)
Console : PowerShell
Méthodes formelles : Atelier B / méthode B, Rodin / Event-B, CADP

Logiciels spécifiques aux languages

C
- Checked C : surcouche au C avec vérification pour avoir un C plus sécurisé.
C#
- Mono : compilateur C# de Mono
- StyleCop Analyzers (anciennement FxCop) : analyseur statique de code. N'est plus maintenu mais reste efficace.
Java
- javac : le compilateur de Java.
- jar : le fabricant de jar.
- java : l'exécuteur de programme compilé Java.
- jd-gui : décompilateur Java.
Javascript
- Greasemonkey : code javascript exécuté au chargement des pages.

Programmes divers

Data mining

Weka
HDFView

Ports

COM
- Espions (afficheur des trames d'un port COM) : ComTools, Device Monitoring Studio, Datascope.
- Virtuels : com0com : créer une paire de ports virtuels.
- Générateur de trames : Modbus Master Simulator, KScada Modbus Doctor : simulateur d'un maître en JBUS.
TCP/IP
- HSMS : AreYouThere

Editeurs

LibreOffice : Macros
Microsoft Office : Word, Excel, Outlook, Teams
PDF : PDFMerge (extract pages, split, merge, mix and rotate PDF), Ghostscript, qpdf (manipulation / décryptage / réparation)
PST : Outlook Data Viewer
Hexadécimal : HxD
Convertisseur : MHTML ⇒ HTML (mht2htm), ~~MHTML Converter~~
Vespucci : éditeur OpenStreetMap pour Android
Markdown : AsciiDoctor, pandoc

Multimédia

ffmpeg : convertisseur de vidéo,
ExifTool : éditeur des informations Exif contenues dans les images,
Hugin : logiciel pour transformer de multiples images en un panorama,
Imagemagick : manipulation d'images,
mkvtoolnix : éditeur de vidéo au format mkv,
ShareX : logiciel de capture d'écran (images et vidéos),
VirtualDub : logiciel de traitement d'image. Ici, pour stabiliser une vidéo tremblante.
yt-dlp (youtube-dl) : téléchargeur de vidéo pour Youtube, Pluzz, …,
CloudCompare : manipulateur de nuages 3D
SketchUp : logiciel 3d spécialisé dans l'architecture
XnView MP : visionneuse d'images avec onglet carte Google Maps et géolocalisation des images.
FSResizer : modification de masse d'images
Meshroom, colmap : reconstitution 3D sur la base d'images 2D
Blender : modélisation 3D

Utilitaires Windows

En lien avec les disques dur / USB / CD
- dd : dd pour Windows
- OSFMount : permet de monter des images récupérées via dd (par exemple).
- Gravure d'iso vers CD/USB : ImgBurn (vers CD), Etcher (multiplateforme mais lourd, vers USB sauf boot Windows), Win32 Disk Imager (Windows seulement mais léger, vers USB sauf boot Windows, format DD pas ISO), Rufus (vers USB y compris boot Windows, format DD et ISO).
- SD Memory Card Formatter : permet de formater uniquement des cartes SD sous Windows y compris lorsqu'elles ont des partitions.
- RMPresUSB : permet de formater tous types de périphériques USB sous Windows y compris lorsqu'elles ont des partitions.
- Recuva : récupération de fichiers supprimés ou sur des lecteurs corrompus.
- Recherche de fichiers : Agent Ransack (NTFS seulement via MFT), WizTree (NTSF via MTF et autres systèmes (sans accélérateur)).
- HDDScan : afficher les informations SMART
Aide au diagnostic de l'exécution de fichiers :
- Sysinternals Suite : divers utilitaires.
- Dependency Walker : donne les symboles des dll/exe, dépendances récursives.
- pestudio : analyseur de fichier dll/exe (section, string, dépendances (non récursives), …).
- PEiD : analyseur de fichier dll/exe (section, entrypoint, …).
Inno Setup, NSIS, WiX Toolset : créateur d'installateur.
Windows Essentials 2012 FR : Microsoft OneDrive, Galerie de photos et Movie Maker, Contrôle parental, Messenger, Writer, Windows Live Mail
IObit Unlocker : Effacer des fichiers bloqués par d'autres processus.
WinHlp32 : pour lire les fichiers .hlp sous Windows 10

Internet

Apache, WampServer (non portable, inclus php, mysql), UwAmp (portable, inclus php, mysql) : démon http.
Navigateur web : Firefox, benchmark
MariaDB : serveur SQL.
HeidiSQL, phpMyAdmin : éditeur SQL.
Piwigo : galerie photo.
Dokuwiki : wiki.
Piwik : analyseur de trafic de site web.
Wireshark : sniffeur de flux réseau (et USB)
RawCap : sniffeur de flux réseau, y compris de la boucle locale (127.0.0.1).
Divers API : Archive ouverte HAL
mRemoteNG; Putty : client ssh
FileZilla : transfert FTP et SFTP

Gestion de fichiers

WinDirStat : indique l'occupation disque de chaque dossier.
DocFetcher : indexation des fichiers pour accélérer la recherche de contenu.
Clonezilla : CD live créateur d'images de disque dur
WinMerge : Comparateur de fichiers
rsync : synchronisation de dossiers / fichiers (support copie direct ou via ssh)
FreeFileSync : synchronisation de dossier (copie direct uniquement) avec interface graphique

Réseau

SSH : connexion sécurisée.
Advanced IP Scanner et Advanced Port Scanner : scanner d'adresses IP et de port

Virtualisation

Logiciels de calcul

MatLab : calcul numérique
Octave : équivalent matlab, calcul numérique.
Maxima / wxMaxima : calcul formel

Environnement Linux

Commandes console (presque) natives : file, find, kill, ls, mount, mv, sed, xargs
Autres applications
- wget
- systemctl
- Moniteur de ressources : CPU (top) et IO (iotop et iostat).
- iconv : conversion d'encodage de fichiers.
Configuration de Linux
- RAID
- Gentoo
- Kernel
- Réseau
- Gnome
Synology

Environnement Windows

Windows
- Base de registre
- Windows Server
- Maintenance, Windows Update
- Système de fichiers
- Messages d'erreur, BSOD
- Frameworks : Microsoft .NET Framework 1.1, Visual Basic 5/6 : Run-Time Redistribution Pack, vb5fr.dll, etc…
Compatibilité avec Linux
- MSYS2 : configuration, Problèmes

Autour de l'informatique

Études sociologiques

Scientifiques

Particules plus rapide que la lumière : Découverte inattendue de particules qui dépassent la vitesse de la lumière (archive), Les particules plus rapides que la lumière : une erreur expérimentale ? (archive)

Mathématiques

Notation
Ensemble
Application
Équations différentielles
Vecteurs
Matrices : définitions, déterminant, valeurs et vecteurs propres, système linéaire (résolution directe, suite)
Graphes
MathJax
Images
Records : calcul des nombres irrationnels

Génie Civil

Logiciels

Dessin

Logiciels de dessins (DWG : Autodesk AutoCAD, DWG TrueView, nanoCAD. DGN : Bentley Microstation DGN Viewer)
Rhino : CAO dans le milieu du design industriel ou de l'architecture

Calculs

ArcelorMittal
CTICM
CIDECT
Eléments finis
- Calcul de structures : freelem
- Mécanique des fluides : OpenFOAM
Dlubal
- RWIND Simulation
CSTB
- CIM'feu
Divers
- RDM : RDM v7 pour poutre, ossature et plaque.
- BeamBoy : RMD pour poutre
Béton
- Fondations B.A.
- Magic Escalier

Géotechnique

https://geo.verruijt.net/
- PoroElasticity2016b.pdf (Jun 24, 2016) Theory and problems of poroelasticity.
- PoroPrograms2016b.zip (Jun 24, 2016) Programs and datasets for use with the above E-book.
- SoilMechBook2012.pdf (March 10, 2012) “Soil mechanics”, an elementary textbook in PDF format.
- SoilMex.zip (August 19, 2010) Summary and Exercises of Soil Mechanics.
- SoilDynamicsBook.pdf (Nov 21, 2009) Reference to book “Introduction to Soil dynamics” - Springer, Dordrecht, 2010.
- SoilDynamicsPrograms.zip (November 7, 2014) Programs for “Soil dynamics”: LineLoad, StripLoad, etc.
- Tunnels.zip (Nov 24, 2014) Elastic stresses and displacements around tunnels. Four programs and seven papers.
- GrondMechBoek.pdf (April 14, 2010) “Grondmechanica”, een Nederlands leerboek, in de vorm van een PDF bestand.
- SPW.ZIP (March 16, 2006) Analysis of a sheet pile wall in a layered soil, with multiple anchors. Soil response modeled by a series of elast-plastic springs. Includes a users manual, and theoretical background.
- STB.ZIP (November 29, 2010) Analysis of the stability factor of a slope in a non-homogenous soil, using Bishop's method, with some additions. Includes a users manual, and theoretical background.
- ALP99.ZIP (March 16, 2006) Axially loaded pile: Elastic pile supported by elasto-plastic springs.
- LLP99.ZIP (March 16, 2006) Laterally loaded pile : Elastic beam supported by elasto-plastic springs.
- GWDivide.exe (Feb. 27, 2006) Groundwater flow under a water divide.
- BEAVER.ZIP (Feb. 27, 2006) Programs for J. Bear & A. Verruijt: “Modeling Groundwater Flow and Pollution”, Kluwer, 1987.
- CGM.ZIP (September 30, 2007) Programs for A. Verruijt: “Computational Geomechanics”, Kluwer, 1995.
- OffshoreSMBook.pdf (March 16, 2006) “Offshore Soil Mechanics”, a textbook in PDF format.
- MULAT.ZIP (March 16, 2006) Finite element method for plane steady groundwater flow in multi-layered aquifer.
- GWFEM1.ZIP (September 28, 2007) Finite element method for plane steady groundwater flow in a single aquifer
- GWFEM2.ZIP (March 16, 2006) Finite element method for plane non-steady groundwater flow in a single aquifer.
SoilQuake
- OpenSeesPL : modélisation 3D de l'interaction sol/pieu.
- MSBridge : Réponse tridimensionnelle (3D) d'un pont à travées multiples.
- Cyclic1D : Vérification d'une structure à la liquéfaction d'un sol.
- MeshFree : Réponse d'un sol au séisme.
- SB2013 (legacy) : 1D earthquake analysis
- SHAKE91_Input (legacy) : Equivalent Linear Site Response Analysis
- OpenSees2DPS (legacy) : Two dimensional (2D) Plane-Strain Analysis of earth dam
- CyclicTP (legacy) : vérification de la liquéfaction des sols sous l'action d'un séisme
- CyclicED (legacy) : Analyze seismic performance of earth dams
ITASCA (3DEC, FLAC, FLAC/Slope, FLAC3D, Griddle, KATS, MINEDW, PFC, UDEC, XSite)

Divers
- SETPIL : calcul de tassement d'un pieu
- DeepSoil : comportement d'un sol au séisme
- OpenSees : Open System for Earthquake Engineering Simulation