Différences

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

--- start [2025/09/16 11:45] – [Logiciels spécifiques aux languages] : changement de l'url de Checked C 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 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=====
@@ Ligne 615: / Ligne 615: @@
     * [[prog:magicescalier|Magic Escalier]]
     * [[prog:structurepoint|Structure Point]] (payant)
+  * [[prog:lefuxcompany|Le Fux Company]]
+  * [[prog:danielyrondi|Daniel Yrondi]]
 ===Géotechnique===
@@ Ligne 672: / Ligne 674: @@
   * [[gc:afgc|AFGC]]
   * Divers documentations : [[gc:doc:geotechnique|Géotechnique]]
+  * [[gc:doc:vieux|Vieux livres]]
 =====Curiosités=====
   * Technologies