code-languages 1.33.0 → 1.33.1

package/dist/detect.cjs

@@ -223,6 +223,26 @@ var algol = {
       name: "ALGOL",
       description: "Una familia temprana de lenguajes algoritmicos que influyo en bloques y diseno formal.",
       longDescription: "ALGOL introdujo ideas influyentes para escribir algoritmos, como bloques anidados, alcance lexico, control estructurado y una notacion cercana al pseudocodigo matematico.\n\nAunque hoy se usa poco directamente, su diseno influyo en Pascal, C, Simula, Ada y muchos lenguajes posteriores."
+    },
+    it: {
+      name: "ALGOL",
+      description: "Una famiglia di primi linguaggi algoritmici che hanno plasmato la struttura a blocchi e il design dei linguaggi formali.",
+      longDescription: "ALGOL ha introdotto idee influenti per la scrittura di algoritmi, tra cui blocchi nidificati, ambito lessicale, flusso di controllo strutturato e una notazione simile al pseudocodice matematico.\n\nSebbene pochi sistemi moderni utilizzino ALGOL direttamente, il suo design ha fortemente influenzato Pascal, C, Simula, Ada e molti altri linguaggi utilizzati nella programmazione scientifica e dei sistemi."
+    },
+    fr: {
+      name: "ALGOL",
+      description: "Une famille de premiers langages algorithmiques qui ont fa\xE7onn\xE9 la structure en blocs et la conception des langages formels.",
+      longDescription: "ALGOL a introduit des id\xE9es influentes pour \xE9crire des algorithmes, notamment les blocs imbriqu\xE9s, la port\xE9e lexicale, le contr\xF4le structur\xE9 et une notation proche du pseudocode math\xE9matique.\n\nBien que peu de syst\xE8mes modernes utilisent ALGOL directement, sa conception a fortement influenc\xE9 Pascal, C, Simula, Ada et de nombreux autres langages utilis\xE9s dans la programmation scientifique et syst\xE8me."
+    },
+    de: {
+      name: "ALGOL",
+      description: "Eine Familie fr\xFCherer Algorithmus-Sprachen, die die Blockstruktur und das formale Sprachdesign pr\xE4gten.",
+      longDescription: "ALGOL f\xFChrte einflussreiche Ideen f\xFCr das Schreiben von Algorithmen ein, darunter verschachtelte Bl\xF6cke, lexikalische Scope, strukturierte Kontrollfl\xFCsse und eine Notation, die der mathematischen Pseudocode \xE4hnelt.\n\nObwohl nur wenige moderne Systeme ALGOL direkt verwenden, beeinflusste sein Design stark Pascal, C, Simula, Ada und viele sp\xE4tere Sprachen, die in der wissenschaftlichen und Systemprogrammierung verwendet werden."
+    },
+    pt: {
+      name: "ALGOL",
+      description: "Uma fam\xEDlia de linguagens algor\xEDtmicas iniciais que moldou a estrutura de blocos e o design de linguagem formal.",
+      longDescription: "ALGOL introduziu ideias influentes para escrever algoritmos, incluindo blocos aninhados, escopo lexical, fluxo de controle estruturado e uma nota\xE7\xE3o pr\xF3xima ao pseudoc\xF3digo matem\xE1tico.\n\nEmbora poucas linguagens modernas usem ALGOL diretamente, seu design influenciou fortemente Pascal, C, Simula, Ada e muitas outras linguagens usadas em programa\xE7\xE3o cient\xEDfica e de sistemas."
     }
   }
 };
@@ -253,6 +273,26 @@ var ante = {
       name: "Ante",
       description: "Un lenguaje de sistemas que explora efectos algebraicos, inferencia y seguridad.",
       longDescription: "Ante es un lenguaje experimental que combina control de bajo nivel con rasgos de sistema de tipos como efectos algebraicos, traits e inferencia fuerte.\n\nSe usa sobre todo para investigacion de lenguajes, experimentos de compiladores y exploracion de sistemas de efectos para IO, mutacion y errores."
+    },
+    it: {
+      name: "Ante",
+      description: "Linguaggio di sistema per esplorare effetti algebrici, inferenza dei tipi e programmazione a basso livello sicura.",
+      longDescription: "Ante \xE8 un linguaggio di programmazione sperimentale incentrato sulla combinazione di controllo a livello di sistema con funzionalit\xE0 di tipo ad alto livello come effetti algebrici, tratti e forte inferenza.\n\n\xC8 principalmente utilizzato per la ricerca nel design del linguaggio, l'esperimento con compilatori ed esplorare come i sistemi di effetti possono modellare IO, mutazioni e gestione degli errori senza compromettere gli obiettivi di prestazioni."
+    },
+    fr: {
+      name: "Ante",
+      description: "Langage de programmation explorant les effets alg\xE9briques, l'inf\xE9rence de types et la programmation \xE0 faible niveau s\xE9curis\xE9e.",
+      longDescription: "Ante est un langage de programmation exp\xE9rimental ax\xE9 sur la combinaison du contr\xF4le au niveau syst\xE8me avec des fonctionnalit\xE9s de type de haut niveau telles que les effets alg\xE9briques, les traits et une forte inf\xE9rence.\n\nIl est principalement utilis\xE9 pour la recherche en conception de langages, l'exp\xE9rimentation de compilateurs et l'exploration de la mani\xE8re dont les syst\xE8mes d'effets peuvent mod\xE9liser les entr\xE9es/sorties, la mutation et la gestion des erreurs sans compromettre les objectifs de performance."
+    },
+    de: {
+      name: "Ante",
+      description: "Ein Systemprogrammierungssprache, die algebraische Effekte, Typinferenz und sicheres Low-Level-Programmieren erkundet.",
+      longDescription: "Ante ist eine experimentelle Programmiersprache, die darauf abzielt, systemnahe Kontrolle mit High-Level-Funktionen wie algebraischen Effekten, Traits und starker Typinferenz zu kombinieren.\n\nSie wird haupts\xE4chlich f\xFCr Forschungszwecke im Bereich der Sprachgestaltung, Compilerentwicklung und zur Erforschung von M\xF6glichkeiten verwendet, wie Effekt-Systeme IO, Mutation und Fehlerbehandlung modellieren k\xF6nnen, ohne die Leistungsziele zu beeintr\xE4chtigen."
+    },
+    pt: {
+      name: "Ante",
+      description: "Linguagem de sistemas que explora efeitos alg\xE9bricos, infer\xEAncia de tipos e programa\xE7\xE3o de baixo n\xEDvel segura.",
+      longDescription: "Ante \xE9 uma linguagem de programa\xE7\xE3o experimental focada em combinar controle de n\xEDvel de sistema com recursos de tipo de alto n\xEDvel, como efeitos alg\xE9bricos, traits e forte infer\xEAncia.\n\n\xC9 usada principalmente para pesquisa no design de linguagens, experimenta\xE7\xE3o de compiladores e explorar como sistemas de efeito podem modelar IO, muta\xE7\xE3o e tratamento de erros sem perder metas de desempenho."
     }
   }
 };
@@ -730,6 +770,26 @@ var austral = {
       name: "Austral",
       description: "Un lenguaje de sistemas basado en tipos lineales, capacidades y memoria explicita.",
       longDescription: "Austral es un lenguaje experimental de sistemas que usa tipos lineales para hacer explicito el manejo de propiedad y recursos sin perder control de bajo nivel.\n\nSu diseno enfatiza seguridad por capacidades, objetivos de compilacion simples y formas practicas de evitar mal uso de recursos."
+    },
+    it: {
+      name: "Austral",
+      description: "Un linguaggio di sistema basato su tipi lineari, sicurezza delle capacit\xE0 e controllo esplicito della memoria.",
+      longDescription: "Austral \xE8 un linguaggio sperimentale di programmazione di sistemi che utilizza tipi lineari per rendere esplicite la gestione della propriet\xE0 e delle risorse, mantenendo al contempo il controllo a basso livello disponibile per il programmatore.\n\nIl suo design enfatizza la sicurezza delle capacit\xE0, obiettivi di compilazione semplici, una sintassi leggibile e la ricerca di modi pratici per prevenire l'uso improprio delle risorse nei programmi nativi."
+    },
+    fr: {
+      name: "Austral",
+      description: "Un langage de programmation syst\xE8me bas\xE9 sur les types lin\xE9aires, la s\xE9curit\xE9 des capacit\xE9s et le contr\xF4le explicite de la m\xE9moire.",
+      longDescription: "Austral est un langage de programmation syst\xE8me exp\xE9rimental qui utilise les types lin\xE9aires pour rendre la gestion de la propri\xE9t\xE9 et des ressources explicites tout en conservant un contr\xF4le bas niveau pour le programmeur.\n\nSon design met l'accent sur la s\xE9curit\xE9 des capacit\xE9s, des cibles de compilation simples, une syntaxe lisible et la recherche de moyens pratiques pour pr\xE9venir l'utilisation abusive des ressources dans les programmes natifs."
+    },
+    de: {
+      name: "Austral",
+      description: "Eine Systemsprache, die auf linearen Typen, Capability-Sicherheit und expliziter Speicherverwaltung basiert.",
+      longDescription: "Austral ist eine experimentelle Systemsprache, die lineare Typen verwendet, um Ownership und Ressourcenmanagement explizit zu machen und gleichzeitig dem Programmierer die Kontrolle \xFCber niedrige Ebenen zu erm\xF6glichen.\n\nIhr Design betont Capability-Sicherheit, einfache Kompilierungsziele, lesbare Syntax und Forschung zur praktischen Verhinderung von Ressourcenmissbrauch in nativen Programmen."
+    },
+    pt: {
+      name: "Austral",
+      description: "Uma linguagem de sistemas constru\xEDda em torno de tipos lineares, seguran\xE7a por capacidade e controle expl\xEDcito de mem\xF3ria.",
+      longDescription: "Austral \xE9 uma linguagem experimental de programa\xE7\xE3o de sistemas que utiliza tipos lineares para tornar a propriedade e o gerenciamento de recursos expl\xEDcitos, mantendo o controle de baixo n\xEDvel dispon\xEDvel para o programador.\n\nSeu design enfatiza a seguran\xE7a por capacidade, alvos de compila\xE7\xE3o simples, sintaxe leg\xEDvel e pesquisa em maneiras pr\xE1ticas de prevenir o uso indevido de recursos em programas nativos."
     }
   }
 };
@@ -1057,6 +1117,26 @@ var bcpl = {
       name: "BCPL",
       description: "Un lenguaje compacto de sistemas que influyo en B y C con programacion procedural.",
       longDescription: "BCPL fue disenado como un lenguaje de sistemas pequeno y portable, con compilador simple y modelo sin tipos para sistemas operativos tempranos.\n\nSu sintaxis, bloques, llaves, comentarios y estilo procedural influyeron en B y C."
+    },
+    it: {
+      name: "BCPL",
+      description: "Un linguaggio di sistema compatto che ha influenzato B e C attraverso la programmazione procedurale senza tipi.",
+      longDescription: "BCPL \xE8 stato progettato come un piccolo linguaggio di sistema portatile con un compilatore semplice e un modello senza tipi, adatto per i primi sistemi operativi e il lavoro sui compilatori.\n\nLa sua sintassi, struttura a blocchi, parentesi graffe, commenti e stile procedurale hanno influenzato B e C, rendendolo un importante antenato dei moderni linguaggi di programmazione di sistema."
+    },
+    fr: {
+      name: "BCPL",
+      description: "Un langage syst\xE8me compact qui a influenc\xE9 B et C gr\xE2ce \xE0 la programmation proc\xE9durale sans type.",
+      longDescription: "BCPL a \xE9t\xE9 con\xE7u comme un petit langage syst\xE8me portable avec un compilateur simple et un mod\xE8le sans type, adapt\xE9 aux premiers syst\xE8mes d'exploitation et au d\xE9veloppement de compilateurs.\n\nSa syntaxe, sa structure de blocs, ses accolades, ses commentaires et son style proc\xE9dural ont influenc\xE9 B et C, ce qui en fait un anc\xEAtre important des langages modernes de programmation syst\xE8me."
+    },
+    de: {
+      name: "BCPL",
+      description: "Eine kompakte Systemsprache, die B und C durch typloses, prozedurales Programmieren beeinflusste.",
+      longDescription: "BCPL wurde als eine kleine, portable Systemsprache mit einem einfachen Compiler und einem typlosen Modell entworfen, das f\xFCr fr\xFChe Betriebssysteme und Compiler geeignet war.\n\nSeine Syntax, Blockstruktur, Klammern, Kommentare und der prozedurale Stil beeinflussten B und C, wodurch es eine wichtige Vorl\xE4uferin moderner Systemsprachen ist."
+    },
+    pt: {
+      name: "BCPL",
+      description: "Uma linguagem de sistemas compacta que influenciou B e C atrav\xE9s da programa\xE7\xE3o procedimental sem tipos.",
+      longDescription: "BCPL foi projetada como uma linguagem de sistemas pequena e port\xE1til com um compilador simples e um modelo sem tipos, adequada para sistemas operacionais e trabalhos de compila\xE7\xE3o iniciais.\n\nSua sintaxe, estrutura de blocos, chaves, coment\xE1rios e estilo procedural influenciaram B e C, tornando-a um ancestral importante das linguagens modernas de programa\xE7\xE3o de sistemas."
     }
   }
 };
