Informatique

Outils d'informatique couvrant les portes logiques, les algorithmes quantiques et l'encodage vidéo — du classique au quantique.

Algorithms & Data Structures

Information Theory & Encoding

  • Aire de jeu du codage entropique — Relie les distributions de symboles à l'entropie de Shannon, au gain de compression attendu et à la prédiction du prochain token dans l'IA/les LLM.
  • Arithmétique binaire et complément à deux — Explorez les poids des bits, les représentations signées comme le complément à deux, et l’addition, la soustraction et la multiplication binaires pas à pas.
  • Codage par plages (RLE) — Compresse les symboles répétés en paires valeur-nombre et examine les meilleurs et pires cas.
  • Démo du compresseur LZ77 — Parcours pas à pas les références arrière à fenêtre glissante utilisées par DEFLATE, ZIP et gzip.
  • Détecteur/convertisseur d'encodage et de base — Détecte l'encodage ou le format structuré probable, puis décode et explique de quoi il s'agit vraisemblablement.
  • Laboratoire d'entropie en TAL — Explore l'entropie des tokens, l'entropie croisée, la perplexité et le décalage de distribution dans les données linguistiques — les métriques mathématiques fondamentales utilisées pour entraîner et évaluer les grands modèles de langage (LLM) d'IA.
  • Transformée de Burrows-Wheeler (BWT) — Découvre comment la BWT réorganise le texte en séquences répétées qui se compressent mieux, et comment l'inverser sans perte.
  • Visualiseur de codage Huffman — Construisez un arbre de Huffman à partir d'un texte et observez les codes binaires optimaux sans préfixe ainsi que le taux de compression.

Signal & Media Processing

Automata & Cryptography

  • Animateur d'automate fini — Parcourez les transitions d'un AFD sur un diagramme d'états en direct — observez quel état est actif après chaque symbole et si l'entrée est acceptée.
  • Explorateur de portes logiques — Visualiseur interactif de portes logiques et petits circuits avec impulsions, chronogrammes et tables de vérité compactes.
  • RSA : chiffrement jouet — Explore la cryptographie à clé publique RSA avec de petits nombres premiers — observe la génération de clés, le chiffrement et le déchiffrement étape par étape.
  • Simulateur de machine de Turing — Simule une machine de Turing avec un ruban et des règles de transition personnalisables — le fondement du calcul.
  • Solveur d'expressions booléennes — Saisissez des expressions logiques booléennes et générez une table de vérité complète avec des colonnes de sous-expressions intermédiaires.

Demos & Utilities

  • Algorithme de recherche de Grover — Parcourez l'algorithme de Grover itération par itération. Observez l'amplitude cible croître — O(√N) vs O(N).
  • Explorateur de fractales — Explore le triangle de Sierpiński, le flocon de Koch, les arbres fractals et les courbes du dragon à profondeur de récursion réglable.
  • Explorateur de la sphère de Bloch — Explore les états de qubit sur la sphère de Bloch avec des contrôles theta/phi, des probabilités dépendant de la base, et les transformations des portes H, X, Y, Z.
  • Extracteur de ressources HTML, images et Markdown — Collez du HTML et extrayez les fichiers liés par catégorie, avec une galerie centrée sur les images et un export du texte en Markdown.
  • Jeu de la vie de Conway — Simulez le jeu de la vie de Conway avec des motifs classiques — planeurs, canons et oscillateurs.
  • Laboratoire générateur de Lorem Ipsum — Générez du texte de remplissage à graine fixe avec contrôles d'entropie, mode Markov et diagnostics de fréquence de Zipf.
  • Marche aléatoire quantique — Comparez les marches aléatoires classique et quantique côte à côte. L'interférence quantique crée une distribution à double pic.

Other Tools

Related categories: Mathématiques, Physique