start
Table des matières
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).
- Spécifique au WEB :
- Données
- Format de fichiers, autre que XML
- Manipulation d'images 3D.
- Comparateurs : base de données, fonctionnalités des navigateurs web
- Architecture : DDD (Domain Driven Design)
Open data
- Images libres de droit
Matériel
Syntaxe des langages de programmation
Règles communes
- Syntaxe (si applicable)
C
- Lieur (ou édition/éditeur de liens)
- Net : client/serveur
- Normes : Misra
- Embarquement de fichiers (Windows/Linux) : embed
C++
C#
- Net : client/serveur
- Design pattern : MVC pour WinForm, producteur / consommateur
Java
Python
- Structure / arborescence d'un projet de base (setup.py).
- virtualenv : environnement virtuel avec virtualenv
- Qualité (pylint, mypy, Black)
- Web Assembly (pyodide)
- Tests : Selenium
- wheel : création d'un paquet pour distribuer la librairie.
Angular
- Typescript: classe
HTML
Node.js
Javascript
- Visualisateur de données:
- json : bootstrap4
- Test : Jest
Android - Java
Android - NDK
Autres
-
- Expression régulière ou regex
- yaml : yamllint (linter)
Source des programmes
HelloWorld
- Web
- Internationalisation
- Sécurité
- Documentation
- Doxygen avec des diagrammes dot avec Graphviz.
- Threads
- Exécuteur : Boost
Librairies
- Multi-fonction :
- C++ : Boost
- 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 :
- Tcl : Tcl/Tk
- Scientifique :
- C++ :
- Mathématiques : GCE-Math / gcem (fonction mathématiques constexpr)
- Résolveur d'équations : ceres-solver
- Stockage des données : HDF5
- Traitement d'ultrason : MUST (Matlab UltraSound Toolbox)
- Évaluateur d'expression :
- i18n, internationalisation, l10n, localisation :
- javascript : polyglot
- logger :
- C++ : spdlog
- texte :
- C++ : Dragonbox (conversion de float vers string)
- Format de fichiers
- Windows :
- Javascript :
- 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
- Onduleur, inclus Network UPS Tools, WinPower, PowerChute Personal Edition et PowerChute Business Edition (APC).
Amélioration
- Localisation
- 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
- Désassembleur / décompilateur :
- C / C++ :
- CppCheck : analyseur statique de code.
- cccc : analyseur de la complexité du code.
- gcc : gcc peut fournir des informations précieuses.
- Qt :
- C++ Insights : affiche le code source avec la vision du compilateur.
- iwyu : optimise la liste des
#include
dans les fichiers source.
- Code review : Phabricator, Gerrit
- 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
Debug
- Librairies : Analyse / manipulation des librairies
Tests
- Programmes
- clumsy : altération des paquets Ethernet
Les problèmes
- Compilation
- Tolérance (non portabilité) de Visual Studio / gcc / clang.
-
- Librairies : icu
- Bug : la structure du dossier respecte celui des
HelloWorld
. - 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
L'après
- Mise à jour
- Angular : Material
- C# : projet Visual Studio
- Java : Hibernate
- Bugs
Code source
Plateformes
Projets
Fun
- Intelligence artificielle
- IA déterministe : Mario de Tom7
- LLaMA de Meta
- Challenge
Participation à des projets open-source
Gestion de la source des programmes
- Autotools
Éditeur de source, Environnement de Développement IDE
- Eclipse
- Bugs : si, si, la rumeur prétend qu'il en existe.
- Vim + YouCompleteMe
- Visual Studio
- Modification de la configuration des projets : via l'IDE ou par un éditeur de texte.
- Modules :
- Utilitaire : vcperf
- LPCXpresso / MCUXpresso
-
- Modélisation (inspiration)
- UML (diagramme de composant) : Papyrus (Eclipse). PlantUML ne supporte pas la notion de port.
-
- PlantUML : diagrammes UML et quelques autres.
- à tester :
- UML : Visual Paradigm (édition gratuite avec UML, SysML, ERD)
- Archimate : Archi
- BPMN uniquement :
- PC : Bonitasoft, autres BPMN2 Modeler (Eclipse), jBPM, Activiti, Camunda + BPM (Business Process Management)
- Cloud : Heflo
- API : OpenApi Generator (REST)
- Console : PowerShell
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
- Javascript
- Greasemonkey : code javascript exécuté au chargement des pages.
Programmes divers
Data mining
Ports
- COM
- 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
- 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
- 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, …).
- 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.
- 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
- 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
Environnement Linux
- Autres applications
- Moniteur de ressources : CPU (top) et IO (iotop et iostat).
- iconv : conversion d'encodage de fichiers.
- Configuration de Linux
Environnement Windows
- Windows
- 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
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
- Matrices : définitions, déterminant, valeurs et vecteurs propres, système linéaire (résolution directe, suite)
- 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
Géotechnique
-
- 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.
-
- 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)
Route
- Piste : CAO d'infrastructures routières
IRL
Ressources documentaires
- Normes Eurocode
- Divers documentations : Géotechnique
Curiosités
- Technologies
- Challenges
Droits
Télécommunication
Perso
Contact : le-garrec@vincent.fr en inversant le nom de domaine et l'identifiant.
start.txt · Dernière modification : 2024/12/11 09:34 de root