@@ -1186,6 +1266,26 @@ var bosque = {
       name: "Bosque",
       description: "Un lenguaje de Microsoft Research sobre programacion regularizada y semantica predecible.",
       longDescription: "Bosque es un lenguaje de investigacion de Microsoft Research que explora programacion regularizada para reducir complejidad accidental en control, mutacion e identidad.\n\nCombina ideas funcionales y orientadas a objetos con valores inmutables, datos algebraicos y semantica pensada para herramientas."
+    },
+    it: {
+      name: "Bosque",
+      description: "Linguaggio di ricerca Microsoft che esplora la programmazione regolata e semantiche prevedibili.",
+      longDescription: "Bosque \xE8 un linguaggio di programmazione di ricerca di Microsoft Research che esplora la programmazione regolata, con l'obiettivo di ridurre la complessit\xE0 involontaria nel flusso di controllo, nella mutazione e nell'identit\xE0 degli oggetti.\n\nCombina idee dalla programmazione funzionale e orientata agli oggetti con valori immutabili, dati algebrici, raccolte strutturate e semantiche progettate per supportare strumenti e ragionamento automatico."
+    },
+    fr: {
+      name: "Bosque",
+      description: "Langage de recherche Microsoft explorant la programmation r\xE9gularis\xE9e et des s\xE9mantiques pr\xE9visibles.",
+      longDescription: "Bosque est un langage de programmation de recherche de Microsoft Research qui explore la programmation r\xE9gularis\xE9e, visant \xE0 r\xE9duire la complexit\xE9 inh\xE9rente dans le flux de contr\xF4le, la mutation et l'identit\xE9 d'objet.\n\nIl combine des id\xE9es de la programmation fonctionnelle et orient\xE9e objet avec des valeurs immuables, des donn\xE9es alg\xE9briques, des collections structur\xE9es et des s\xE9mantiques con\xE7ues pour prendre en charge les outils et le raisonnement automatis\xE9."
+    },
+    de: {
+      name: "Bosque",
+      description: "Eine von Microsoft Research entwickelte Programmiersprache, die regulierte Programmierung und vorhersagbare Semantik erforscht.",
+      longDescription: "Bosque ist eine Forschungsprogrammiersprache von Microsoft Research, die regulierte Programmierung erforscht und darauf abzielt, unbeabsichtigte Komplexit\xE4t in Kontrollfl\xFCssen, Mutation und Objektidentit\xE4t zu reduzieren.\n\nEs kombiniert Ideen aus funktionaler und objektorientierter Programmierung mit unver\xE4nderlichen Werten, algebraischen Datenstrukturen, strukturierten Sammlungen und Semantiken, die darauf ausgelegt sind, Werkzeuge und automatisierte Schlussfolgerung zu unterst\xFCtzen."
+    },
+    pt: {
+      name: "Bosque",
+      description: "Linguagem de pesquisa da Microsoft Research que explora programa\xE7\xE3o regularizada e sem\xE2ntica previs\xEDvel.",
+      longDescription: "Bosque \xE9 uma linguagem de programa\xE7\xE3o de pesquisa da Microsoft Research que explora a programa\xE7\xE3o regularizada, visando reduzir a complexidade acidental no fluxo de controle, muta\xE7\xE3o e identidade de objetos.\n\nCombina ideias de programa\xE7\xE3o funcional e orientada a objetos com valores imut\xE1veis, dados alg\xE9bricos, cole\xE7\xF5es estruturadas e sem\xE2ntica projetada para suportar ferramentas e racioc\xEDnio automatizado."
     }
   }
 };
@@ -1215,6 +1315,26 @@ var bqn = {
       name: "BQN",
       description: "Un lenguaje de programacion de arreglos de la familia APL con notacion moderna.",
       longDescription: "BQN es un lenguaje orientado a arreglos influido por APL, J y K. Usa simbolos concisos para expresar operaciones sobre arreglos, funciones y modificadores.\n\nSe usa para manipulacion compacta de datos, exploracion de algoritmos y ensenanza de pensamiento basado en arreglos."
+    },
+    it: {
+      name: "BQN",
+      description: "Linguaggio di programmazione basato su array, parte della famiglia APL, con notazione moderna e funzionalit\xE0 implicite.",
+      longDescription: "BQN \xE8 un linguaggio orientato agli array influenzato da APL, J e K. Utilizza simboli concisi per esprimere operazioni su array, funzioni, modificatori e training.\n\n\xC8 utilizzato per la manipolazione compatta dei dati, l'esplorazione di algoritmi, l'insegnamento del pensiero basato sugli array e esperimenti con notazioni di alto livello supportate da interpreti come CBQN e BQN.js."
+    },
+    fr: {
+      name: "BQN",
+      description: "Langage de programmation bas\xE9 sur les tableaux, de la famille APL, avec une notation moderne et des fonctionnalit\xE9s tacites.",
+      longDescription: "BQN est un langage orient\xE9 tableaux influenc\xE9 par APL, J et K. Il utilise des symboles concis pour exprimer des op\xE9rations sur les tableaux, les fonctions, les modificateurs et les ensembles de donn\xE9es.\n\nIl est utilis\xE9 pour la manipulation compacte des donn\xE9es, l'exploration d'algorithmes, l'enseignement de la pens\xE9e bas\xE9e sur les tableaux et les exp\xE9riences avec une notation de haut niveau, soutenue par des interpr\xE9teurs tels que CBQN et BQN.js."
+    },
+    de: {
+      name: "BQN",
+      description: "Eine Array-Programmiersprache der APL-Familie mit moderner Notation und impliziten Funktionen.",
+      longDescription: "BQN ist eine array-orientierte Sprache, die von APL, J und K beeinflusst wurde. Sie verwendet pr\xE4gnante Symbole zur Darstellung von Operationen \xFCber Arrays, Funktionen, Modifikatoren und Trains.\n\nSie wird f\xFCr kompakte Datenmanipulation, Algorithmusexploration, das Unterrichten des Array-Denkens sowie Experimente mit hochrangiger Notation eingesetzt, wobei Interpreten wie CBQN und BQN.js verwendet werden."
+    },
+    pt: {
+      name: "BQN",
+      description: "Linguagem de programa\xE7\xE3o em array, da fam\xEDlia APL, com nota\xE7\xE3o moderna e recursos impl\xEDcitos.",
+      longDescription: "BQN \xE9 uma linguagem orientada a arrays influenciada por APL, J e K. Utiliza s\xEDmbolos concisos para expressar opera\xE7\xF5es sobre arrays, fun\xE7\xF5es, modificadores e treinamentos.\n\n\xC9 usada para manipula\xE7\xE3o de dados compacta, explora\xE7\xE3o de algoritmos, ensino do pensamento em array e experimentos com nota\xE7\xE3o de alto n\xEDvel, suportada por interpretadores como CBQN e BQN.js."
     }
   }
 };
@@ -2088,6 +2208,26 @@ var curry = {
       name: "Curry",
       description: "Un lenguaje funcional-logico que combina funciones estilo Haskell con variables logicas.",
       longDescription: "Curry combina programacion funcional y logica con evaluacion perezosa, funciones de orden superior, variables logicas, no determinismo y restricciones.\n\nSe usa en investigacion, docencia de programacion declarativa, computacion simbolica y analisis de programas."
+    },
+    it: {
+      name: "Curry",
+      description: "Un linguaggio di logica funzionale che combina funzioni allo stile Haskell con variabili logiche.",
+      longDescription: "Curry combina la programmazione funzionale con la programmazione logica, consentendo valutazione pigra, funzioni di ordine superiore, variabili logiche, non determinismo e calcolo basato su vincoli in un unico linguaggio.\n\n\xC8 utilizzato nella ricerca accademica, nell'insegnamento della programmazione dichiarativa, nel calcolo simbolico, nell'analisi dei programmi e nei sistemi che beneficiano della combinazione di astrazioni funzionali con la ricerca logica."
+    },
+    fr: {
+      name: "Curry",
+      description: "Un langage de logique fonctionnel combinant des fonctions de style Haskell avec des variables logiques.",
+      longDescription: "Curry combine la programmation fonctionnelle et la programmation logique, permettant l'\xE9valuation paresseuse, les fonctions d'ordre sup\xE9rieur, les variables logiques, le non-d\xE9terminisme et le calcul bas\xE9 sur des contraintes dans un seul langage.\n\nIl est utilis\xE9 dans la recherche acad\xE9mique, pour enseigner la programmation d\xE9clarative, la computation symbolique, l'analyse de programmes et les syst\xE8mes qui b\xE9n\xE9ficient du m\xE9lange de l'abstraction fonctionnelle avec la recherche logique."
+    },
+    de: {
+      name: "Curry",
+      description: "Eine funktionale Logiksprache, die Haskell-\xE4hnliche Funktionen mit logischen Variablen kombiniert.",
+      longDescription: "Curry vereint funktionale Programmierung mit Logikprogrammierung und erm\xF6glicht Lazy Evaluation, Higher-Order Functions, logische Variablen, Nichtdeterminismus und constraint-basierte Berechnung in einer Sprache.\n\nEs wird in akademischer Forschung, Lehre von deklarativer Programmierung, symbolischer Berechnung, Programmanalyse und Systemen eingesetzt, die von der Kombination funktionaler Abstraktion mit logischem Suchen profitieren."
+    },
+    pt: {
+      name: "Curry",
+      description: "Linguagem de l\xF3gica funcional que combina fun\xE7\xF5es no estilo Haskell com vari\xE1veis l\xF3gicas.",
+      longDescription: "Curry combina programa\xE7\xE3o funcional com programa\xE7\xE3o l\xF3gica, permitindo avalia\xE7\xE3o pregui\xE7osa, fun\xE7\xF5es de ordem superior, vari\xE1veis l\xF3gicas, n\xE3o-determinismo e computa\xE7\xE3o baseada em restri\xE7\xF5es em uma \xFAnica linguagem.\n\n\xC9 utilizada em pesquisa acad\xEAmica, ensino de programa\xE7\xE3o declarativa, computa\xE7\xE3o simb\xF3lica, an\xE1lise de programas e sistemas que se beneficiam da combina\xE7\xE3o de abstra\xE7\xE3o funcional com busca l\xF3gica."
     }
   }
 };
@@ -2267,6 +2407,26 @@ var dafny = {
       name: "Dafny",
       description: "Lenguaje de programacion orientado a verificacion, con especificaciones, pruebas y compilacion a varios destinos comunes.",
       longDescription: "Dafny es un lenguaje de programacion y verificador pensado para escribir software correcto por construccion. Los programas pueden incluir precondiciones, postcondiciones, invariantes, metricas de terminacion y aserciones que revisa un verificador automatico.\n\nCombina rasgos imperativos, funcionales y orientados a objetos con sintaxis de especificacion formal. El codigo Dafny puede compilarse a destinos como C#, Java, JavaScript, Go y Python."
+    },
+    it: {
+      name: "Dafny",
+      description: "Linguaggio di programmazione con verifica, che supporta specifiche, dimostrazioni e compilazione in vari target mainstream.",
+      longDescription: "Dafny \xE8 un linguaggio di programmazione e verificatore progettato per scrivere software corretto fin dall'inizio. I programmi possono includere precondizioni, postcondizioni, invarianti, metriche di terminazione e asserzioni che vengono verificate da un verificatore automatizzato.\n\nCombina caratteristiche imperative, funzionali e orientate agli oggetti con una sintassi di specifica formale. Il codice Dafny pu\xF2 essere compilato in target come C#, Java, JavaScript, Go e Python, rendendolo utile per l'insegnamento, la ricerca e componenti software ad alta affidabilit\xE0."
+    },
+    fr: {
+      name: "Dafny",
+      description: "Langage de programmation v\xE9rifi\xE9 avec sp\xE9cifications, preuves et compilation vers plusieurs plateformes.",
+      longDescription: "Dafny est un langage et un v\xE9rificateur con\xE7us pour \xE9crire des logiciels corrects par construction. Les programmes peuvent inclure des pr\xE9conditions, des postconditions, des invariants, des m\xE9triques de terminaison et des assertions qui sont v\xE9rifi\xE9es par un v\xE9rificateur automatis\xE9.\n\nIl combine les fonctionnalit\xE9s imp\xE9ratives, fonctionnelles et orient\xE9es objet avec une syntaxe de sp\xE9cification formelle. Le code Dafny peut \xEAtre compil\xE9 vers des cibles telles que C#, Java, JavaScript, Go et Python, ce qui le rend utile pour l'enseignement, la recherche et les composants logiciels \xE0 haute assurance."
+    },
+    de: {
+      name: "Dafny",
+      description: "Eine verifikationstaugliche Programmiersprache mit Spezifikationen, Beweisen und Kompilierung zu verschiedenen Mainstream-Zielen.",
+      longDescription: "Dafny ist eine Programmiersprache und Verifier, die f\xFCr das Schreiben von korrekter Software entwickelt wurde. Programme k\xF6nnen Pr\xE4bedingungen, Nachbedingungen, Invarianten, Terminierungsmetriken und Assertions enthalten, die von einem automatisierten Verifier \xFCberpr\xFCft werden.\n\nSie kombiniert imperative, funktionale und objektorientierte Features mit formaler Spezifikationssyntax. Dafny-Code kann zu Zielen wie C#, Java, JavaScript, Go und Python kompiliert werden, was es n\xFCtzlich f\xFCr Lehre, Forschung und hochsichere Softwarekomponenten macht."
+    },
+    pt: {
+      name: "Dafny",
+      description: "Linguagem de programa\xE7\xE3o com verifica\xE7\xE3o, especifica\xE7\xF5es e compila\xE7\xE3o para v\xE1rios alvos.",
+      longDescription: "Dafny \xE9 uma linguagem e verificador projetados para escrever software correto por constru\xE7\xE3o. Os programas podem incluir precondi\xE7\xF5es, p\xF3s-condi\xE7\xF5es, invariantes, m\xE9tricas de termina\xE7\xE3o e afirma\xE7\xF5es que s\xE3o verificadas por um verificador automatizado.\n\nCombina recursos imperativos, funcionais e orientados a objetos com sintaxe de especifica\xE7\xE3o formal. O c\xF3digo Dafny pode ser compilado para alvos como C#, Java, JavaScript, Go e Python, tornando-o \xFAtil para ensino, pesquisa e componentes de software de alta garantia."
     }
   }
 };
