code-languages 1.32.1 → 1.33.1

package/dist/languages/bosque.d.cts

@@ -23,6 +23,26 @@ declare const bosque: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/bosque.d.ts

@@ -23,6 +23,26 @@ declare const bosque: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/bosque.js

@@ -23,6 +23,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."
     }
   }
 };

package/dist/languages/bqn.cjs

@@ -25,6 +25,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."
     }
   }
 };

package/dist/languages/bqn.d.cts

@@ -23,6 +23,26 @@ declare const bqn: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/bqn.d.ts

@@ -23,6 +23,26 @@ declare const bqn: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/bqn.js

@@ -23,6 +23,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."
     }
   }
 };

package/dist/languages/curry.cjs

@@ -26,6 +26,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."
     }
   }
 };

package/dist/languages/curry.d.cts

@@ -24,6 +24,26 @@ declare const curry: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/curry.d.ts

@@ -24,6 +24,26 @@ declare const curry: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/curry.js

@@ -24,6 +24,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."
     }
   }
 };

package/dist/languages/dafny.cjs

@@ -26,6 +26,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."
     }
   }
 };

package/dist/languages/dafny.d.cts

@@ -24,6 +24,26 @@ declare const dafny: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/dafny.d.ts

@@ -24,6 +24,26 @@ declare const dafny: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/dafny.js

@@ -24,6 +24,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."
     }
   }
 };

package/dist/languages/eiffel.cjs

@@ -14,7 +14,7 @@ var eiffel = {
     ecosystems: ["Enterprise", "Systems"]
   },
   version: "24.05",
-  logo: "https://www.eiffel.org/images/eiffel_logo.png",
+  logo: "https://commons.wikimedia.org/wiki/Special:FilePath/Eiffel_logo.svg",
   color: "#4D6977",
   i18n: {
     en: {

package/dist/languages/eiffel.js

@@ -12,7 +12,7 @@ var eiffel = {
     ecosystems: ["Enterprise", "Systems"]
   },
   version: "24.05",
-  logo: "https://www.eiffel.org/images/eiffel_logo.png",
+  logo: "https://commons.wikimedia.org/wiki/Special:FilePath/Eiffel_logo.svg",
   color: "#4D6977",
   i18n: {
     en: {

package/dist/languages/ejs.cjs

@@ -26,6 +26,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."
     }
   }
 };

package/dist/languages/ejs.d.cts

@@ -24,6 +24,26 @@ declare const ejs: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/ejs.d.ts

@@ -24,6 +24,26 @@ declare const ejs: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/ejs.js

@@ -24,6 +24,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."
     }
   }
 };

package/dist/languages/factor.cjs

@@ -26,6 +26,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."
     }
   }
 };

package/dist/languages/factor.d.cts

@@ -24,6 +24,26 @@ declare const factor: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };