Différences

Ci-dessous, les différences entre deux révisions de la page.

--- start [2025/08/19 17:09] – [Librairies] : ajout de mp-units root
+++ start [2025/10/27 14:54] (Version actuelle) – [Amélioration] : précision sur iwyu root
@@ Ligne 58: / Ligne 58: @@
 |Annotations / \\ Attributs|  [[lang:c:attribut|X]]  |  [[lang:cpp:attribut|X]]  |  [[lang:csharp:attribut|X]]  |  [[lang:java:annotation|X]]  |  [[lang:python:annotation|X]]  |  [[lang:recommandation:annotation|X]]  |
 |Variables|  [[lang:c:variable|X]]  |  [[lang:cpp:variable|X]] (et pointeurs)  |  [[lang:csharp:variable|X]]  |  [[lang:java:variable|X]]  |  [[lang:python:variable|X]]  |  [[lang:recommandation:variable|X]]  |
-|Coding style|  [[lang:cpp:codingstyle|X]]  |  [[lang:cpp:codingstyle|X]]  |  [[lang:csharp:codingstyle|X]]  |  [[lang:java:codingstyle|X]]  |  [[lang:python:codingstyle|X]]  |  [[lang:recommandation:codingstyle|X]]  |
+|Coding style (formatage et codage)|  [[lang:c:codingstyle|X]]  |  [[lang:cpp:codingstyle|X]]  |  [[lang:csharp:codingstyle|X]]  |  [[lang:java:codingstyle|X]]  |  [[lang:python:codingstyle|X]]  |  [[lang:recommandation:codingstyle|X]]  |
 |Cast|  [[lang:c:cast|X]]  |  [[lang:cpp:cast|X]]  |  [[lang:csharp:cast|X]]  |  [[lang:java:cast|X]]  |  [[lang:python:cast|X]]  |  [[lang:recommandation:cast|X]]  |
 |Conditions (''if''/''switch'')|  [[lang:c:condition|X]]  |  [[lang:cpp:condition|X]]  |  [[lang:csharp:condition|X]]  |  [[lang:java:condition|X]]  |  [[lang:python:condition|X]]  |  [[lang:recommandation:condition|X]]  |
@@ Ligne 153: / Ligne 153: @@
   * [[lang:python:thread|Thread]]
   * [[lang:python:package|Package]]
-  * [[lang:python:linter|Qualité]] (pylint, mypy, Black)
+  * [[lang:python:linter|Linter]] (pylint, mypy, black, flake8, pyright, pycodestyle)
   * [[lang:python:wasm|Web Assembly]] (pyodide)
   * Tests : [[lang:prog:selenium|Selenium]]