@@ -2596,6 +2756,26 @@ var ejs = {
       name: "EJS",
       description: "Lenguaje de plantillas con JavaScript embebido para generar HTML y texto usando expresiones familiares.",
       longDescription: "EJS, abreviatura de Embedded JavaScript, es un lenguaje de plantillas que permite generar marcado con interpolacion y control de flujo de JavaScript. Se usa con frecuencia para renderizar HTML del lado del servidor en aplicaciones Node.js.\n\nEs pequeno y directo: los archivos mezclan salida literal con etiquetas para evaluacion, salida escapada y salida sin escapar. EJS es comun en aplicaciones Express, generadores de documentacion y flujos de build simples."
+    },
+    it: {
+      name: "EJS",
+      description: "Linguaggio di templating JavaScript incorporato per generare HTML e testo da espressioni JavaScript familiari.",
+      longDescription: "EJS, abbreviazione di Embedded JavaScript, \xE8 un linguaggio di templating che consente agli sviluppatori di generare markup utilizzando il flusso di controllo e l'interpolazione standard di JavaScript. I template sono comunemente utilizzati per rendere HTML lato server in applicazioni Node.js.\n\n\xC8 intenzionalmente piccolo e diretto: i file di template combinano output letterali con tag per la valutazione, l'output escapato e l'output non escapato. EJS \xE8 popolare nelle applicazioni Express, nei generatori di documentazione e nei semplici flussi di lavoro di build."
+    },
+    fr: {
+      name: "EJS",
+      description: "Langage de mod\xE9lisation JavaScript embarqu\xE9 pour g\xE9n\xE9rer du HTML et du texte \xE0 partir d'expressions JavaScript famili\xE8res.",
+      longDescription: "EJS, abr\xE9viation de Embedded JavaScript, est un langage de mod\xE9lisation qui permet aux d\xE9veloppeurs de g\xE9n\xE9rer des balises en utilisant le flux de contr\xF4le et l'interpolation JavaScript standard. Les mod\xE8les sont couramment utilis\xE9s pour rendre du HTML c\xF4t\xE9 serveur dans les applications Node.js.\n\nIl est intentionnellement petit et direct\xA0: les fichiers de mod\xE8le m\xE9langent la sortie litt\xE9rale avec des balises pour l'\xE9valuation, la sortie \xE9chapp\xE9e et la sortie non \xE9chapp\xE9e. EJS est populaire dans les applications Express, les g\xE9n\xE9rateurs de documentation et les workflows simples."
+    },
+    de: {
+      name: "EJS",
+      description: "Eine eingebettete JavaScript-Templating-Sprache zur Generierung von HTML und Text aus vertrauten JavaScript-Ausdr\xFCcken.",
+      longDescription: "EJS, kurz f\xFCr Embedded JavaScript, ist eine Templating-Sprache, die es Entwicklern erm\xF6glicht, Markup mit normalem JavaScript-Steuerfluss und Interpolation zu generieren. Templates werden h\xE4ufig verwendet, um serverseitiges HTML in Node.js-Anwendungen darzustellen.\n\nSie ist absichtlich klein und direkt: Template-Dateien mischen Literal-Ausgabe mit Tags f\xFCr Evaluierung, escaped Ausgabe und ungeescapte Ausgabe. EJS ist beliebt in Express-Anwendungen, Dokumentationsgeneratoren und einfachen Build-Workflows."
+    },
+    pt: {
+      name: "EJS",
+      description: "Linguagem de modelagem JavaScript embutida para gerar HTML e texto a partir de express\xF5es JavaScript familiares.",
+      longDescription: "EJS, abrevia\xE7\xE3o de Embedded JavaScript, \xE9 uma linguagem de modelagem que permite aos desenvolvedores gerar markup usando o fluxo de controle e interpola\xE7\xE3o do JavaScript. Os templates s\xE3o comumente usados para renderizar HTML no lado do servidor em aplica\xE7\xF5es Node.js.\n\n\xC9 intencionalmente pequena e direta: os arquivos de template misturam sa\xEDda literal com tags para avalia\xE7\xE3o, sa\xEDda escapada e sa\xEDda n\xE3o escapada. EJS \xE9 popular em aplica\xE7\xF5es Express, geradores de documenta\xE7\xE3o e fluxos de trabalho simples."
     }
   }
 };
@@ -2826,6 +3006,26 @@ var factor = {
       name: "Factor",
       description: "Un lenguaje concatenativo basado en pila con imagen interactiva y biblioteca amplia.",
       longDescription: "Factor es un lenguaje concatenativo donde los programas encadenan palabras que transforman una pila de datos. Incluye compilador optimizador y entorno interactivo.\n\nSu ecosistema usa vocabularios para UI, parsing, redes, matematicas, bases de datos y herramientas."
+    },
+    it: {
+      name: "Factor",
+      description: "Linguaggio concatenativo basato su stack con ambiente interattivo e libreria standard ricca.",
+      longDescription: "Factor \xE8 un linguaggio di programmazione concatenativo in cui i programmi sono composti da catene di parole che trasformano uno stack di dati. Include un compilatore ottimizzato, un ambiente interattivo e un flusso di lavoro basato su immagini.\n\nIl suo ecosistema include librerie chiamate 'vocabularies' per l'interfaccia utente, il parsing, la rete, le operazioni matematiche, i database e gli strumenti, rendendolo utile per esperimenti linguistici e sviluppo interattivo."
+    },
+    fr: {
+      name: "Factor",
+      description: "Langage concat\xE9natif bas\xE9 sur des piles avec un environnement interactif et une biblioth\xE8que standard riche.",
+      longDescription: "Factor est un langage de programmation concat\xE9natif o\xF9 les programmes sont compos\xE9s en cha\xEEnant des mots qui transforment une pile de donn\xE9es. Il inclut un compilateur optimis\xE9, un environnement interactif et un flux de travail bas\xE9 sur des images.\n\nSon \xE9cosyst\xE8me comprend des biblioth\xE8ques appel\xE9es vocabulaire pour l'interface utilisateur, le parsing, le r\xE9seau, les math\xE9matiques, les bases de donn\xE9es et les outils, ce qui le rend utile pour la recherche linguistique et le d\xE9veloppement interactif."
+    },
+    de: {
+      name: "Factor",
+      description: "Ein concatenatives, stapelbasierter Programmiersprache mit interaktiver Benutzeroberfl\xE4che und umfangreicher Standardbibliothek.",
+      longDescription: "Factor ist eine concatenative Programmiersprache, in der Programme durch das Verketten von W\xF6rtern erstellt werden, die einen Datenstapel transformieren. Sie bietet einen optimierenden Compiler, eine interaktive Umgebung und ein bildbasiertes Workflow-System.\n\nDas \xD6kosystem umfasst Bibliotheken (Vocabulary), die f\xFCr UI, Parsing, Networking, Mathematik, Datenbanken und Tools verwendet werden k\xF6nnen. Dies macht Factor n\xFCtzlich f\xFCr Experimente mit neuen Sprachen und interaktives Entwickeln."
+    },
+    pt: {
+      name: "Factor",
+      description: "Linguagem concatenativa baseada em pilha com ambiente interativo e biblioteca padr\xE3o rica.",
+      longDescription: "O Factor \xE9 uma linguagem concatenativa onde os programas s\xE3o constru\xEDdos por meio de palavras que transformam um stack de dados. Inclui um compilador otimizante, um ambiente interativo e um fluxo de trabalho baseado em imagens.\n\nSeu ecossistema inclui bibliotecas chamadas vocabul\xE1rios para UI, parsing, networking, matem\xE1tica, bancos de dados e ferramentas, tornando-o \xFAtil para experimenta\xE7\xE3o de linguagem e desenvolvimento interativo."
     }
   }
 };
@@ -3104,6 +3304,26 @@ var freemarker = {
       name: "FreeMarker",
       description: "Lenguaje de plantillas para la JVM usado para generar HTML, correos, configuracion y otras salidas de texto.",
       longDescription: "Apache FreeMarker es un motor y lenguaje de plantillas para aplicaciones Java. Separa el texto de presentacion del codigo de aplicacion y puede generar paginas HTML, correos, codigo fuente, archivos de configuracion y otros textos estructurados.\n\nLas plantillas FreeMarker usan expresiones, directivas, macros, inclusiones y acceso a modelos de datos en lugar de embeber codigo Java directamente."
+    },
+    it: {
+      name: "FreeMarker",
+      description: "Linguaggio di template per JVM utilizzato per generare HTML, email, file di configurazione e altri output testuali.",
+      longDescription: "FreeMarker \xE8 un motore di template e linguaggio per applicazioni Java. Separa il testo di presentazione dal codice dell'applicazione e pu\xF2 generare pagine HTML, email, file sorgente, file di configurazione e altri testi strutturati.\n\nI template FreeMarker utilizzano espressioni, direttive, macro, inclusioni e accesso al modello dati invece di incorporare direttamente il codice Java. \xC8 comune nelle applicazioni web Java lato server e nei flussi di lavoro di generazione del codice."
+    },
+    fr: {
+      name: "FreeMarker",
+      description: "Langage de mod\xE8le JVM pour g\xE9n\xE9rer du HTML, des emails, des fichiers de configuration et d'autres sorties textuelles.",
+      longDescription: "FreeMarker est un moteur de mod\xE8les et un langage de mod\xE9lisation pour les applications Java. Il s\xE9pare le texte de pr\xE9sentation du code de l'application et peut g\xE9n\xE9rer des pages HTML, des emails, des fichiers sources, des fichiers de configuration et d'autres textes structur\xE9s.\n\nLes mod\xE8les FreeMarker utilisent des expressions, des directives, des macros, des inclusions et l'acc\xE8s au mod\xE8le de donn\xE9es plut\xF4t que d'int\xE9grer directement du code Java. Il est couramment utilis\xE9 dans les applications web Java c\xF4t\xE9 serveur et dans les flux de travail de g\xE9n\xE9ration de code."
+    },
+    de: {
+      name: "FreeMarker",
+      description: "Eine JVM-basierte Template-Sprache zur Generierung von HTML, E-Mails und Konfigurationsdateien.",
+      longDescription: "FreeMarker ist ein Template-Engine und eine Template-Sprache f\xFCr Java-Anwendungen. Es trennt die Pr\xE4sentationslogik vom Anwendungscode und kann HTML-Seiten, E-Mails, Quellcode, Konfigurationsdateien und andere strukturierte Texte generieren.\n\nFreeMarker-Vorlagen verwenden Ausdr\xFCcke, Direktiven, Makros, Includes und Datenmodellzugriff anstelle der direkten Einbettung von Java-Code. Es wird h\xE4ufig in serverseitigen Java-Webanwendungen und Code-Generierungsworkflows verwendet."
+    },
+    pt: {
+      name: "FreeMarker",
+      description: "Linguagem de modelo para JVM usada para gerar HTML, e-mails, arquivos de configura\xE7\xE3o e outros textos.",
+      longDescription: "FreeMarker \xE9 um motor de modelos e linguagem de templates para aplica\xE7\xF5es Java. Separa o texto de apresenta\xE7\xE3o do c\xF3digo da aplica\xE7\xE3o e pode gerar p\xE1ginas HTML, e-mails, arquivos de origem, arquivos de configura\xE7\xE3o e outros textos estruturados.\n\nAs linguagens FreeMarker usam express\xF5es, diretivas, macros, includes e acesso ao modelo de dados em vez de incorporar diretamente c\xF3digo Java. \xC9 comum em aplica\xE7\xF5es web Java no lado do servidor e fluxos de trabalho de gera\xE7\xE3o de c\xF3digo."
     }
   }
 };
@@ -3184,6 +3404,26 @@ var fstar = {
       name: "F*",
       description: "Lenguaje funcional con tipos dependientes para verificacion de programas, pruebas y extraccion a codigo ejecutable.",
       longDescription: "F* es un lenguaje funcional orientado a verificacion con tipos dependientes, tipos refinados, efectos y automatizacion de pruebas. Se usa para especificar y verificar correccion funcional, propiedades de seguridad y codigo de sistemas de bajo nivel.\n\nLos programas y pruebas se revisan con la cadena de herramientas de F* y pueden extraerse a destinos como OCaml, F# y C mediante herramientas relacionadas."
+    },
+    it: {
+      name: "F*",
+      description: "Linguaggio funzionale con tipi dipendenti per la verifica del codice e dimostrazioni.",
+      longDescription: "F* \xE8 un linguaggio funzionale orientato alla verifica, dotato di tipi dipendenti, tipi di raffinamento, effetti e automazione delle prove. Viene utilizzato per specificare e verificare la correttezza funzionale, le propriet\xE0 di sicurezza e il codice a basso livello.\n\nI programmi e le dimostrazioni possono essere controllati dall'ambiente F* ed estrapolati in destinazioni come OCaml, F# e C tramite strumenti correlati. Il linguaggio \xE8 utilizzato nella ricerca e nei progetti ad alta affidabilit\xE0 dove il codice eseguibile e le prove verificate devono rimanere strettamente allineate."
+    },
+    fr: {
+      name: "F*",
+      description: "Langage fonctionnel de typage d\xE9pendant pour la v\xE9rification, les preuves et l'extraction en code ex\xE9cutable.",
+      longDescription: "F* est un langage fonctionnel orient\xE9 vers la v\xE9rification avec des types d\xE9pendants, des types d'affinissement, des effets et une automatisation des preuves. Il est utilis\xE9 pour sp\xE9cifier et v\xE9rifier la correction fonctionnelle, les propri\xE9t\xE9s de s\xE9curit\xE9 et le code syst\xE8me \xE0 bas niveau.\n\nLes programmes et les preuves peuvent \xEAtre v\xE9rifi\xE9s par l'environnement F* et extraits vers des cibles telles que OCaml, F# et C gr\xE2ce \xE0 des outils connexes. Le langage est utilis\xE9 dans la recherche et les projets d'assurance haute o\xF9 le code ex\xE9cutable et les preuves v\xE9rifi\xE9es doivent rester \xE9troitement li\xE9s."
+    },
+    de: {
+      name: "F*",
+      description: "Abh\xE4ngig typisierte funktionale Sprache f\xFCr Programmsicherheit und Code-Generierung.",
+      longDescription: "F* ist eine verifikationsorientierte funktionale Sprache mit abh\xE4ngigen Typen, Verfeinerungstypen, Effekten und automatisierten Beweisen. Sie wird verwendet, um die korrekte Funktion, Sicherheitseigenschaften und Low-Level-Systemcode zu spezifizieren und zu \xFCberpr\xFCfen.\n\nProgramme und Beweise k\xF6nnen mithilfe der F*-Toolchain \xFCberpr\xFCft und in Ziele wie OCaml, F# und C \xFCber verwandte Werkzeuge \xFCbersetzt werden. Die Sprache wird in Forschungsprojekten und Projekten mit hohen Sicherheitsanforderungen eingesetzt, bei denen ausf\xFChrbarer Code und maschinell \xFCberpr\xFCfte Beweise eng zusammenarbeiten m\xFCssen."
+    },
+    pt: {
+      name: "F*",
+      description: "Linguagem funcional com tipos dependentes para verifica\xE7\xE3o de programas e provas.",
+      longDescription: "F* \xE9 uma linguagem funcional orientada \xE0 verifica\xE7\xE3o, com tipos dependentes, tipos de refinamento, efeitos e automa\xE7\xE3o de provas. \xC9 usada para especificar e verificar a corre\xE7\xE3o funcional, propriedades de seguran\xE7a e c\xF3digo de sistemas de baixo n\xEDvel.\n\nProgramas e provas podem ser verificados pela ferramenta F*, e extra\xEDdos para destinos como OCaml, F# e C atrav\xE9s de ferramentas relacionadas. A linguagem \xE9 utilizada em projetos de pesquisa e alta garantia onde o c\xF3digo execut\xE1vel e as provas verificadas precisam permanecer pr\xF3ximos."
     }
   }
 };
@@ -4303,6 +4543,26 @@ var io = {
       name: "Io",
       description: "Un lenguaje pequeno basado en prototipos, paso de mensajes y sintaxis minima.",
       longDescription: "Io es un lenguaje dinamico basado en prototipos e inspirado por Smalltalk, Self, Lisp y Lua. Su modelo usa clonacion y envio de mensajes, no clases.\n\nIncluye sintaxis compacta, corrutinas, actores, reflexion y runtime embebible."
+    },
+    it: {
+      name: "Io",
+      description: "Un piccolo linguaggio basato su prototipi focalizzato sulla comunicazione tramite messaggi e una sintassi minima.",
+      longDescription: "Io \xE8 un linguaggio dinamico basato su prototipi ispirato a Smalltalk, Self, Lisp e Lua. Il suo modello di oggetti si basa sul clonaggio dei prototipi e sull'invio di messaggi piuttosto che sulle dichiarazioni di classe.\n\nIl linguaggio ha una sintassi compatta, coroutine, attori, riflessione e un runtime integrabile, rendendolo un punto di riferimento utile per la programmazione basata su prototipi e il design linguistico."
+    },
+    fr: {
+      name: "Io",
+      description: "Un petit langage bas\xE9 sur les prototypes, ax\xE9 sur le passage de messages et une syntaxe minimale.",
+      longDescription: "Io est un langage dynamique bas\xE9 sur les prototypes inspir\xE9 de Smalltalk, Self, Lisp et Lua. Son mod\xE8le d'objet repose sur la clonage des prototypes et l'envoi de messages plut\xF4t que sur les d\xE9clarations de classes.\n\nLe langage poss\xE8de une syntaxe compacte, des coroutines, des acteurs, un m\xE9canisme de r\xE9flexion et une biblioth\xE8que d'ex\xE9cution embarquable, ce qui en fait un point de r\xE9f\xE9rence utile pour le prototypage et la conception de langages."
+    },
+    de: {
+      name: "Io",
+      description: "Eine kleine, prototypenbasiert basierte Sprache mit Fokus auf Nachrichten\xFCbermittlung und minimaler Syntax.",
+      longDescription: "Io ist eine dynamische, prototypenbasiert basierte Sprache, die von Smalltalk, Self, Lisp und Lua inspiriert wurde. Ihr Objektmodell basiert auf dem Klonen von Prototypen und dem Senden von Nachrichten anstelle von Klassendeklarationen.\n\nDie Sprache verf\xFCgt \xFCber eine kompakte Syntax, Koroutinen, Akteure, Reflection und einen eingebettbaren Runtime, was sie zu einem n\xFCtzlichen Referenzpunkt f\xFCr prototypenbasiertes Programmieren und die Sprachgestaltung macht."
+    },
+    pt: {
+      name: "Io",
+      description: "Uma linguagem de prot\xF3tipos pequena focada em passagem de mensagens e sintaxe m\xEDnima.",
+      longDescription: "Io \xE9 uma linguagem din\xE2mica baseada em prot\xF3tipos inspirada em Smalltalk, Self, Lisp e Lua. Seu modelo de objeto se baseia na clonagem de prot\xF3tipos e no envio de mensagens, em vez de declara\xE7\xF5es de classe.\n\nA linguagem possui uma sintaxe compacta, corrotinas, atores, reflex\xE3o e um runtime incorpor\xE1vel, tornando-a um ponto de refer\xEAncia \xFAtil para programa\xE7\xE3o orientada a prot\xF3tipos e design de linguagens."
     }
   }
 };
@@ -4332,6 +4592,26 @@ var isabelle = {
       name: "Isabelle",
       description: "Asistente de pruebas y lenguaje de teorias para matematica, logica y verificacion formal comprobadas por maquina.",
       longDescription: "Isabelle es un asistente de pruebas generico con un lenguaje de teorias usado para desarrollar matematica comprobada por maquina y proyectos de verificacion formal. Su logica objeto mas comun es Isabelle/HOL, una logica de orden superior usada en muchos trabajos academicos e industriales.\n\nLos archivos de teoria combinan definiciones, lemas, pruebas estructuradas Isar, automatizacion y marcado orientado a documentos."
+    },
+    it: {
+      name: "Isabelle",
+      description: "Un assistente di dimostrazione e linguaggio teorico per la matematica controllata, la logica e la verifica formale.",
+      longDescription: "Isabelle \xE8 un assistente di dimostrazione generico con un ricco linguaggio teorico utilizzato per sviluppare progetti di matematica controllata e verifica formale. Il suo pi\xF9 comune sistema logico \xE8 Isabelle/HOL, una logica di ordine superiore utilizzata in numerosi sforzi accademici e industriali di verifica.\n\nI file teorici di Isabelle combinano definizioni, teoremi, prove strutturate Isar, automazione e markup orientato alla documentazione. Il sistema include un IDE, librerie, supporto per la generazione di codice e integrazioni con altri dimostratori automatizzati."
+    },
+    fr: {
+      name: "Isabelle",
+      description: "Assistant de preuve et langage th\xE9orique pour les math\xE9matiques, la logique et la v\xE9rification formelle automatis\xE9es.",
+      longDescription: "Isabelle est un assistant de preuve g\xE9n\xE9rique avec un langage th\xE9orique riche utilis\xE9 pour d\xE9velopper des projets de math\xE9matiques v\xE9rifi\xE9es et de v\xE9rification formelle. Son syst\xE8me logique le plus courant est Isabelle/HOL, une logique d'ordre sup\xE9rieur utilis\xE9e dans de nombreux efforts acad\xE9miques et industriels de v\xE9rification.\n\nLes fichiers th\xE9oriques Isabelle combinent d\xE9finitions, lemmes, preuves structur\xE9es Isar, automatisation et balisage orient\xE9 document. Le syst\xE8me comprend un IDE, des biblioth\xE8ques, un support pour la g\xE9n\xE9ration de code et une int\xE9gration avec des prouveurs automatis\xE9s externes."
+    },
+    de: {
+      name: "Isabelle",
+      description: "Ein Assistent und eine Theorie-Sprache f\xFCr maschinell \xFCberpr\xFCfbare Mathematik, Logik und formale Verifikation.",
+      longDescription: "Isabelle ist ein generischer Beweisassistent mit einer umfangreichen Theorie-Sprache, der zur Entwicklung von maschinell \xFCberpr\xFCften Mathematikprojekten und formalen Verifikationsprojekten verwendet wird. Seine am h\xE4ufigsten verwendete Objektlogik ist Isabelle/HOL, eine h\xF6here Logik, die in vielen akademischen und industriellen Verifikationsbem\xFChungen eingesetzt wird.\n\nIsabelle-Theorie-Dateien kombinieren Definitionen, Lehmata, strukturierte Isar-Beweise, Automatisierung und dokumentenorientiertes Markup. Das System umfasst eine IDE, Bibliotheken, Unterst\xFCtzung f\xFCr Codegenerierung und Integrationen mit externen automatisierten Beweisprogrammen."
+    },
+    pt: {
+      name: "Isabelle",
+      description: "Assistente de prova e linguagem te\xF3rica para matem\xE1tica, l\xF3gica e verifica\xE7\xE3o formal.",
+      longDescription: "Isabelle \xE9 um assistente de prova gen\xE9rico com uma rica linguagem te\xF3rica usado para desenvolver projetos de matem\xE1tica e verifica\xE7\xE3o formal. Seu objeto l\xF3gico mais comum \xE9 Isabelle/HOL, uma l\xF3gica de ordem superior usada em muitos esfor\xE7os acad\xEAmicos e industriais de verifica\xE7\xE3o.\n\nArquivos da teoria Isabelle combinam defini\xE7\xF5es, lemas, provas estruturadas Isar, automa\xE7\xE3o e marca\xE7\xE3o orientada a documentos. O sistema inclui um IDE, bibliotecas, suporte \xE0 gera\xE7\xE3o de c\xF3digo e integra\xE7\xF5es com verificadores automatizados externos."
     }
   }
 };
@@ -4656,6 +4936,26 @@ var jsonc = {
       name: "JSONC",
       description: "Formato de configuracion compatible con JSON que permite comentarios estilo JavaScript y extensiones amigables para editores.",
       longDescription: "JSONC, o JSON con comentarios, es un formato de configuracion derivado de JSON que permite comentarios sin abandonar el modelo de datos familiar. Es muy conocido porque Visual Studio Code lo usa en ajustes, configuraciones de ejecucion y archivos de workspace.\n\nEsta pensado para configuracion mantenida por humanos, no para intercambio de datos entre servicios. Las herramientas suelen convertir JSONC a valores similares a JSON tras quitar comentarios."
+    },
+    it: {
+      name: "JSONC",
+      description: "Un formato di configurazione compatibile con JSON che consente commenti nello stile JavaScript e estensioni facoltative per l'editor.",
+      longDescription: "JSONC, o JSON con Commenti, \xE8 un formato di configurazione derivato da JSON che permette la presenza di commenti preservando il modello dati JSON familiare. \xC8 ampiamente riconosciuto perch\xE9 Visual Studio Code lo utilizza per impostazioni, configurazioni di avvio e file di workspace.\n\nIl formato \xE8 pensato per una gestione manuale della configurazione piuttosto che per lo scambio di dati tra servizi. Gli strumenti solitamente convertono JSONC in valori simili a JSON ordinari dopo aver rimosso i commenti ed elaborato le estensioni accettate."
+    },
+    fr: {
+      name: "JSONC",
+      description: "Format de configuration compatible avec JSON, permettant des commentaires et des extensions conviviales pour l'\xE9diteur.",
+      longDescription: "JSONC (JSON with Comments) est un format de configuration d\xE9riv\xE9 du JSON qui permet d'utiliser des commentaires tout en conservant le mod\xE8le de donn\xE9es JSON familier. Il est largement reconnu car Visual Studio Code l'utilise pour les param\xE8tres, les configurations de lancement et les fichiers de workspace.\n\nCe format est destin\xE9 \xE0 la maintenance par l'utilisateur plut\xF4t qu'au transfert de donn\xE9es entre services. Les outils analysent g\xE9n\xE9ralement JSONC en valeurs similaires au JSON apr\xE8s avoir supprim\xE9 les commentaires et g\xE9r\xE9 les extensions accept\xE9es."
+    },
+    de: {
+      name: "JSONC",
+      description: "Ein JSON-kompatibles Konfigurationsformat mit JavaScript-\xE4hnlichen Kommentaren und optionalen, benutzerfreundlichen Erweiterungen.",
+      longDescription: "JSONC (JSON with Comments) ist ein auf JSON basierendes Konfigurationsformat, das Kommentare erm\xF6glicht und gleichzeitig das vertraute JSON-Datenmodell beibeh\xE4lt. Es wird weit verbreitet verwendet, da Visual Studio Code es f\xFCr Einstellungen, Launch Configurations und Workspace Files nutzt.\n\nDas Format ist f\xFCr die manuelle Pflege von Konfigurationen gedacht, nicht f\xFCr den Datenaustausch zwischen Diensten. Werkzeuge parsen typischerweise JSONC in normale, JSON-\xE4hnliche Werte, nachdem Kommentare entfernt und akzeptierte Erweiterungen verarbeitet wurden."
+    },
+    pt: {
+      name: "JSONC",
+      description: "Formato de configura\xE7\xE3o compat\xEDvel com JSON que permite coment\xE1rios no estilo JavaScript e extens\xF5es opcionais amig\xE1veis ao editor.",
+      longDescription: "JSONC, ou JSON com Coment\xE1rios, \xE9 um formato de configura\xE7\xE3o derivado do JSON que permite coment\xE1rios preservando o modelo de dados JSON familiar. \xC9 amplamente reconhecido porque o Visual Studio Code o utiliza para configura\xE7\xF5es, defini\xE7\xF5es de lan\xE7amento e arquivos de workspace.\n\nO formato \xE9 destinado \xE0 manuten\xE7\xE3o manual da configura\xE7\xE3o em vez de troca de dados entre servi\xE7os. As ferramentas geralmente convertem o JSONC em valores semelhantes ao JSON ap\xF3s remover os coment\xE1rios e lidar com as extens\xF5es aceitas."
     }
   }
 };
@@ -4836,6 +5136,26 @@ var just = {
       name: "Just",
       description: "Lenguaje de recetas para ejecutar comandos de proyecto, automatizar tareas y repetir flujos de desarrollo.",
       longDescription: "Just es un ejecutor de comandos cuya sintaxis justfile define recetas con nombre para tareas comunes del proyecto. Se usa como alternativa mas amable a scripts shell dispersos o targets de make cuando no se necesita un grafo de dependencias.\n\nLas recetas pueden aceptar parametros, definir variables, elegir shells, cargar archivos dotenv y componer otras recetas. Es comun en desarrollo local, ayudas de CI, comandos de release y automatizacion multiplataforma."
+    },
+    it: {
+      name: "Just",
+      description: "Un linguaggio di scripting per definire ricette, automatizzare attivit\xE0 e creare flussi di lavoro ripetibili per i progetti.",
+      longDescription: "Just \xE8 un interprete di comandi che utilizza la sintassi justfile per definire ricette denominate per compiti comuni del progetto. Viene spesso utilizzato come alternativa pi\xF9 semplice agli script shell o ai target make quando non sono necessarie le semantiche del grafo delle dipendenze.\n\nLe ricette possono accettare parametri, impostare variabili, scegliere gli interpreti, caricare file .env e comporre altre ricette. Il formato \xE8 popolare per i flussi di lavoro di sviluppo locali, helper CI, comandi di rilascio e automazione cross-platform dei progetti."
+    },
+    fr: {
+      name: "Just",
+      description: "Un langage de commande pour les recettes de projet, l'automatisation des t\xE2ches et les flux de travail reproductibles des d\xE9veloppeurs.",
+      longDescription: "Just est un ex\xE9cuteur de commandes dont la syntaxe `justfile` d\xE9finit des recettes nomm\xE9es pour les t\xE2ches courantes du projet. Il est souvent utilis\xE9 comme une alternative plus conviviale aux scripts shell ad hoc ou aux cibles make lorsque la s\xE9mantique du graphe de d\xE9pendances n'est pas n\xE9cessaire.\n\nLes recettes peuvent accepter des param\xE8tres, d\xE9finir des variables, choisir des shells, charger des fichiers `.env` et composer d'autres recettes. Le format est populaire pour les flux de travail de d\xE9veloppement local, les assistants CI, les commandes de publication et l'automatisation de projet multiplateforme."
+    },
+    de: {
+      name: "Just",
+      description: "Eine Befehlsausf\xFChrungs-Sprache f\xFCr Projektrezepte, Aufgabenautomatisierung und wiederholbare Entwicklerworkflows.",
+      longDescription: "Just ist ein Befehlsausf\xFChrender, dessen justfile-Syntax benannte Rezepte f\xFCr g\xE4ngige Projekttasks definiert. Es wird oft als freundlichere Alternative zu ad hoc Shell-Skripten oder Make-Zielen verwendet, wenn keine Abh\xE4ngigkeitsgraph-Semantik ben\xF6tigt wird.\n\nRezepte k\xF6nnen Parameter akzeptieren, Variablen setzen, Shells ausw\xE4hlen, .env-Dateien laden und andere Rezepte kombinieren. Das Format ist beliebt f\xFCr lokale Entwicklerworkflows, CI-Helfer, Release-Befehle und plattform\xFCbergreifende Projektautomatisierung."
+    },
+    pt: {
+      name: "Just",
+      description: "Uma linguagem de execu\xE7\xE3o de comandos para receitas de projetos, automa\xE7\xE3o de tarefas e fluxos de trabalho repet\xEDveis para desenvolvedores.",
+      longDescription: "Just \xE9 um interpretador de comandos que usa a sintaxe 'justfile' para definir receitas nomeadas para tarefas comuns do projeto. \xC9 frequentemente usado como uma alternativa mais amig\xE1vel aos scripts shell ou alvos 'make' quando a sem\xE2ntica de grafo de depend\xEAncias n\xE3o s\xE3o necess\xE1rias.\n\nAs receitas podem aceitar par\xE2metros, definir vari\xE1veis, escolher shells, carregar arquivos '.env' e compor outras receitas. O formato \xE9 popular para fluxos de trabalho locais de desenvolvimento, auxiliares CI, comandos de lan\xE7amento e automa\xE7\xE3o de projetos multiplataforma."
     }
   }
 };
@@ -4915,6 +5235,26 @@ var kdl = {
       name: "KDL",
       description: "Lenguaje documental basado en nodos para configuracion legible, datos estructurados y documentos en forma de arbol.",
       longDescription: "KDL es un lenguaje documental basado en nodos con argumentos, propiedades e hijos anidados. Su sintaxis busca ser mas facil de leer y editar a mano que muchos formatos densos, sin perder una correspondencia clara con datos estructurados.\n\nSe usa para archivos de configuracion, documentos especificos de dominio y herramientas que necesitan comentarios, orden y datos en forma de arbol."
+    },
+    it: {
+      name: "KDL",
+      description: "Linguaggio basato su nodi per configurazioni leggibili, dati strutturati e documenti ad albero.",
+      longDescription: "KDL \xE8 un linguaggio di documentazione costruito attorno a nodi nominati con argomenti, propriet\xE0 e figli nidificati. La sua sintassi \xE8 progettata per essere pi\xF9 facile da leggere ed editare manualmente rispetto a molti formati dati densi, pur mappando in modo pulito i dati strutturati.\n\nViene utilizzato per file di configurazione, documenti specifici del dominio e strumenti che richiedono commenti, ordinamento e dati ad albero. L'ecosistema KDL include parser per pi\xF9 lingue e una specifica versionata."
+    },
+    fr: {
+      name: "KDL",
+      description: "Langage de document bas\xE9 sur des n\u0153uds pour une configuration lisible, des donn\xE9es structur\xE9es et des documents en forme d'arborescence.",
+      longDescription: "KDL est un langage de document construit autour de n\u0153uds nomm\xE9s avec des arguments, des propri\xE9t\xE9s et des enfants imbriqu\xE9s. Sa syntaxe est con\xE7ue pour \xEAtre plus facile \xE0 lire et \xE0 modifier manuellement que de nombreux formats de donn\xE9es denses tout en mappant proprement vers des donn\xE9es structur\xE9es.\n\nIl est utilis\xE9 pour les fichiers de configuration, les documents sp\xE9cifiques \xE0 un domaine et les outils qui n\xE9cessitent des commentaires, un ordre et des donn\xE9es en forme d'arborescence. L'\xE9cosyst\xE8me KDL comprend des parseurs pour plusieurs langages et une sp\xE9cification versionn\xE9e."
+    },
+    de: {
+      name: "KDL",
+      description: "Eine Knotenbasierte Dokumentenstruktur f\xFCr lesbare Konfiguration, strukturierte Daten und baumartige Dokumente.",
+      longDescription: "KDL ist eine Dokumentensprache, die auf benannten Knoten mit Argumenten, Eigenschaften und verschachtelten Kindknoten basiert. Ihre Syntax wurde entwickelt, um leichter lesbar und manuell bearbeitbar zu sein als viele dichte Datendarformen, w\xE4hrend sie dennoch sauber an strukturierte Daten abgebildet werden kann.\n\nEs wird f\xFCr Konfigurationsdateien, dom\xE4nenspezifische Dokumente und Tools verwendet, die Kommentare, Sortierung und baumartige Daten ben\xF6tigen. Das KDL-\xD6kosystem umfasst Parser f\xFCr mehrere Sprachen sowie eine versionierte Spezifikation."
+    },
+    pt: {
+      name: "KDL",
+      description: "Linguagem de documentos baseada em n\xF3s para configura\xE7\xE3o leg\xEDvel, dados estruturados e documentos em \xE1rvore.",
+      longDescription: "KDL \xE9 uma linguagem de documentos constru\xEDda em torno de n\xF3s nomeados com argumentos, propriedades e filhos aninhados. Sua sintaxe \xE9 projetada para ser mais f\xE1cil de ler e editar manualmente do que muitos formatos de dados densos, mantendo a correspond\xEAncia limpa com dados estruturados.\n\n\xC9 usada para arquivos de configura\xE7\xE3o, documentos espec\xEDficos de dom\xEDnio e ferramentas que precisam de coment\xE1rios, ordem e dados em \xE1rvore. O ecossistema KDL inclui analisadores para v\xE1rios idiomas e uma especifica\xE7\xE3o versionada."
     }
   }
 };
@@ -4945,6 +5285,26 @@ var koka = {
       name: "Koka",
       description: "Un lenguaje funcional con tipos de efectos para rastrear efectos laterales y recursos.",
       longDescription: "Koka es un lenguaje funcional de tipado fuerte centrado en tipos de efectos algebraicos. Las funciones describen los efectos que pueden realizar.\n\nSe usa para investigacion y experimentos practicos en sistemas de efectos, con compilacion a entornos nativos y JavaScript."
+    },
+    it: {
+      name: "Koka",
+      description: "Un linguaggio funzionale con tipi di effetto per tracciare effetti collaterali e utilizzo delle risorse.",
+      longDescription: "Koka \xE8 un linguaggio funzionale fortemente tipizzato incentrato su tipi di effetto algebrici. Le funzioni descrivono gli effetti che possono eseguire, il che aiuta a modellare eccezioni, stato, IO e flusso di controllo.\n\n\xC8 utilizzato per la ricerca ed esperimenti pratici nei sistemi di effetto, con un compilatore che mira agli ambienti nativi e JavaScript mantenendo la gestione della memoria prevedibile."
+    },
+    fr: {
+      name: "Koka",
+      description: "Un langage fonctionnel avec des types d'effets pour suivre les effets et l'utilisation des ressources.",
+      longDescription: "Koka est un langage fonctionnel fortement typ\xE9 centr\xE9 sur les types d'effets alg\xE9briques. Les fonctions d\xE9crivent les effets qu'elles peuvent effectuer, ce qui permet de mod\xE9liser les exceptions, l'\xE9tat, l'entr\xE9e/sortie et le contr\xF4le du flux.\n\nIl est utilis\xE9 pour la recherche et les exp\xE9riences pratiques dans les syst\xE8mes d'effets, avec un compilateur ciblant les environnements natifs et JavaScript tout en maintenant une gestion de la m\xE9moire pr\xE9visible."
+    },
+    de: {
+      name: "Koka",
+      description: "Eine funktionale Sprache mit Effekt-Typen zur Verfolgung von Seiteneffekten und Ressourcenverbrauch.",
+      longDescription: "Koka ist eine stark typisierte funktionale Sprache, die auf algebraischen Effekt-Typen basiert. Funktionen beschreiben die Effekte, die sie ausf\xFChren k\xF6nnen, was hilft, Ausnahmen, Zustand, IO und Kontrollfluss zu modellieren.\n\nSie wird f\xFCr Forschung und praktische Experimente mit Effekt-Systemen verwendet, mit einem Compiler, der native und JavaScript-Umgebungen ansteuert und gleichzeitig eine vorhersagbare Speicherverwaltung beibeh\xE4lt."
+    },
+    pt: {
+      name: "Koka",
+      description: "Linguagem funcional com tipos de efeito para rastrear efeitos colaterais e uso de recursos.",
+      longDescription: "Koka \xE9 uma linguagem funcional fortemente tipada centrada em tipos alg\xE9bricos de efeito. As fun\xE7\xF5es descrevem os efeitos que podem realizar, o que ajuda a modelar exce\xE7\xF5es, estado, IO e controle de fluxo.\n\n\xC9 usada para pesquisa e experimentos pr\xE1ticos em sistemas de efeito, com um compilador que visa ambientes nativos e JavaScript, mantendo o gerenciamento de mem\xF3ria previs\xEDvel."
     }
   }
 };
@@ -5274,6 +5634,26 @@ var lobster = {
       name: "Lobster",
       description: "Lenguaje tipado estaticamente para juegos y aplicaciones graficas con iteracion rapida.",
       longDescription: "Lobster es un lenguaje de programacion tipado estaticamente para juegos, graficos interactivos e iteracion rapida. Combina valores de estilo funcional con codigo imperativo y un compilador pensado para ciclos de feedback cortos.\n\nSu ecosistema es pequeno, pero sirve para prototipos, experimentos graficos y trabajo de diseno de lenguajes orientado a programas en tiempo real."
+    },
+    it: {
+      name: "Lobster",
+      description: "Linguaggio staticamente tipizzato per giochi e applicazioni grafiche con iterazione rapida.",
+      longDescription: "Lobster \xE8 un linguaggio di programmazione staticamente tipizzato progettato per la programmazione di giochi, grafica interattiva e iterazione rapida. Combina valori in stile funzionale con codice imperativo e un compilatore pensato per mantenere i cicli di feedback brevi.\n\nIl suo ecosistema \xE8 piccolo, ma il linguaggio \xE8 utile come ambiente compatto per prototipi, esperimenti grafici e lavoro di progettazione linguistica incentrato su giochi e programmi in tempo reale."
+    },
+    fr: {
+      name: "Lobster",
+      description: "Langage de programmation statique pour les jeux et applications graphiques, avec une it\xE9ration rapide.",
+      longDescription: "Lobster est un langage de programmation statique con\xE7u pour la programmation de jeux, les graphiques interactifs et l'it\xE9ration rapide. Il combine des valeurs de style fonctionnel avec du code imp\xE9ratif et un compilateur destin\xE9 \xE0 maintenir les boucles de r\xE9troaction courtes.\n\nSon \xE9cosyst\xE8me est petit, mais le langage est utile comme environnement compact pour les prototypes, les exp\xE9riences graphiques et le travail sur la conception de langages ax\xE9 sur les jeux et les programmes en temps r\xE9el."
+    },
+    de: {
+      name: "Lobster",
+      description: "Eine statisch typisierte Sprache f\xFCr Spiele und grafische Anwendungen mit schneller Iteration.",
+      longDescription: "Lobster ist eine statisch typisierte Programmiersprache, die f\xFCr die Entwicklung von Spielen, interaktiven Grafiken und schnelle Prototypen entwickelt wurde. Sie kombiniert funktionale Werte mit imperativer Programmierung und einem Compiler, um kurze Entwicklungszyklen zu erm\xF6glichen.\n\nIhr \xD6kosystem ist klein, aber die Sprache eignet sich als kompakte Umgebung f\xFCr Prototypen, grafische Experimente und sprachgest\xFCtzten Entwurf von Spielen und Echtzeitprogrammen."
+    },
+    pt: {
+      name: "Lobster",
+      description: "Linguagem estaticamente tipada para jogos e aplica\xE7\xF5es gr\xE1ficas com itera\xE7\xE3o r\xE1pida.",
+      longDescription: "Lobster \xE9 uma linguagem de programa\xE7\xE3o estaticamente tipada projetada para programa\xE7\xE3o de jogos, gr\xE1ficos interativos e itera\xE7\xE3o r\xE1pida. Combina valores em estilo funcional com c\xF3digo imperativo e um compilador destinado a manter os ciclos de feedback curtos.\n\nSeu ecossistema \xE9 pequeno, mas a linguagem \xE9 \xFAtil como um ambiente compacto para prot\xF3tipos, experimentos gr\xE1ficos e trabalho de design de linguagem focado em jogos e programas em tempo real."
     }
   }
 };
@@ -5303,6 +5683,26 @@ var logo = {
       name: "Logo",
       description: "Lenguaje educativo conocido por graficos de tortuga, interactividad e ideas procedurales.",
       longDescription: "Logo es un lenguaje educativo creado para explorar procedimientos, recursion, geometria y resolucion interactiva de problemas. Su modelo de graficos de tortuga hizo la programacion visual y concreta para generaciones de estudiantes.\n\nSus dialectos siguen presentes en ensenanza, codigo creativo e historia de lenguajes, donde el feedback inmediato facilita explorar ideas computacionales."
+    },
+    it: {
+      name: "Logo",
+      description: "Linguaggio didattico noto per i grafici di tartaruga, l'interattivit\xE0 e le idee procedurali.",
+      longDescription: "Logo \xE8 un linguaggio di programmazione didattico creato per aiutare gli studenti a esplorare procedure, ricorsione, geometria e la risoluzione interattiva dei problemi. Il suo modello grafico con la tartaruga ha reso la programmazione visibile e concreta per le generazioni di studenti.\n\nI dialetti di Logo sono ancora utilizzati nell'insegnamento, nella codifica creativa e nei contesti storici del linguaggio, dove il feedback immediato e i comandi semplici rendono pi\xF9 accessibili i concetti computazionali."
+    },
+    fr: {
+      name: "Logo",
+      description: "Langage \xE9ducatif connu pour ses graphiques de tortue, son interactivit\xE9 et ses id\xE9es proc\xE9durales.",
+      longDescription: "Logo est un langage de programmation \xE9ducatif cr\xE9\xE9 pour aider les apprenants \xE0 explorer les proc\xE9dures, la r\xE9cursion, la g\xE9om\xE9trie et la r\xE9solution de probl\xE8mes interactives. Son mod\xE8le graphique de tortue a rendu la programmation visuelle et concr\xE8te pour des g\xE9n\xE9rations d'\xE9tudiants.\n\nLes dialectes Logo sont encore utilis\xE9s dans l'enseignement, le codage cr\xE9atif et les contextes historiques du langage o\xF9 les commentaires imm\xE9diats et les commandes simples facilitent l'exploration des id\xE9es computationnelles."
+    },
+    de: {
+      name: "Logo",
+      description: "Eine didaktische Sprache bekannt f\xFCr Turtle-Grafiken, Interaktivit\xE4t und algorithmisches Denken.",
+      longDescription: "Logo ist eine didaktische Programmiersprache, die entwickelt wurde, um Lernenden das Erlernen von Verfahren, Rekursion, Geometrie und interaktiver Probleml\xF6sung zu erm\xF6glichen. Das Turtle-Grafikmodell machte Programmieren f\xFCr Generationen von Sch\xFClern visuell und greifbar.\n\nLogo-Dialekte werden weiterhin im Unterricht, in der kreativen Codierung und in sprachhistorischen Kontexten eingesetzt, wo unmittelbares Feedback und einfache Befehle das Erkunden von algorithmischem Denken erleichtern."
+    },
+    pt: {
+      name: "Logo",
+      description: "Linguagem educacional conhecida por gr\xE1ficos de tartaruga, interatividade e ideias procedurais.",
+      longDescription: "Logo \xE9 uma linguagem de programa\xE7\xE3o educativa criada para ajudar os alunos a explorar procedimentos, recurs\xE3o, geometria e resolu\xE7\xE3o de problemas interativos. Seu modelo gr\xE1fico de tartaruga tornou a programa\xE7\xE3o visual e concreta para gera\xE7\xF5es de estudantes.\n\nDialetos do Logo ainda s\xE3o usados no ensino, codifica\xE7\xE3o criativa e contextos hist\xF3ricos da linguagem, onde o feedback imediato e comandos simples tornam as ideias computacionais mais f\xE1ceis de explorar."
     }
   }
 };
@@ -5726,6 +6126,26 @@ var mercury = {
       name: "Mercury",
       description: "Lenguaje logico y funcional puro con tipado estatico fuerte y analisis de determinismo.",
       longDescription: "Mercury es un lenguaje declarativo que combina programacion logica y funcional con tipado estatico fuerte, modos y analisis de determinismo. Busca que programas de estilo logico sean mas fiables y eficientes en software grande.\n\nSe usa en investigacion, compiladores y sistemas especializados donde relaciones estilo Prolog se benefician de chequeos en compilacion, modulos explicitos y ejecucion predecible."
+    },
+    it: {
+      name: "Mercury",
+      description: "Linguaggio puramente logico e funzionale con forte tipizzazione statica e analisi deterministica.",
+      longDescription: "Mercury \xE8 un linguaggio di programmazione dichiarativo che combina la programmazione logica con quella funzionale, una forte tipizzazione statica, modalit\xE0 ed analisi deterministica. Mira a rendere i programmi logici pi\xF9 affidabili ed efficienti per software di grandi dimensioni.\n\nMercury viene utilizzato nella ricerca, nello sviluppo di compilatori e in sistemi specializzati dove le relazioni simili a Prolog beneficiano di controlli a tempo di compilazione, una struttura modulare esplicita e un comportamento di esecuzione prevedibile."
+    },
+    fr: {
+      name: "Mercury",
+      description: "Langage purement logique et fonctionnel avec typage statique fort et analyse de d\xE9terminisme.",
+      longDescription: "Mercury est un langage de programmation d\xE9claratif qui combine la programmation logique avec la programmation fonctionnelle, le typage statique fort, les modes et l'analyse de d\xE9terminisme. Il vise \xE0 rendre les programmes logiques plus fiables et efficaces pour des logiciels plus importants.\n\nMercury est utilis\xE9 dans la recherche, le d\xE9veloppement de compilateurs et les syst\xE8mes sp\xE9cialis\xE9s o\xF9 les relations semblables \xE0 Prolog b\xE9n\xE9ficient des v\xE9rifications au moment de la compilation, d'une structure modulaire explicite et d'un comportement d'ex\xE9cution pr\xE9visible."
+    },
+    de: {
+      name: "Mercury",
+      description: "Eine reine Logik- und Funktionssprache mit starker statischer Typisierung und deterministischer Analyse.",
+      longDescription: "Mercury ist eine deklarative Programmiersprache, die Logikprogrammierung mit funktionaler Programmierung, starker statischer Typisierung, Modi und deterministischer Analyse kombiniert. Sie zielt darauf ab, Logikprogramme zuverl\xE4ssiger und effizienter f\xFCr gr\xF6\xDFere Software zu machen.\n\nMercury wird in Forschung, Compiler-Entwicklung und spezialisierten Systemen eingesetzt, wo Prolog-\xE4hnliche Beziehungen von Compile-Zeitpr\xFCfungen, einer expliziten Modulstruktur und einem vorhersagbaren Ausf\xFChrungsverhalten profitieren."
+    },
+    pt: {
+      name: "Mercury",
+      description: "Linguagem pura de l\xF3gica e funcional com tipagem est\xE1tica forte e an\xE1lise determin\xEDstica.",
+      longDescription: "Mercury \xE9 uma linguagem de programa\xE7\xE3o declarativa que combina a programa\xE7\xE3o l\xF3gica com a funcional, tipagem est\xE1tica forte, modos e an\xE1lise determin\xEDstica. Visa tornar os programas l\xF3gicos mais confi\xE1veis e eficientes para softwares maiores.\n\nMercury \xE9 usado em pesquisa, desenvolvimento de compiladores e sistemas especializados onde as rela\xE7\xF5es semelhantes ao Prolog se beneficiam de verifica\xE7\xF5es em tempo de compila\xE7\xE3o, estrutura modular expl\xEDcita e comportamento de execu\xE7\xE3o previs\xEDvel."
     }
   }
 };
@@ -5904,6 +6324,26 @@ var modula2 = {
       name: "Modula-2",
       description: "Lenguaje modular de sistemas de Niklaus Wirth con interfaces y modulos explicitos.",
       longDescription: "Modula-2 fue disenado como sucesor de Pascal para sistemas y ensenanza. Enfatiza compilacion separada, modulos de definicion explicitos, tipado fuerte, corrutinas y programacion imperativa estructurada.\n\nInfluyo en lenguajes modulares posteriores y sigue siendo relevante en historia de compiladores, sistemas embebidos y contextos educativos."
+    },
+    it: {
+      name: "Modula-2",
+      description: "Linguaggio modulare di Niklaus Wirth con interfacce ed moduli espliciti.",
+      longDescription: "Modula-2 \xE8 stato progettato come successore di Pascal per la programmazione a sistema e l'insegnamento. Enfatizza la compilazione separata, la definizione esplicita dei moduli, il tipaggio forte, le coroutine e la programmazione imperativa strutturata.\n\nIl linguaggio ha influenzato linguaggi modulari successivi ed \xE8 ancora rilevante nella storia dei compilatori, nei sistemi embedded e in ambienti didattici dove i confini del modulo chiari e un design di linguaggio piccolo sono importanti."
+    },
+    fr: {
+      name: "Modula-2",
+      description: "Langage modulaire de Niklaus Wirth avec interfaces et modules explicites.",
+      longDescription: "Modula-2 a \xE9t\xE9 con\xE7u comme successeur de Pascal pour la programmation syst\xE8me et l'enseignement. Il met l'accent sur la compilation s\xE9par\xE9e, les d\xE9finitions explicites des modules, le typage fort, les coroutines et la programmation imp\xE9rative structur\xE9e.\n\nLe langage a influenc\xE9 les langages modulaires ult\xE9rieurs et reste pertinent dans l'histoire des compilateurs, les syst\xE8mes embarqu\xE9s et les environnements \xE9ducatifs o\xF9 les limites de module claires et un petit langage sont importants."
+    },
+    de: {
+      name: "Modula-2",
+      description: "Ein modulare Programmiersprache von Niklaus Wirth mit expliziten Schnittstellen und Modulen.",
+      longDescription: "Modula-2 wurde als Nachfolger von Pascal f\xFCr Systemprogrammierung und Lehre entwickelt. Es betont separate Kompilierbarkeit, explizite Definition von Modulen, starke Typisierung, Koroutinen und strukturierte imperative Programmierung.\n\nDie Sprache beeinflusste sp\xE4tere modulare Sprachen und ist auch heute noch relevant in der Compiler-Geschichte, bei eingebetteten Systemen und im Bildungsbereich, wo klare Modulgrenzen und eine einfache Sprachgestaltung wichtig sind."
+    },
+    pt: {
+      name: "Modula-2",
+      description: "Linguagem de sistemas modular desenvolvida por Niklaus Wirth com interfaces e m\xF3dulos expl\xEDcitos.",
+      longDescription: "Modula-2 foi projetada como sucessora do Pascal para programa\xE7\xE3o de sistemas e ensino. Enfatiza compila\xE7\xE3o separada, defini\xE7\xE3o expl\xEDcita de m\xF3dulos, tipagem forte, corrotinas e programa\xE7\xE3o imperativa estruturada.\n\nA linguagem influenciou linguagens modulares posteriores e permanece relevante na hist\xF3ria dos compiladores, sistemas embarcados e ambientes educacionais onde limites de m\xF3dulo claros e um design de linguagem pequeno s\xE3o importantes."
     }
   }
 };
@@ -6429,6 +6869,26 @@ var oberon = {
       name: "Oberon",
       description: "Lenguaje compacto de la familia Pascal con modulos, extension de tipos y raices de sistema.",
       longDescription: "Oberon es un lenguaje y proyecto de sistema operativo creado por Niklaus Wirth y Jurg Gutknecht. Simplifica Modula-2 y agrega extension de tipos junto con un sistema de modulos pequeno y fuertemente tipado.\n\nEs importante en investigacion de sistemas operativos, construccion de compiladores y ensenanza porque muestra como lenguaje, compilador y entorno pueden formar un sistema coherente."
+    },
+    it: {
+      name: "Oberon",
+      description: "Un linguaggio Pascal-family compatto con moduli, estensione dei tipi e radici di sistema.",
+      longDescription: "Oberon \xE8 un linguaggio e progetto per sistemi operativi compatti creato da Niklaus Wirth e Jurg Gutknecht. Il linguaggio semplifica Modula-2 aggiungendo l'estensione dei tipi e un piccolo sistema modulare fortemente tipizzato.\n\nOberon \xE8 importante nella ricerca sui sistemi operativi, nella costruzione di compilatori e nell'insegnamento perch\xE9 dimostra come un piccolo linguaggio, un compilatore ed un ambiente possano formare un sistema software coerente."
+    },
+    fr: {
+      name: "Oberon",
+      description: "Un langage compact de la famille Pascal avec des modules, une extension de types et des racines syst\xE8me.",
+      longDescription: "Oberon est un langage et un projet de syst\xE8me d'exploitation compact cr\xE9\xE9 par Niklaus Wirth et Jurg Gutknecht. Le langage simplifie Modula-2 tout en ajoutant une extension de type et un petit syst\xE8me de modules fortement typ\xE9.\n\nOberon est important dans la recherche sur les syst\xE8mes d'exploitation, la construction de compilateurs et l'enseignement car il montre comment un petit langage, un compilateur et un environnement peuvent former un syst\xE8me logiciel coh\xE9rent."
+    },
+    de: {
+      name: "Oberon",
+      description: "Eine kompakte Pascal-\xE4hnliche Sprache mit Modulen, Typen und Systemwurzeln.",
+      longDescription: "Oberon ist eine kompakte Sprache und ein Betriebssystemprojekt von Niklaus Wirth und Jurg Gutknecht. Die Sprache vereinfacht Modula-2 und f\xFCgt Typerweiterungen sowie ein kleines, stark typisiertes Modulsystem hinzu.\n\nOberon ist wichtig f\xFCr die Forschung im Bereich Betriebssysteme, Compilerbau und Lehre, da es zeigt, wie eine kleine Sprache, ein Compiler und eine Umgebung ein koh\xE4rentes Softwaresystem bilden k\xF6nnen."
+    },
+    pt: {
+      name: "Oberon",
+      description: "Linguagem compacta da fam\xEDlia Pascal com m\xF3dulos, extens\xE3o de tipos e ra\xEDzes do sistema.",
+      longDescription: "Oberon \xE9 uma linguagem e projeto de sistema operacional compacto criado por Niklaus Wirth e Jurg Gutknecht. A linguagem simplifica o Modula-2 adicionando extens\xE3o de tipos e um pequeno sistema modular fortemente tipado.\n\nOberon \xE9 importante em pesquisa de sistemas operacionais, constru\xE7\xE3o de compiladores e ensino porque demonstra como uma pequena linguagem, compilador e ambiente podem formar um sistema de software coerente."
     }
   }
 };
