code-languages 1.33.0 → 1.33.2

package/dist/languages/freemarker.d.ts

@@ -24,6 +24,26 @@ declare const freemarker: {
             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/freemarker.js

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

package/dist/languages/fstar.cjs

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

package/dist/languages/fstar.d.cts

@@ -24,6 +24,26 @@ declare const fstar: {
             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/fstar.d.ts

@@ -24,6 +24,26 @@ declare const fstar: {
             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/fstar.js

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

package/dist/languages/io.cjs

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

package/dist/languages/io.d.cts

@@ -23,6 +23,26 @@ declare const io: {
             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/io.d.ts

@@ -23,6 +23,26 @@ declare const io: {
             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/io.js

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

package/dist/languages/isabelle.cjs

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

package/dist/languages/isabelle.d.cts

@@ -23,6 +23,26 @@ declare const isabelle: {
             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/isabelle.d.ts

@@ -23,6 +23,26 @@ declare const isabelle: {
             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/isabelle.js

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

package/dist/languages/jsonc.cjs

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

package/dist/languages/jsonc.d.cts

@@ -23,6 +23,26 @@ declare const jsonc: {
             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/jsonc.d.ts

@@ -23,6 +23,26 @@ declare const jsonc: {
             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/jsonc.js

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

package/dist/languages/just.cjs

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

package/dist/languages/just.d.cts

@@ -24,6 +24,26 @@ declare const just: {
             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/just.d.ts

@@ -24,6 +24,26 @@ declare const just: {
             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;
+        };
     };
 };