@@ Ligne 200: / Ligne 200: @@
   * yaml : [[prog:yamllint|yamllint]] (linter)
   * Programmation fonctionnelle : [[https://clean.cs.ru.nl/Clean|Clean]], [[https://www.haskell.org/|Haskell]], [[https://ocaml.org/|OCaml]], [[https://www.scala-lang.org/|Scala]], [[https://elixir-lang.org/|Elixir]]
 ===== Source des programmes =====
@@ Ligne 233: / Ligne 234: @@
     * C/C++ : [[lang:c:gtk|GTK]]/[[https://www.gtkmm.org/|gtkmm]] (UI), [[lang:cpp:qt|Qt]] (UI), [[https://www.sfml-dev.org/|SFML]] (SDL), [[lang:cpp:wxwidgets|wxWidgets]]
     * Tcl : [[lang:tcl|Tcl/Tk]]
+    * Web : [[prog:tauri|Tauri]] (+Rust)
   * Scientifique :
     * C++ :
@@ Ligne 240: / Ligne 242: @@
       * Maillage : [[lib:mumps|MUMPS]] (solveur de matrices creuses), [[lib:metis|METIS]] (mailleur + renumérotation), [[lib:scotch|SCOTCH]] (partionnement en sous-domaine + renumérotation), [[lib:homard|HOMARD]] (maillage adaptatif 2D/3D), [[lib:triangle|Triangle]] (mini librairie pour le maillage Delaunay), [[lib:gmsh|Gmsh]] (mailleur), [[lib:ngsolve|NGSolve]] (mailleur entre autre), [[lib:mmg|Mmg]] (mailleur).
       * Résolveur d'équations : [[lib:ceres-solver|ceres-solver]]
-      * Stockage des données : [[lib:hdf5|HDF5]]
+      * Stockage des données : [[lib:hdf5|HDF5]] (y compris HDFView)
       * Traitement d'ultrason : [[lib:must|MUST]] (Matlab UltraSound Toolbox)
       * Unités : [[lib:mp-units|mp-units]] (unités non modifiables)
@@ Ligne 285: / Ligne 287: @@
       * [[prog:wpr|Windows Performance Recorder]]
     * Désassembleur / décompilateur :
-      * [[prog:ghidra|Ghidra]], [[prog:reko|Reko]], [[prog:snowman|snowman]] (obsolète), [[audit:retdec|RetDec]] (obsolète ?) : décompilateurs en C.
+      * [[prog:ghidra|Ghidra]], [[prog:reko|Reko]], <del>[[prog:snowman|snowman]]</del>, <del>[[audit:retdec|RetDec]]</del> : décompilateurs en C.
       * [[prog:x64dbg|x64dbg]] : désassembleur et débogueur 32 et 64 bits pour Windows.
       * [[prog:ilspy|ILSpy]] : décompilateur en C#
@@ Ligne 298: / Ligne 300: @@
         * [[prog:gammaray|GammaRay]] : introspection sur des applications en cours d'exécution.
       * [[prog:cppinsights|C++ Insights]] : affiche le code source avec la vision du compilateur.
-      * [[prog:iwyu|iwyu]] : optimise la liste des ''#include'' dans les fichiers source.
+      * [[prog:iwyu|iwyu]] / ''include-what-you-use'' : optimise la liste des ''#include'' dans les fichiers source.
     * Intégration continue : [[prog:jenkins|Jenkins]], [[prog:travis|Travis]], [[prog:githubactions|Github Actions]], [[prog:gitlab|GitLab]] ([[prog:gitlab:api|API]]).
     * Code review : [[prog:phabricator|Phabricator]], [[projets:libreoffice|Gerrit]]
@@ Ligne 399: / Ligne 401: @@
   * [[prog:compilerexplorer|Compiler Explorer]]
   * Visual Studio
+    * [[ide:vs:installation|Installation]] avec Visual Studio Installer
     * [[ide:vs:versions|Versions]]
     * [[ide:vs:csproj|Modification de la configuration des projets]] : via l'IDE ou par un éditeur de texte.
@@ Ligne 407: / Ligne 410: @@
     * [[ide:vs:editeur|Editeur]]
     * [[ide:vs:cmd|Ligne de commandes]]
-    * Modules :
+    * Cache : <del><color #ed1c24>[[prog:clcache|clcache]] (intégrable à Visual Studio)</color></del>, [[prog:ccache|ccache]] (support C++ / gcc et clang), [[prog:sccache|sccache]] : comme ccache avec le support du stockage en cloud et de Rust, [[prog:fastbuild|FASTBuild]] (compilation parallèle et cache).
-      * [[prog:ccache|ccache]] : compiler cache intégrable à Visual Studio.
-      * [[prog:sccache|sccache]] : compiler cache sur cloud non intégrable à Visual Studio.
-      * [[prog:fastbuild|FASTBuild]] : compilation parallèle et cache. Syntaxe particulière. Support peut-être par cmake.
     * Utilitaire : [[prog:vcperf|vcperf]]
   * [[prog:vsc|Visual Studio Code]] : [[prog:vsc:extension|extensions]], [[prog:vsc:module_highlight|coloration syntaxique sur mesure]]
@@ Ligne 437: / Ligne 437: @@
     * API : [[prog:openapigenerator|OpenApi Generator]] (REST)
   * Console : [[prog:powershell|PowerShell]]
-  * Méthodes formelles : [[prog:atelierb|Atelier B]] / méthode B, [[prog:rodin|Rodin]] / Event-B, [[prog:cadp|CADP]]
+  * Méthodes formelles : [[prog:atelierb|Atelier B]] / méthode B, [[prog:rodin|Rodin]] / Event-B, [[https://cadp.inria.fr/|CADP]], [[lang:rocq|Coq / Rocq]]
 =====Logiciels spécifiques aux languages=====
   * C
-    * [[https://github.com/Microsoft/checkedc|Checked C]] : surcouche au C avec vérification pour avoir un C plus sécurisé.
+    * [[https://github.com/checkedc/checkedc|Checked C]] : surcouche au C avec vérification pour avoir un C plus sécurisé.
   * C#
     * [[prog:csharp:mono|Mono]] : compilateur C# de Mono
@@ Ligne 458: / Ligne 458: @@
   * [[prog:weka|Weka]]
-  * [[prog:hdf|HDFView]]
 ====Ports====
   * COM
@@ Ligne 616: / Ligne 615: @@
     * [[prog:magicescalier|Magic Escalier]]
     * [[prog:structurepoint|Structure Point]] (payant)
+  * [[prog:lefuxcompany|Le Fux Company]]
+  * [[prog:danielyrondi|Daniel Yrondi]]
 ===Géotechnique===
@@ Ligne 673: / Ligne 674: @@
   * [[gc:afgc|AFGC]]
   * Divers documentations : [[gc:doc:geotechnique|Géotechnique]]
+  * [[gc:doc:vieux|Vieux livres]]
 =====Curiosités=====
   * Technologies