@@ -6609,6 +7069,26 @@ var openapi = {
       name: "OpenAPI",
       description: "Formato de especificacion neutral al lenguaje para describir APIs HTTP, esquemas, operaciones y documentacion.",
       longDescription: "OpenAPI es un formato de especificacion para describir APIs HTTP de manera legible para maquinas y personas. Los documentos OpenAPI definen rutas, operaciones, parametros, cuerpos de solicitud, respuestas, autenticacion, componentes reutilizables e informacion de esquemas.\n\nSuele escribirse en YAML o JSON y alimenta documentacion de APIs, generacion de clientes y servidores, pruebas de contrato, gobierno y flujos de diseno."
+    },
+    it: {
+      name: "OpenAPI",
+      description: "Un formato di specifica linguaggio-neutro per descrivere le API HTTP, gli schemi, le operazioni e la documentazione.",
+      longDescription: "OpenAPI \xE8 un formato di specifica per descrivere le API HTTP in modo leggibile sia da macchine che da persone. I documenti OpenAPI definiscono i percorsi, le operazioni, i parametri, i corpi delle richieste, le risposte, l'autenticazione e le informazioni sugli schemi.\n\nIl formato viene comunemente scritto in YAML o JSON ed \xE8 utilizzato per la documentazione API, la generazione di client e server, il test dei contratti, la governance e i flussi di lavoro di progettazione. Originariamente chiamato Swagger, ora \xE8 mantenuto dall'OpenAPI Initiative."
+    },
+    fr: {
+      name: "OpenAPI",
+      description: "Format de sp\xE9cification langage-ind\xE9pendant pour d\xE9crire les APIs HTTP, les sch\xE9mas, les op\xE9rations et la documentation.",
+      longDescription: "OpenAPI est un format de sp\xE9cification pour d\xE9crire les APIs HTTP d'une mani\xE8re lisible par machine et humaine. Les documents OpenAPI d\xE9finissent des chemins, des op\xE9rations, des param\xE8tres, des corps de requ\xEAte, des r\xE9ponses, l'authentification, des composants r\xE9utilisables et des informations sur le sch\xE9ma.\n\nLe format est couramment \xE9crit en YAML ou JSON et permet la documentation d'API, la g\xE9n\xE9ration client et serveur, les tests contractuels, la gouvernance et les flux de travail de conception. Il a \xE9t\xE9 cr\xE9\xE9 sous le nom de Swagger et est maintenant maintenu par l'OpenAPI Initiative."
+    },
+    de: {
+      name: "OpenAPI",
+      description: "Ein sprachunabh\xE4ngiges Spezifikationsformat zur Beschreibung von HTTP-APIs, Schemas, Operationen und Dokumentation.",
+      longDescription: "OpenAPI ist ein Spezifikationsformat zum beschreibenden API in maschinenlesbarer und menschenlesbarer Form. OpenAPI-Dokumente definieren Pfade, Operationen, Parameter, Anfragenk\xF6rper, Antworten, Authentifizierung, wiederverwendbare Komponenten und Schema-Informationen.\n\nDas Format wird \xFCblicherweise in YAML oder JSON geschrieben und erm\xF6glicht die Erstellung von API-Dokumentation, Client- und Servergenerierung, Vertragspr\xFCfung, Governance und Designworkflows. Es entstand als Swagger und wird jetzt vom OpenAPI Initiative verwaltet."
+    },
+    pt: {
+      name: "OpenAPI",
+      description: "Formato de especifica\xE7\xE3o linguagem-neutro para descrever APIs HTTP, esquemas, opera\xE7\xF5es e documenta\xE7\xE3o.",
+      longDescription: "OpenAPI \xE9 um formato de especifica\xE7\xE3o para descrever APIs HTTP de forma leg\xEDvel por m\xE1quina e humana. Os documentos OpenAPI definem caminhos, opera\xE7\xF5es, par\xE2metros, corpos de solicita\xE7\xE3o, respostas, autentica\xE7\xE3o, componentes reutiliz\xE1veis \u200B\u200Be informa\xE7\xF5es do esquema.\n\nO formato \xE9 comumente escrito em YAML ou JSON e impulsiona a documenta\xE7\xE3o da API, gera\xE7\xE3o de clientes e servidores, testes de contrato, governan\xE7a e fluxos de trabalho de design. Originou-se como Swagger e agora \xE9 mantido pela OpenAPI Initiative."
     }
   }
 };
@@ -6936,6 +7416,26 @@ var plI = {
       name: "PL/I",
       description: "Lenguaje de IBM que combina rasgos de programacion empresarial, cientifica y de sistemas.",
       longDescription: "PL/I fue disenado por IBM para cubrir procesamiento empresarial, computacion cientifica y programacion de sistemas en un solo lenguaje. Combina estructura de bloques, descripciones de datos, excepciones, concurrencia y soporte numerico amplio.\n\nSigue asociado a mainframes y sistemas empresariales donde aplicaciones de larga vida dependen de su manejo de datos, procesos batch y herramientas IBM."
+    },
+    it: {
+      name: "PL/I",
+      description: "Un linguaggio IBM che combina funzionalit\xE0 per la programmazione aziendale, scientifica e di sistemi.",
+      longDescription: "PL/I \xE8 stato progettato da IBM per coprire l'elaborazione dei dati aziendali, il calcolo scientifico e la programmazione di sistema in un unico linguaggio. Combina struttura a blocchi, potenti funzionalit\xE0 di descrizione dei dati, gestione delle eccezioni, funzionalit\xE0 di concorrenza e supporto numerico ricco.\n\nPL/I rimane associato ai sistemi mainframe ed enterprise, dove le applicazioni a lungo termine dipendono dalla sua capacit\xE0 di gestire i dati, l'elaborazione batch e la compatibilit\xE0 con gli strumenti IBM."
+    },
+    fr: {
+      name: "PL/I",
+      description: "Langage IBM combinant les fonctionnalit\xE9s de programmation m\xE9tier, scientifique et syst\xE8me.",
+      longDescription: "Con\xE7u par IBM, PL/I combine la gestion des donn\xE9es commerciales, le calcul scientifique et la programmation syst\xE8me. Il offre une structure en blocs, des capacit\xE9s de description de donn\xE9es robustes, la gestion des exceptions, des fonctionnalit\xE9s de concurrence et un support num\xE9rique riche.\n\nPL/I reste associ\xE9 aux syst\xE8mes mainframe et d'entreprise, o\xF9 les applications \xE0 long terme d\xE9pendent de ses capacit\xE9s de manipulation des donn\xE9es, de traitement par lots et de sa compatibilit\xE9 avec les outils IBM."
+    },
+    de: {
+      name: "PL/I",
+      description: "Eine von IBM entwickelte Sprache f\xFCr Gesch\xE4ftsanwendungen, wissenschaftliche Berechnungen und Systemprogrammierung.",
+      longDescription: "PL/I wurde von IBM entwickelt, um Gesch\xE4ftsdatenverarbeitung, wissenschaftliches Rechnen und Systemprogrammierung in einer einzigen Sprache zu vereinen. Es kombiniert Blockstruktur, leistungsstarke Datenbeschreibung, Ausnahmen, Nebenl\xE4ufigkeitsfunktionen und umfangreiche numerische Unterst\xFCtzung.\n\nPL/I ist weiterhin mit Mainframe- und Unternehmenssystemen verbunden, wo langlaufende Anwendungen auf seine Datenverarbeitung, Batch-Verarbeitung und Kompatibilit\xE4t mit IBM-Tools angewiesen sind."
+    },
+    pt: {
+      name: "PL/I",
+      description: "Linguagem da IBM que combina recursos de programa\xE7\xE3o empresarial, cient\xEDfica e de sistemas.",
+      longDescription: "O PL/I foi projetado pela IBM para cobrir o processamento de dados empresariais, computa\xE7\xE3o cient\xEDfica e programa\xE7\xE3o de sistemas em uma \xFAnica linguagem. Ele combina estrutura de blocos, fortes recursos de descri\xE7\xE3o de dados, tratamento de exce\xE7\xF5es, recursos de concorr\xEAncia e suporte num\xE9rico rico.\n\nO PL/I permanece associado a sistemas mainframe e corporativos, onde aplica\xE7\xF5es de longa dura\xE7\xE3o dependem do seu processamento de dados, processamento em lote e compatibilidade com as ferramentas IBM."
     }
   }
 };
@@ -7364,6 +7864,26 @@ var puppet = {
       name: "Puppet",
       description: "Lenguaje declarativo de infraestructura para describir recursos del sistema, estado de configuracion y modulos reutilizables.",
       longDescription: "El lenguaje Puppet describe el estado deseado de la infraestructura mediante recursos, clases, tipos definidos, variables, condicionales y modulos. Los agentes Puppet aplican catalogos compilados desde este lenguaje para converger los sistemas hacia la configuracion declarada.\n\nSe usa para gestion de configuracion, cumplimiento, aprovisionamiento y automatizacion de infraestructura en servidores y servicios."
+    },
+    it: {
+      name: "Puppet",
+      description: "Linguaggio dichiarativo per definire risorse di sistema, stato di configurazione e moduli riutilizzabili.",
+      longDescription: "Il linguaggio Puppet descrive lo stato desiderato dell'infrastruttura utilizzando risorse, classi, tipi definiti, variabili, condizioni e moduli. Gli agenti Puppet applicano cataloghi compilati da questo linguaggio per portare i sistemi verso la configurazione dichiarata.\n\nViene utilizzato per la gestione della configurazione, il controllo della conformit\xE0, l'erogazione e l'automazione dell'infrastruttura su server e servizi. Il linguaggio favorisce le relazioni dichiarative tra risorse rispetto ai passaggi imperativi in stile shell."
+    },
+    fr: {
+      name: "Puppet",
+      description: "Langage d\xE9claratif pour d\xE9crire les ressources syst\xE8me, l'\xE9tat de configuration et les modules r\xE9utilisables.",
+      longDescription: "Le langage Puppet d\xE9crit l'\xE9tat d'infrastructure souhait\xE9 \xE0 l'aide de ressources, de classes, de types d\xE9finis, de variables, de conditions et de modules. Les agents Puppet appliquent des catalogues compil\xE9s \xE0 partir de ce langage pour converger les syst\xE8mes vers la configuration d\xE9clar\xE9e.\n\nIl est utilis\xE9 pour la gestion de la configuration, le respect des normes, la provisionnement et l'automatisation de l'infrastructure sur serveurs et services. Le langage favorise les relations entre ressources d\xE9claratives plut\xF4t que les \xE9tapes imp\xE9ratives de type shell."
+    },
+    de: {
+      name: "Puppet",
+      description: "Eine deklarative Infrastruktur-Sprache zur Beschreibung von Systemressourcen und Konfigurationen sowie wiederverwendbaren Modulen.",
+      longDescription: "Die Puppet-Sprache beschreibt den gew\xFCnschten Infrastrukturtzustand mithilfe von Ressourcen, Klassen, definierten Typen, Variablen, Bedingungen und Modulen. Puppet-Agenten wenden diese Kataloge an, um Systeme auf die deklarierte Konfiguration zu bringen.\n\nSie wird f\xFCr Konfigurationsmanagement, Compliance, Provisionierung und Automatisierung der Infrastruktur \xFCber Server und Dienste verwendet. Die Sprache bevorzugt deklarative Ressourcenbeziehungen gegen\xFCber imperativen Shell-Befehlen."
+    },
+    pt: {
+      name: "Puppet",
+      description: "Linguagem declarativa para descrever recursos do sistema, estado de configura\xE7\xE3o e m\xF3dulos reutiliz\xE1veis.",
+      longDescription: "A linguagem Puppet descreve o estado desejado da infraestrutura usando recursos, classes, tipos definidos, vari\xE1veis, condicionais e m\xF3dulos. Os agentes Puppet aplicam cat\xE1logos compilados a partir desta linguagem para convergir sistemas em dire\xE7\xE3o \xE0 configura\xE7\xE3o declarada.\n\n\xC9 usada para gerenciamento de configura\xE7\xE3o, conformidade, provisionamento e automa\xE7\xE3o de infraestrutura em servidores e servi\xE7os. A linguagem favorece relacionamentos declarativos entre recursos em vez de etapas imperativas no estilo shell."
     }
   }
 };
@@ -7843,6 +8363,26 @@ var rebol = {
       name: "Rebol",
       description: "Lenguaje compacto de mensajeria basado en bloques de codigo como datos y dialectos.",
       longDescription: "Rebol es un lenguaje pequeno creado alrededor de expresiones relativas, bloques como datos y dialectos especificos de dominio. Su sintaxis hace que datos estructurados y codigo ejecutable compartan una representacion compacta.\n\nSe ha usado en utilidades de red, GUIs, automatizacion, intercambio ligero de datos y experimentos de DSL. Su influencia se ve en Red y otros lenguajes de scripting homoiconico."
+    },
+    it: {
+      name: "Rebol",
+      description: "Un linguaggio di messaggistica compatto basato su blocchi di codice come dati e dialetti.",
+      longDescription: "Rebol \xE8 un piccolo linguaggio creato attorno all'idea di espressioni relative, blocchi come dati e dialetti specifici per dominio. La sua sintassi rende i dati strutturati e il codice eseguibile rappresentabili in modo compatto.\n\nRebol \xE8 stato utilizzato per utility di rete, GUI, automazione, scambio di dati leggero ed esperimenti con DSL. La sua influenza \xE8 visibile in Red e altri linguaggi interessati a scripting omomorfico basato su messaggi."
+    },
+    fr: {
+      name: "Rebol",
+      description: "Un langage de messagerie compact bas\xE9 sur des blocs de code comme donn\xE9es et des dialectes.",
+      longDescription: "Rebol est un petit langage cr\xE9\xE9 autour de l'id\xE9e d'expressions relatives, de blocs comme donn\xE9es et de dialectes sp\xE9cifiques \xE0 un domaine. Sa syntaxe permet de partager une repr\xE9sentation compacte pour les donn\xE9es structur\xE9es et le code ex\xE9cutable.\n\nRebol a \xE9t\xE9 utilis\xE9 pour des outils r\xE9seau, des interfaces graphiques, l'automatisation, l'\xE9change de donn\xE9es l\xE9ger et des exp\xE9rimentations avec des langages DSL. Son influence est visible dans Red et d'autres langages int\xE9ress\xE9s par la programmation homonyme et orient\xE9e vers les messages."
+    },
+    de: {
+      name: "Rebol",
+      description: "Eine kompakte Programmiersprache, die auf Code-als-Datenbl\xF6cken und Dialekten basiert.",
+      longDescription: "Rebol ist eine kleine Sprache, die auf der Idee von relativen Ausdr\xFCcken, Bl\xF6cken als Daten und dom\xE4nenspezifischen Dialekten basiert. Ihre Syntax erm\xF6glicht es, strukturierte Daten und ausf\xFChrbaren Code in einer kompakten Darstellung zu kombinieren.\n\nRebol wurde f\xFCr Netzwerk-Utilities, GUIs, Automatisierung, leichte Datenaustausch und DSL-Experimente verwendet. Sein Einfluss ist in Red und anderen Sprachen sichtbar, die homoikonische, message-orientierte Skriptsprachen verwenden."
+    },
+    pt: {
+      name: "Rebol",
+      description: "Linguagem de mensagens compacta baseada em blocos de c\xF3digo como dados e dialetos.",
+      longDescription: "Rebol \xE9 uma linguagem pequena criada com a ideia de express\xF5es relativas, blocos como dados e dialetos espec\xEDficos do dom\xEDnio. Sua sintaxe permite que dados estruturados e c\xF3digo execut\xE1vel compartilhem uma representa\xE7\xE3o compacta.\n\nRebol tem sido usado para utilit\xE1rios de rede, GUIs, automa\xE7\xE3o, troca de dados leve e experimentos de DSL. Sua influ\xEAncia \xE9 vis\xEDvel em Red e outras linguagens interessadas em scripting homoi\xF4nico, orientado a mensagens."
     }
   }
 };
@@ -7872,6 +8412,26 @@ var red = {
       name: "Red",
       description: "Lenguaje inspirado en Rebol que cubre scripting de alto nivel y codigo Red/System.",
       longDescription: "Red es un lenguaje inspirado en Rebol que busca cubrir desde scripting simbolico de alto nivel hasta programacion de sistemas con Red/System. Enfatiza sintaxis compacta, notacion de datos apta para DSLs y flujos orientados a GUI.\n\nSe usa en scripts, herramientas pequenas de escritorio, experimentos y apps que aprovechan datos homoiconicos, notacion concisa y una distribucion con compilador y runtime."
+    },
+    it: {
+      name: "Red",
+      description: "Linguaggio ispirato a Rebol, che copre scripting di alto livello e codice Red/System di basso livello.",
+      longDescription: "Red \xE8 un linguaggio ispirato a Rebol, progettato per coprire un ampio spettro, dallo scripting simbolico ad alto livello alla programmazione di sistema di basso livello tramite Red/System. Enfatizza una sintassi compatta, notazioni DSL-friendly e flussi di lavoro orientati all'interfaccia grafica.\n\nIl progetto \xE8 utilizzato per script, piccoli strumenti desktop, esperimenti e applicazioni che beneficiano di dati homoiconici, notazioni concise e un singolo pacchetto con compilatore e runtime."
+    },
+    fr: {
+      name: "Red",
+      description: "Langage inspir\xE9 de Rebol, combinant le scripting de haut niveau et le code Red/System de bas niveau.",
+      longDescription: "Red est un langage inspir\xE9 de Rebol qui vise \xE0 couvrir une large gamme allant du script de haut niveau bas\xE9 sur des symboles au codage syst\xE8me de bas niveau via Red/System. Il met l'accent sur une syntaxe concise, une notation de donn\xE9es conviviale pour les DSL et des flux de travail orient\xE9s GUI.\n\nLe projet est utilis\xE9 pour les scripts, les petits outils de bureau, les exp\xE9rimentations et les applications qui b\xE9n\xE9ficient d'une repr\xE9sentation homonyme des donn\xE9es, d'une notation concise et d'une seule distribution contenant le compilateur et la partie runtime."
+    },
+    de: {
+      name: "Red",
+      description: "Eine Rebol-inspirierte Sprache f\xFCr High-Level-Skripting und Low-Level-Red/System-Code.",
+      longDescription: "Red ist eine von Rebol inspirierte Sprache, die darauf abzielt, einen breiten Bereich von symbolischem High-Level-Skripting bis hin zu Low-Level-Systemprogrammierung durch Red/System abzudecken. Sie betont kompakte Syntax, DSL-freundliche Datennotation und GUI-orientierte Arbeitsabl\xE4ufe.\n\nDas Projekt wird f\xFCr Skripte, kleine Desktop-Tools, Experimente und Anwendungen verwendet, die von homoikonischer Datennotation, pr\xE4gnanter Notation und einer einzigen Distribution mit Compiler- und Runtime-Komponenten profitieren."
+    },
+    pt: {
+      name: "Red",
+      description: "Linguagem inspirada em Rebol, abrangendo scripting de alto e baixo n\xEDvel com Red/System.",
+      longDescription: "Red \xE9 uma linguagem inspirada no Rebol que visa cobrir um amplo espectro, desde scripting de alto n\xEDvel simb\xF3lico at\xE9 programa\xE7\xE3o de sistemas de baixo n\xEDvel atrav\xE9s do Red/System. Enfatiza sintaxe compacta, nota\xE7\xE3o amig\xE1vel para DSL e fluxos de trabalho orientados a GUI.\n\nO projeto \xE9 usado para scripts, pequenas ferramentas de desktop, experimentos e aplica\xE7\xF5es que se beneficiam de dados homoiconicos, nota\xE7\xE3o concisa e uma \xFAnica distribui\xE7\xE3o com pe\xE7as do compilador e runtime."
     }
   }
 };
@@ -8052,6 +8612,26 @@ var roc = {
       name: "Roc",
       description: "Lenguaje funcional puro y rapido con sintaxis amigable y apps basadas en plataformas.",
       longDescription: "Roc es un lenguaje funcional puro enfocado en ejecucion rapida, sintaxis accesible, tipado estatico y un modelo de plataformas donde el host provee capacidades a las aplicaciones. Busca hacer practica la programacion funcional para CLIs, servicios y WebAssembly.\n\nEl lenguaje sigue evolucionando, pero explora abilities, manejo automatico de memoria sin pausas de GC por trazado y paquetes que separan codigo de app y plataforma."
+    },
+    it: {
+      name: "Roc",
+      description: "Un linguaggio funzionale veloce e puro, incentrato su una sintassi intuitiva e applicazioni basate sulla piattaforma.",
+      longDescription: "Roc \xE8 un linguaggio di programmazione funzionale puro focalizzato sull'esecuzione rapida, su una sintassi accessibile, sul tipaggio statico e su un modello di piattaforma in cui gli host forniscono funzionalit\xE0 alle applicazioni. Mira a rendere la programmazione funzionale pratica per strumenti da riga di comando, servizi e WebAssembly.\n\nIl linguaggio \xE8 ancora in fase di sviluppo, ma il suo design esplora le capacit\xE0, l'automazione della gestione della memoria senza pause GC e l'impacchettamento dei flussi di lavoro che separano il codice dell'applicazione dal codice della piattaforma."
+    },
+    fr: {
+      name: "Roc",
+      description: "Un langage fonctionnel rapide et pur ax\xE9 sur une syntaxe conviviale et les applications bas\xE9es sur la plateforme.",
+      longDescription: "Roc est un langage de programmation fonctionnelle pure ax\xE9 sur l'ex\xE9cution rapide, une syntaxe accessible, le typage statique et un mod\xE8le de plateforme o\xF9 les h\xF4tes fournissent des capacit\xE9s aux applications. Il vise \xE0 rendre la programmation fonctionnelle pratique pour les outils en ligne de commande, les services et WebAssembly.\n\nLe langage est encore en d\xE9veloppement, mais sa conception explore les capacit\xE9s, la gestion automatique de la m\xE9moire sans pauses GC et l'empaquetage des workflows qui s\xE9parent le code d'application du code de plateforme."
+    },
+    de: {
+      name: "Roc",
+      description: "Eine schnelle, reine funktionale Sprache mit freundlicher Syntax und plattformorientierten Anwendungen.",
+      longDescription: "Roc ist eine reine funktionale Programmiersprache, die auf schnellen Ausf\xFChrung, verst\xE4ndlicher Syntax, statischer Typisierung und einem Plattformmodell basiert, in dem Hosts Anwendungen Funktionen zur Verf\xFCgung stellen. Sie zielt darauf ab, funktionale Programmierung f\xFCr Kommandozeilen-Tools, Dienste und WebAssembly praktikabel zu machen.\n\nDie Sprache befindet sich noch im Entwicklungsprozess, erkundet aber M\xF6glichkeiten wie automatische Speicherverwaltung ohne Tracing-GC-Pausen sowie die Verpackung von Arbeitsabl\xE4ufen, die Anwendungscode vom Plattformcode trennen."
+    },
+    pt: {
+      name: "Roc",
+      description: "Linguagem funcional pura r\xE1pida, com sintaxe amig\xE1vel e aplicativos baseados em plataforma.",
+      longDescription: "Roc \xE9 uma linguagem de programa\xE7\xE3o funcional pura focada na execu\xE7\xE3o r\xE1pida, sintaxe acess\xEDvel, tipagem est\xE1tica e um modelo de plataforma onde os hosts fornecem capacidades para as aplica\xE7\xF5es. Visa tornar a programa\xE7\xE3o funcional pr\xE1tica para ferramentas de linha de comando, servi\xE7os e WebAssembly.\n\nA linguagem ainda est\xE1 em desenvolvimento, mas seu design explora recursos como gerenciamento autom\xE1tico de mem\xF3ria sem pausas GC e empacotamento de fluxos de trabalho que separam o c\xF3digo da aplica\xE7\xE3o do c\xF3digo da plataforma."
     }
   }
 };
@@ -8379,6 +8959,26 @@ var self = {
       name: "Self",
       description: "Lenguaje de objetos basado en prototipos que influyo en JavaScript, VMs e IDEs vivos.",
       longDescription: "Self es un lenguaje orientado a objetos dinamico basado en prototipos y envio de mensajes, no en clases. Fue creado como lenguaje de investigacion para explorar sistemas de objetos, entornos vivos y dispatch dinamico de alto rendimiento.\n\nInfluyo en JavaScript, trabajo de VMs de Smalltalk, optimizacion adaptativa y entornos interactivos donde los objetos pueden inspeccionarse y cambiarse mientras el programa corre."
+    },
+    it: {
+      name: "Self",
+      description: "Linguaggio basato su prototipi che ha influenzato JavaScript, il design delle VM e gli IDE interattivi.",
+      longDescription: "Self \xE8 un linguaggio dinamico orientato agli oggetti basato sui prototipi e sulla comunicazione di messaggi, piuttosto che sulle classi. \xC8 stato creato come linguaggio di ricerca per esplorare i sistemi a oggetti, gli ambienti di programmazione interattiva e la dispatch dinamica ad alte prestazioni.\n\nSelf ha influenzato JavaScript, il lavoro delle VM Smalltalk, l'ottimizzazione adattativa e i sistemi di sviluppo interattivo in cui gli oggetti possono essere ispezionati, modificati ed estesi durante l'esecuzione del programma."
+    },
+    fr: {
+      name: "Self",
+      description: "Langage orient\xE9 objet bas\xE9 sur les prototypes et le passage de messages, influant sur JavaScript, la conception des machines virtuelles et les IDE interactifs.",
+      longDescription: "Self est un langage dynamique orient\xE9 objet bas\xE9 sur les prototypes et le passage de messages plut\xF4t que les classes. Il a \xE9t\xE9 cr\xE9\xE9 comme un langage de recherche pour explorer les syst\xE8mes d'objets, les environnements de programmation interactive et la mise en \u0153uvre performante du dispatch dynamique.\n\nSelf a influenc\xE9 JavaScript, le travail sur la machine virtuelle Smalltalk, l'optimisation adaptative et les syst\xE8mes de d\xE9veloppement interactifs o\xF9 les objets peuvent \xEAtre inspect\xE9s, modifi\xE9s et \xE9tendus pendant que le programme s'ex\xE9cute."
+    },
+    de: {
+      name: "Self",
+      description: "Ein Prototyp-basiertes Objektprogrammierungssprache, die JavaScript, VM-Design und Live-IDEs beeinflusste.",
+      longDescription: "Self ist eine dynamische objektorientierte Sprache, die auf Prototypen und Nachrichten\xFCbermittlung basiert, anstatt Klassen. Sie wurde als Forschungssprache entwickelt, um objektbasierte Systeme, interaktive Programmierumgebungen und hochleistungsf\xE4hige dynamische Dispatch-Mechanismen zu erkunden.\n\nSelf beeinflusste JavaScript, Smalltalk VM-Arbeit, adaptive Optimierung und interaktive Entwicklungssysteme, in denen Objekte w\xE4hrend der Laufzeit inspiziert, ge\xE4ndert und erweitert werden k\xF6nnen."
+    },
+    pt: {
+      name: "Self",
+      description: "Linguagem baseada em prot\xF3tipos que influenciou o JavaScript, design de VMs e IDEs interativas.",
+      longDescription: "Self \xE9 uma linguagem orientada a objetos din\xE2mica baseada em prot\xF3tipos e passagem de mensagens, n\xE3o classes. Foi criada como uma linguagem de pesquisa para explorar sistemas de objetos, ambientes de programa\xE7\xE3o interativos e despacho din\xE2mico de alto desempenho.\n\nSelf influenciou o JavaScript, o trabalho com VMs Smalltalk, otimiza\xE7\xE3o adaptativa e sistemas de desenvolvimento interativo onde os objetos podem ser inspecionados, modificados e estendidos enquanto o programa est\xE1 em execu\xE7\xE3o."
     }
   }
 };
@@ -9211,7 +9811,7 @@ var tlaPlus = {
     de: {
       name: "TLA+",
       description: "Eine formale Spezifikationssprache f\xFCr Zustandsautomaten und zeitliche Eigenschaften.",
-      longDescription: "TLA+ beschreibt Systeme als mathematische Zustands\xFCberg\xE4nge mit Aktionen, Invarianten, zeitlichen Formeln, Modulen und auf Refinement ausgerichteten Spezifikationen. Werkzeuge wie TLC untersuchen Verhaltensweisen, um Modelle zu \xFCberpr\xFCfen.\n\nEs wird verwendet, um \xFCber verteilte Algorithmen, Protokolle, Nebenl\xE4ufigkeit, Sicherheitsmerkmale, Design\xFCberpr\xFCfungen und Systeme zu argumentieren, bei denen eine pr\xE4zise Spezifikation fr\xFChzeitig Fehler aufdeckt."
+      longDescription: "TLA+ beschreibt Systeme als mathematische Zustands\xFCberg\xE4nge mit Aktionen, Invarianten, zeitlichen Formeln, Modulen und auf Refinement ausgerichteten Spezifikationen. Werkzeuge wie TLC untersuchen Verhaltensweisen, um Modelle zu \xFCberpr\xFCfen.\n\nEs wird verwendet, um \xFCber verteilte Algorithmen, Protokolle, Nebenl\xE4ufigkeit, Sicherheitsmerkmale, Design\xFCberpr\xFCfungen und Systeme zu argumentieren, bei denen eine pr\xE4zise Spezifikation fr\xFChzeitig Fehler a\uFDECkt."
     },
     pt: {
       name: "TLA+",
@@ -9241,7 +9841,7 @@ var toml = {
     es: {
       name: "TOML",
       description: "Un formato de configuracion minimo y legible que mapea claramente a estructuras de datos.",
-      longDescription: "TOML es un formato de archivos de configuracion disenado para ser facil de leer y escribir por humanos mientras mapea sin ambiguedad a estructuras de datos como tablas hash. Soporta pares clave-valor, tablas, arreglos, strings, numeros, booleanos y valores de fecha y hora.\n\nSe usa en configuracion de proyectos, manifiestos de paquetes, ajustes de build, configuracion de herramientas, metadata de infraestructura y aplicaciones que necesitan datos estructurados concisos sin el ruido visual de formatos mas verbosos."
+      longDescription: "TOML es un formato de archivos de configuracion disenado para ser facil de leer y escribir por humanos mientras mapea sin ambig\uEDAD a estructuras de datos como tablas hash. Soporta pares clave-valor, tablas, arreglos, strings, numeros, booleanos y valores de fecha y hora.\n\nSe usa en configuracion de proyectos, manifiestos de paquetes, ajustes de build, configuracion de herramientas, metadata de infraestructura y aplicaciones que necesitan datos estructurados concisos sin el ruido visual de formatos mas verbosos."
     },
     it: {
       name: "TOML",