code-languages 1.32.1 → 1.33.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +17 -7
- package/dist/api.cjs +1030 -8
- package/dist/api.d.cts +1 -1
- package/dist/api.d.ts +1 -1
- package/dist/api.js +1030 -8
- package/dist/detect-slugs.cjs +10 -0
- package/dist/detect-slugs.d.cts +1 -1
- package/dist/detect-slugs.d.ts +1 -1
- package/dist/detect-slugs.js +10 -0
- package/dist/detect.cjs +910 -8
- package/dist/detect.js +910 -8
- package/dist/index.cjs +1040 -8
- package/dist/index.d.cts +996 -124
- package/dist/index.d.ts +996 -124
- package/dist/index.js +1041 -9
- package/dist/{language-registry-BWMgasX6.d.cts → language-registry-CAI9lyyx.d.cts} +30 -0
- package/dist/{language-registry-BWMgasX6.d.ts → language-registry-CAI9lyyx.d.ts} +30 -0
- package/dist/languages/algol.cjs +20 -0
- package/dist/languages/algol.d.cts +20 -0
- package/dist/languages/algol.d.ts +20 -0
- package/dist/languages/algol.js +20 -0
- package/dist/languages/ante.cjs +20 -0
- package/dist/languages/ante.d.cts +20 -0
- package/dist/languages/ante.d.ts +20 -0
- package/dist/languages/ante.js +20 -0
- package/dist/languages/austral.cjs +20 -0
- package/dist/languages/austral.d.cts +20 -0
- package/dist/languages/austral.d.ts +20 -0
- package/dist/languages/austral.js +20 -0
- package/dist/languages/bcpl.cjs +20 -0
- package/dist/languages/bcpl.d.cts +20 -0
- package/dist/languages/bcpl.d.ts +20 -0
- package/dist/languages/bcpl.js +20 -0
- package/dist/languages/bosque.cjs +20 -0
- package/dist/languages/bosque.d.cts +20 -0
- package/dist/languages/bosque.d.ts +20 -0
- package/dist/languages/bosque.js +20 -0
- package/dist/languages/bqn.cjs +20 -0
- package/dist/languages/bqn.d.cts +20 -0
- package/dist/languages/bqn.d.ts +20 -0
- package/dist/languages/bqn.js +20 -0
- package/dist/languages/curry.cjs +20 -0
- package/dist/languages/curry.d.cts +20 -0
- package/dist/languages/curry.d.ts +20 -0
- package/dist/languages/curry.js +20 -0
- package/dist/languages/dafny.cjs +20 -0
- package/dist/languages/dafny.d.cts +20 -0
- package/dist/languages/dafny.d.ts +20 -0
- package/dist/languages/dafny.js +20 -0
- package/dist/languages/eiffel.cjs +1 -1
- package/dist/languages/eiffel.js +1 -1
- package/dist/languages/ejs.cjs +20 -0
- package/dist/languages/ejs.d.cts +20 -0
- package/dist/languages/ejs.d.ts +20 -0
- package/dist/languages/ejs.js +20 -0
- package/dist/languages/factor.cjs +20 -0
- package/dist/languages/factor.d.cts +20 -0
- package/dist/languages/factor.d.ts +20 -0
- package/dist/languages/factor.js +20 -0
- package/dist/languages/freemarker.cjs +20 -0
- package/dist/languages/freemarker.d.cts +20 -0
- package/dist/languages/freemarker.d.ts +20 -0
- package/dist/languages/freemarker.js +20 -0
- package/dist/languages/fstar.cjs +20 -0
- package/dist/languages/fstar.d.cts +20 -0
- package/dist/languages/fstar.d.ts +20 -0
- package/dist/languages/fstar.js +20 -0
- package/dist/languages/hocon.cjs +1 -1
- package/dist/languages/hocon.js +1 -1
- package/dist/languages/io.cjs +20 -0
- package/dist/languages/io.d.cts +20 -0
- package/dist/languages/io.d.ts +20 -0
- package/dist/languages/io.js +20 -0
- package/dist/languages/isabelle.cjs +20 -0
- package/dist/languages/isabelle.d.cts +20 -0
- package/dist/languages/isabelle.d.ts +20 -0
- package/dist/languages/isabelle.js +20 -0
- package/dist/languages/json5.cjs +1 -1
- package/dist/languages/json5.js +1 -1
- package/dist/languages/jsonc.cjs +20 -0
- package/dist/languages/jsonc.d.cts +20 -0
- package/dist/languages/jsonc.d.ts +20 -0
- package/dist/languages/jsonc.js +20 -0
- package/dist/languages/just.cjs +20 -0
- package/dist/languages/just.d.cts +20 -0
- package/dist/languages/just.d.ts +20 -0
- package/dist/languages/just.js +20 -0
- package/dist/languages/kdl.cjs +20 -0
- package/dist/languages/kdl.d.cts +20 -0
- package/dist/languages/kdl.d.ts +20 -0
- package/dist/languages/kdl.js +20 -0
- package/dist/languages/koka.cjs +20 -0
- package/dist/languages/koka.d.cts +20 -0
- package/dist/languages/koka.d.ts +20 -0
- package/dist/languages/koka.js +20 -0
- package/dist/languages/lobster.cjs +52 -0
- package/dist/languages/lobster.d.cts +49 -0
- package/dist/languages/lobster.d.ts +49 -0
- package/dist/languages/lobster.js +50 -0
- package/dist/languages/logo.cjs +52 -0
- package/dist/languages/logo.d.cts +49 -0
- package/dist/languages/logo.d.ts +49 -0
- package/dist/languages/logo.js +50 -0
- package/dist/languages/mercury.cjs +53 -0
- package/dist/languages/mercury.d.cts +50 -0
- package/dist/languages/mercury.d.ts +50 -0
- package/dist/languages/mercury.js +51 -0
- package/dist/languages/modula-2.cjs +52 -0
- package/dist/languages/modula-2.d.cts +49 -0
- package/dist/languages/modula-2.d.ts +49 -0
- package/dist/languages/modula-2.js +50 -0
- package/dist/languages/mustache.cjs +1 -1
- package/dist/languages/mustache.js +1 -1
- package/dist/languages/nunjucks.cjs +1 -1
- package/dist/languages/nunjucks.js +1 -1
- package/dist/languages/nushell.cjs +1 -1
- package/dist/languages/nushell.js +1 -1
- package/dist/languages/oberon.cjs +52 -0
- package/dist/languages/oberon.d.cts +49 -0
- package/dist/languages/oberon.d.ts +49 -0
- package/dist/languages/oberon.js +50 -0
- package/dist/languages/openapi.cjs +20 -0
- package/dist/languages/openapi.d.cts +20 -0
- package/dist/languages/openapi.d.ts +20 -0
- package/dist/languages/openapi.js +20 -0
- package/dist/languages/pl-i.cjs +52 -0
- package/dist/languages/pl-i.d.cts +49 -0
- package/dist/languages/pl-i.d.ts +49 -0
- package/dist/languages/pl-i.js +50 -0
- package/dist/languages/puppet.cjs +20 -0
- package/dist/languages/puppet.d.cts +20 -0
- package/dist/languages/puppet.d.ts +20 -0
- package/dist/languages/puppet.js +20 -0
- package/dist/languages/rebol.cjs +52 -0
- package/dist/languages/rebol.d.cts +49 -0
- package/dist/languages/rebol.d.ts +49 -0
- package/dist/languages/rebol.js +50 -0
- package/dist/languages/red.cjs +52 -0
- package/dist/languages/red.d.cts +49 -0
- package/dist/languages/red.d.ts +49 -0
- package/dist/languages/red.js +50 -0
- package/dist/languages/roc.cjs +53 -0
- package/dist/languages/roc.d.cts +50 -0
- package/dist/languages/roc.d.ts +50 -0
- package/dist/languages/roc.js +51 -0
- package/dist/languages/self.cjs +52 -0
- package/dist/languages/self.d.cts +49 -0
- package/dist/languages/self.d.ts +49 -0
- package/dist/languages/self.js +50 -0
- package/dist/languages/tla-plus.cjs +1 -1
- package/dist/languages/tla-plus.js +1 -1
- package/dist/languages/toml.cjs +1 -1
- package/dist/languages/toml.js +1 -1
- package/package.json +51 -1
|
@@ -24,6 +24,26 @@ declare const factor: {
|
|
|
24
24
|
description: string;
|
|
25
25
|
longDescription: string;
|
|
26
26
|
};
|
|
27
|
+
it: {
|
|
28
|
+
name: string;
|
|
29
|
+
description: string;
|
|
30
|
+
longDescription: string;
|
|
31
|
+
};
|
|
32
|
+
fr: {
|
|
33
|
+
name: string;
|
|
34
|
+
description: string;
|
|
35
|
+
longDescription: string;
|
|
36
|
+
};
|
|
37
|
+
de: {
|
|
38
|
+
name: string;
|
|
39
|
+
description: string;
|
|
40
|
+
longDescription: string;
|
|
41
|
+
};
|
|
42
|
+
pt: {
|
|
43
|
+
name: string;
|
|
44
|
+
description: string;
|
|
45
|
+
longDescription: string;
|
|
46
|
+
};
|
|
27
47
|
};
|
|
28
48
|
};
|
|
29
49
|
|
package/dist/languages/factor.js
CHANGED
|
@@ -24,6 +24,26 @@ var factor = {
|
|
|
24
24
|
name: "Factor",
|
|
25
25
|
description: "Un lenguaje concatenativo basado en pila con imagen interactiva y biblioteca amplia.",
|
|
26
26
|
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."
|
|
27
|
+
},
|
|
28
|
+
it: {
|
|
29
|
+
name: "Factor",
|
|
30
|
+
description: "Linguaggio concatenativo basato su stack con ambiente interattivo e libreria standard ricca.",
|
|
31
|
+
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."
|
|
32
|
+
},
|
|
33
|
+
fr: {
|
|
34
|
+
name: "Factor",
|
|
35
|
+
description: "Langage concat\xE9natif bas\xE9 sur des piles avec un environnement interactif et une biblioth\xE8que standard riche.",
|
|
36
|
+
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."
|
|
37
|
+
},
|
|
38
|
+
de: {
|
|
39
|
+
name: "Factor",
|
|
40
|
+
description: "Ein concatenatives, stapelbasierter Programmiersprache mit interaktiver Benutzeroberfl\xE4che und umfangreicher Standardbibliothek.",
|
|
41
|
+
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."
|
|
42
|
+
},
|
|
43
|
+
pt: {
|
|
44
|
+
name: "Factor",
|
|
45
|
+
description: "Linguagem concatenativa baseada em pilha com ambiente interativo e biblioteca padr\xE3o rica.",
|
|
46
|
+
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."
|
|
27
47
|
}
|
|
28
48
|
}
|
|
29
49
|
};
|
|
@@ -26,6 +26,26 @@ var freemarker = {
|
|
|
26
26
|
name: "FreeMarker",
|
|
27
27
|
description: "Lenguaje de plantillas para la JVM usado para generar HTML, correos, configuracion y otras salidas de texto.",
|
|
28
28
|
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."
|
|
29
|
+
},
|
|
30
|
+
it: {
|
|
31
|
+
name: "FreeMarker",
|
|
32
|
+
description: "Linguaggio di template per JVM utilizzato per generare HTML, email, file di configurazione e altri output testuali.",
|
|
33
|
+
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."
|
|
34
|
+
},
|
|
35
|
+
fr: {
|
|
36
|
+
name: "FreeMarker",
|
|
37
|
+
description: "Langage de mod\xE8le JVM pour g\xE9n\xE9rer du HTML, des emails, des fichiers de configuration et d'autres sorties textuelles.",
|
|
38
|
+
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."
|
|
39
|
+
},
|
|
40
|
+
de: {
|
|
41
|
+
name: "FreeMarker",
|
|
42
|
+
description: "Eine JVM-basierte Template-Sprache zur Generierung von HTML, E-Mails und Konfigurationsdateien.",
|
|
43
|
+
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."
|
|
44
|
+
},
|
|
45
|
+
pt: {
|
|
46
|
+
name: "FreeMarker",
|
|
47
|
+
description: "Linguagem de modelo para JVM usada para gerar HTML, e-mails, arquivos de configura\xE7\xE3o e outros textos.",
|
|
48
|
+
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."
|
|
29
49
|
}
|
|
30
50
|
}
|
|
31
51
|
};
|
|
@@ -24,6 +24,26 @@ declare const freemarker: {
|
|
|
24
24
|
description: string;
|
|
25
25
|
longDescription: string;
|
|
26
26
|
};
|
|
27
|
+
it: {
|
|
28
|
+
name: string;
|
|
29
|
+
description: string;
|
|
30
|
+
longDescription: string;
|
|
31
|
+
};
|
|
32
|
+
fr: {
|
|
33
|
+
name: string;
|
|
34
|
+
description: string;
|
|
35
|
+
longDescription: string;
|
|
36
|
+
};
|
|
37
|
+
de: {
|
|
38
|
+
name: string;
|
|
39
|
+
description: string;
|
|
40
|
+
longDescription: string;
|
|
41
|
+
};
|
|
42
|
+
pt: {
|
|
43
|
+
name: string;
|
|
44
|
+
description: string;
|
|
45
|
+
longDescription: string;
|
|
46
|
+
};
|
|
27
47
|
};
|
|
28
48
|
};
|
|
29
49
|
|
|
@@ -24,6 +24,26 @@ declare const freemarker: {
|
|
|
24
24
|
description: string;
|
|
25
25
|
longDescription: string;
|
|
26
26
|
};
|
|
27
|
+
it: {
|
|
28
|
+
name: string;
|
|
29
|
+
description: string;
|
|
30
|
+
longDescription: string;
|
|
31
|
+
};
|
|
32
|
+
fr: {
|
|
33
|
+
name: string;
|
|
34
|
+
description: string;
|
|
35
|
+
longDescription: string;
|
|
36
|
+
};
|
|
37
|
+
de: {
|
|
38
|
+
name: string;
|
|
39
|
+
description: string;
|
|
40
|
+
longDescription: string;
|
|
41
|
+
};
|
|
42
|
+
pt: {
|
|
43
|
+
name: string;
|
|
44
|
+
description: string;
|
|
45
|
+
longDescription: string;
|
|
46
|
+
};
|
|
27
47
|
};
|
|
28
48
|
};
|
|
29
49
|
|
|
@@ -24,6 +24,26 @@ var freemarker = {
|
|
|
24
24
|
name: "FreeMarker",
|
|
25
25
|
description: "Lenguaje de plantillas para la JVM usado para generar HTML, correos, configuracion y otras salidas de texto.",
|
|
26
26
|
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."
|
|
27
|
+
},
|
|
28
|
+
it: {
|
|
29
|
+
name: "FreeMarker",
|
|
30
|
+
description: "Linguaggio di template per JVM utilizzato per generare HTML, email, file di configurazione e altri output testuali.",
|
|
31
|
+
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."
|
|
32
|
+
},
|
|
33
|
+
fr: {
|
|
34
|
+
name: "FreeMarker",
|
|
35
|
+
description: "Langage de mod\xE8le JVM pour g\xE9n\xE9rer du HTML, des emails, des fichiers de configuration et d'autres sorties textuelles.",
|
|
36
|
+
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."
|
|
37
|
+
},
|
|
38
|
+
de: {
|
|
39
|
+
name: "FreeMarker",
|
|
40
|
+
description: "Eine JVM-basierte Template-Sprache zur Generierung von HTML, E-Mails und Konfigurationsdateien.",
|
|
41
|
+
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."
|
|
42
|
+
},
|
|
43
|
+
pt: {
|
|
44
|
+
name: "FreeMarker",
|
|
45
|
+
description: "Linguagem de modelo para JVM usada para gerar HTML, e-mails, arquivos de configura\xE7\xE3o e outros textos.",
|
|
46
|
+
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."
|
|
27
47
|
}
|
|
28
48
|
}
|
|
29
49
|
};
|
package/dist/languages/fstar.cjs
CHANGED
|
@@ -26,6 +26,26 @@ var fstar = {
|
|
|
26
26
|
name: "F*",
|
|
27
27
|
description: "Lenguaje funcional con tipos dependientes para verificacion de programas, pruebas y extraccion a codigo ejecutable.",
|
|
28
28
|
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."
|
|
29
|
+
},
|
|
30
|
+
it: {
|
|
31
|
+
name: "F*",
|
|
32
|
+
description: "Linguaggio funzionale con tipi dipendenti per la verifica del codice e dimostrazioni.",
|
|
33
|
+
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."
|
|
34
|
+
},
|
|
35
|
+
fr: {
|
|
36
|
+
name: "F*",
|
|
37
|
+
description: "Langage fonctionnel de typage d\xE9pendant pour la v\xE9rification, les preuves et l'extraction en code ex\xE9cutable.",
|
|
38
|
+
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."
|
|
39
|
+
},
|
|
40
|
+
de: {
|
|
41
|
+
name: "F*",
|
|
42
|
+
description: "Abh\xE4ngig typisierte funktionale Sprache f\xFCr Programmsicherheit und Code-Generierung.",
|
|
43
|
+
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."
|
|
44
|
+
},
|
|
45
|
+
pt: {
|
|
46
|
+
name: "F*",
|
|
47
|
+
description: "Linguagem funcional com tipos dependentes para verifica\xE7\xE3o de programas e provas.",
|
|
48
|
+
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."
|
|
29
49
|
}
|
|
30
50
|
}
|
|
31
51
|
};
|
|
@@ -24,6 +24,26 @@ declare const fstar: {
|
|
|
24
24
|
description: string;
|
|
25
25
|
longDescription: string;
|
|
26
26
|
};
|
|
27
|
+
it: {
|
|
28
|
+
name: string;
|
|
29
|
+
description: string;
|
|
30
|
+
longDescription: string;
|
|
31
|
+
};
|
|
32
|
+
fr: {
|
|
33
|
+
name: string;
|
|
34
|
+
description: string;
|
|
35
|
+
longDescription: string;
|
|
36
|
+
};
|
|
37
|
+
de: {
|
|
38
|
+
name: string;
|
|
39
|
+
description: string;
|
|
40
|
+
longDescription: string;
|
|
41
|
+
};
|
|
42
|
+
pt: {
|
|
43
|
+
name: string;
|
|
44
|
+
description: string;
|
|
45
|
+
longDescription: string;
|
|
46
|
+
};
|
|
27
47
|
};
|
|
28
48
|
};
|
|
29
49
|
|
|
@@ -24,6 +24,26 @@ declare const fstar: {
|
|
|
24
24
|
description: string;
|
|
25
25
|
longDescription: string;
|
|
26
26
|
};
|
|
27
|
+
it: {
|
|
28
|
+
name: string;
|
|
29
|
+
description: string;
|
|
30
|
+
longDescription: string;
|
|
31
|
+
};
|
|
32
|
+
fr: {
|
|
33
|
+
name: string;
|
|
34
|
+
description: string;
|
|
35
|
+
longDescription: string;
|
|
36
|
+
};
|
|
37
|
+
de: {
|
|
38
|
+
name: string;
|
|
39
|
+
description: string;
|
|
40
|
+
longDescription: string;
|
|
41
|
+
};
|
|
42
|
+
pt: {
|
|
43
|
+
name: string;
|
|
44
|
+
description: string;
|
|
45
|
+
longDescription: string;
|
|
46
|
+
};
|
|
27
47
|
};
|
|
28
48
|
};
|
|
29
49
|
|
package/dist/languages/fstar.js
CHANGED
|
@@ -24,6 +24,26 @@ var fstar = {
|
|
|
24
24
|
name: "F*",
|
|
25
25
|
description: "Lenguaje funcional con tipos dependientes para verificacion de programas, pruebas y extraccion a codigo ejecutable.",
|
|
26
26
|
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."
|
|
27
|
+
},
|
|
28
|
+
it: {
|
|
29
|
+
name: "F*",
|
|
30
|
+
description: "Linguaggio funzionale con tipi dipendenti per la verifica del codice e dimostrazioni.",
|
|
31
|
+
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."
|
|
32
|
+
},
|
|
33
|
+
fr: {
|
|
34
|
+
name: "F*",
|
|
35
|
+
description: "Langage fonctionnel de typage d\xE9pendant pour la v\xE9rification, les preuves et l'extraction en code ex\xE9cutable.",
|
|
36
|
+
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."
|
|
37
|
+
},
|
|
38
|
+
de: {
|
|
39
|
+
name: "F*",
|
|
40
|
+
description: "Abh\xE4ngig typisierte funktionale Sprache f\xFCr Programmsicherheit und Code-Generierung.",
|
|
41
|
+
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."
|
|
42
|
+
},
|
|
43
|
+
pt: {
|
|
44
|
+
name: "F*",
|
|
45
|
+
description: "Linguagem funcional com tipos dependentes para verifica\xE7\xE3o de programas e provas.",
|
|
46
|
+
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."
|
|
27
47
|
}
|
|
28
48
|
}
|
|
29
49
|
};
|
package/dist/languages/hocon.cjs
CHANGED
|
@@ -12,7 +12,7 @@ var hocon = {
|
|
|
12
12
|
ecosystems: ["JVM", "Scala", "Akka", "Play Framework", "Configuration"]
|
|
13
13
|
},
|
|
14
14
|
version: "1.4.3",
|
|
15
|
-
logo: "https://
|
|
15
|
+
logo: "https://dummyimage.com/32x32/F26822/ffffff.png&text=HC",
|
|
16
16
|
color: "#F26822",
|
|
17
17
|
i18n: {
|
|
18
18
|
en: {
|
package/dist/languages/hocon.js
CHANGED
|
@@ -10,7 +10,7 @@ var hocon = {
|
|
|
10
10
|
ecosystems: ["JVM", "Scala", "Akka", "Play Framework", "Configuration"]
|
|
11
11
|
},
|
|
12
12
|
version: "1.4.3",
|
|
13
|
-
logo: "https://
|
|
13
|
+
logo: "https://dummyimage.com/32x32/F26822/ffffff.png&text=HC",
|
|
14
14
|
color: "#F26822",
|
|
15
15
|
i18n: {
|
|
16
16
|
en: {
|
package/dist/languages/io.cjs
CHANGED
|
@@ -25,6 +25,26 @@ var io = {
|
|
|
25
25
|
name: "Io",
|
|
26
26
|
description: "Un lenguaje pequeno basado en prototipos, paso de mensajes y sintaxis minima.",
|
|
27
27
|
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."
|
|
28
|
+
},
|
|
29
|
+
it: {
|
|
30
|
+
name: "Io",
|
|
31
|
+
description: "Un piccolo linguaggio basato su prototipi focalizzato sulla comunicazione tramite messaggi e una sintassi minima.",
|
|
32
|
+
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."
|
|
33
|
+
},
|
|
34
|
+
fr: {
|
|
35
|
+
name: "Io",
|
|
36
|
+
description: "Un petit langage bas\xE9 sur les prototypes, ax\xE9 sur le passage de messages et une syntaxe minimale.",
|
|
37
|
+
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."
|
|
38
|
+
},
|
|
39
|
+
de: {
|
|
40
|
+
name: "Io",
|
|
41
|
+
description: "Eine kleine, prototypenbasiert basierte Sprache mit Fokus auf Nachrichten\xFCbermittlung und minimaler Syntax.",
|
|
42
|
+
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."
|
|
43
|
+
},
|
|
44
|
+
pt: {
|
|
45
|
+
name: "Io",
|
|
46
|
+
description: "Uma linguagem de prot\xF3tipos pequena focada em passagem de mensagens e sintaxe m\xEDnima.",
|
|
47
|
+
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."
|
|
28
48
|
}
|
|
29
49
|
}
|
|
30
50
|
};
|
package/dist/languages/io.d.cts
CHANGED
|
@@ -23,6 +23,26 @@ declare const io: {
|
|
|
23
23
|
description: string;
|
|
24
24
|
longDescription: string;
|
|
25
25
|
};
|
|
26
|
+
it: {
|
|
27
|
+
name: string;
|
|
28
|
+
description: string;
|
|
29
|
+
longDescription: string;
|
|
30
|
+
};
|
|
31
|
+
fr: {
|
|
32
|
+
name: string;
|
|
33
|
+
description: string;
|
|
34
|
+
longDescription: string;
|
|
35
|
+
};
|
|
36
|
+
de: {
|
|
37
|
+
name: string;
|
|
38
|
+
description: string;
|
|
39
|
+
longDescription: string;
|
|
40
|
+
};
|
|
41
|
+
pt: {
|
|
42
|
+
name: string;
|
|
43
|
+
description: string;
|
|
44
|
+
longDescription: string;
|
|
45
|
+
};
|
|
26
46
|
};
|
|
27
47
|
};
|
|
28
48
|
|
package/dist/languages/io.d.ts
CHANGED
|
@@ -23,6 +23,26 @@ declare const io: {
|
|
|
23
23
|
description: string;
|
|
24
24
|
longDescription: string;
|
|
25
25
|
};
|
|
26
|
+
it: {
|
|
27
|
+
name: string;
|
|
28
|
+
description: string;
|
|
29
|
+
longDescription: string;
|
|
30
|
+
};
|
|
31
|
+
fr: {
|
|
32
|
+
name: string;
|
|
33
|
+
description: string;
|
|
34
|
+
longDescription: string;
|
|
35
|
+
};
|
|
36
|
+
de: {
|
|
37
|
+
name: string;
|
|
38
|
+
description: string;
|
|
39
|
+
longDescription: string;
|
|
40
|
+
};
|
|
41
|
+
pt: {
|
|
42
|
+
name: string;
|
|
43
|
+
description: string;
|
|
44
|
+
longDescription: string;
|
|
45
|
+
};
|
|
26
46
|
};
|
|
27
47
|
};
|
|
28
48
|
|
package/dist/languages/io.js
CHANGED
|
@@ -23,6 +23,26 @@ var io = {
|
|
|
23
23
|
name: "Io",
|
|
24
24
|
description: "Un lenguaje pequeno basado en prototipos, paso de mensajes y sintaxis minima.",
|
|
25
25
|
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."
|
|
26
|
+
},
|
|
27
|
+
it: {
|
|
28
|
+
name: "Io",
|
|
29
|
+
description: "Un piccolo linguaggio basato su prototipi focalizzato sulla comunicazione tramite messaggi e una sintassi minima.",
|
|
30
|
+
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."
|
|
31
|
+
},
|
|
32
|
+
fr: {
|
|
33
|
+
name: "Io",
|
|
34
|
+
description: "Un petit langage bas\xE9 sur les prototypes, ax\xE9 sur le passage de messages et une syntaxe minimale.",
|
|
35
|
+
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."
|
|
36
|
+
},
|
|
37
|
+
de: {
|
|
38
|
+
name: "Io",
|
|
39
|
+
description: "Eine kleine, prototypenbasiert basierte Sprache mit Fokus auf Nachrichten\xFCbermittlung und minimaler Syntax.",
|
|
40
|
+
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."
|
|
41
|
+
},
|
|
42
|
+
pt: {
|
|
43
|
+
name: "Io",
|
|
44
|
+
description: "Uma linguagem de prot\xF3tipos pequena focada em passagem de mensagens e sintaxe m\xEDnima.",
|
|
45
|
+
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."
|
|
26
46
|
}
|
|
27
47
|
}
|
|
28
48
|
};
|
|
@@ -25,6 +25,26 @@ var isabelle = {
|
|
|
25
25
|
name: "Isabelle",
|
|
26
26
|
description: "Asistente de pruebas y lenguaje de teorias para matematica, logica y verificacion formal comprobadas por maquina.",
|
|
27
27
|
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."
|
|
28
|
+
},
|
|
29
|
+
it: {
|
|
30
|
+
name: "Isabelle",
|
|
31
|
+
description: "Un assistente di dimostrazione e linguaggio teorico per la matematica controllata, la logica e la verifica formale.",
|
|
32
|
+
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."
|
|
33
|
+
},
|
|
34
|
+
fr: {
|
|
35
|
+
name: "Isabelle",
|
|
36
|
+
description: "Assistant de preuve et langage th\xE9orique pour les math\xE9matiques, la logique et la v\xE9rification formelle automatis\xE9es.",
|
|
37
|
+
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."
|
|
38
|
+
},
|
|
39
|
+
de: {
|
|
40
|
+
name: "Isabelle",
|
|
41
|
+
description: "Ein Assistent und eine Theorie-Sprache f\xFCr maschinell \xFCberpr\xFCfbare Mathematik, Logik und formale Verifikation.",
|
|
42
|
+
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."
|
|
43
|
+
},
|
|
44
|
+
pt: {
|
|
45
|
+
name: "Isabelle",
|
|
46
|
+
description: "Assistente de prova e linguagem te\xF3rica para matem\xE1tica, l\xF3gica e verifica\xE7\xE3o formal.",
|
|
47
|
+
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."
|
|
28
48
|
}
|
|
29
49
|
}
|
|
30
50
|
};
|
|
@@ -23,6 +23,26 @@ declare const isabelle: {
|
|
|
23
23
|
description: string;
|
|
24
24
|
longDescription: string;
|
|
25
25
|
};
|
|
26
|
+
it: {
|
|
27
|
+
name: string;
|
|
28
|
+
description: string;
|
|
29
|
+
longDescription: string;
|
|
30
|
+
};
|
|
31
|
+
fr: {
|
|
32
|
+
name: string;
|
|
33
|
+
description: string;
|
|
34
|
+
longDescription: string;
|
|
35
|
+
};
|
|
36
|
+
de: {
|
|
37
|
+
name: string;
|
|
38
|
+
description: string;
|
|
39
|
+
longDescription: string;
|
|
40
|
+
};
|
|
41
|
+
pt: {
|
|
42
|
+
name: string;
|
|
43
|
+
description: string;
|
|
44
|
+
longDescription: string;
|
|
45
|
+
};
|
|
26
46
|
};
|
|
27
47
|
};
|
|
28
48
|
|
|
@@ -23,6 +23,26 @@ declare const isabelle: {
|
|
|
23
23
|
description: string;
|
|
24
24
|
longDescription: string;
|
|
25
25
|
};
|
|
26
|
+
it: {
|
|
27
|
+
name: string;
|
|
28
|
+
description: string;
|
|
29
|
+
longDescription: string;
|
|
30
|
+
};
|
|
31
|
+
fr: {
|
|
32
|
+
name: string;
|
|
33
|
+
description: string;
|
|
34
|
+
longDescription: string;
|
|
35
|
+
};
|
|
36
|
+
de: {
|
|
37
|
+
name: string;
|
|
38
|
+
description: string;
|
|
39
|
+
longDescription: string;
|
|
40
|
+
};
|
|
41
|
+
pt: {
|
|
42
|
+
name: string;
|
|
43
|
+
description: string;
|
|
44
|
+
longDescription: string;
|
|
45
|
+
};
|
|
26
46
|
};
|
|
27
47
|
};
|
|
28
48
|
|
|
@@ -23,6 +23,26 @@ var isabelle = {
|
|
|
23
23
|
name: "Isabelle",
|
|
24
24
|
description: "Asistente de pruebas y lenguaje de teorias para matematica, logica y verificacion formal comprobadas por maquina.",
|
|
25
25
|
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."
|
|
26
|
+
},
|
|
27
|
+
it: {
|
|
28
|
+
name: "Isabelle",
|
|
29
|
+
description: "Un assistente di dimostrazione e linguaggio teorico per la matematica controllata, la logica e la verifica formale.",
|
|
30
|
+
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."
|
|
31
|
+
},
|
|
32
|
+
fr: {
|
|
33
|
+
name: "Isabelle",
|
|
34
|
+
description: "Assistant de preuve et langage th\xE9orique pour les math\xE9matiques, la logique et la v\xE9rification formelle automatis\xE9es.",
|
|
35
|
+
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."
|
|
36
|
+
},
|
|
37
|
+
de: {
|
|
38
|
+
name: "Isabelle",
|
|
39
|
+
description: "Ein Assistent und eine Theorie-Sprache f\xFCr maschinell \xFCberpr\xFCfbare Mathematik, Logik und formale Verifikation.",
|
|
40
|
+
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."
|
|
41
|
+
},
|
|
42
|
+
pt: {
|
|
43
|
+
name: "Isabelle",
|
|
44
|
+
description: "Assistente de prova e linguagem te\xF3rica para matem\xE1tica, l\xF3gica e verifica\xE7\xE3o formal.",
|
|
45
|
+
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."
|
|
26
46
|
}
|
|
27
47
|
}
|
|
28
48
|
};
|
package/dist/languages/json5.cjs
CHANGED
package/dist/languages/json5.js
CHANGED
package/dist/languages/jsonc.cjs
CHANGED
|
@@ -25,6 +25,26 @@ var jsonc = {
|
|
|
25
25
|
name: "JSONC",
|
|
26
26
|
description: "Formato de configuracion compatible con JSON que permite comentarios estilo JavaScript y extensiones amigables para editores.",
|
|
27
27
|
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."
|
|
28
|
+
},
|
|
29
|
+
it: {
|
|
30
|
+
name: "JSONC",
|
|
31
|
+
description: "Un formato di configurazione compatibile con JSON che consente commenti nello stile JavaScript e estensioni facoltative per l'editor.",
|
|
32
|
+
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."
|
|
33
|
+
},
|
|
34
|
+
fr: {
|
|
35
|
+
name: "JSONC",
|
|
36
|
+
description: "Format de configuration compatible avec JSON, permettant des commentaires et des extensions conviviales pour l'\xE9diteur.",
|
|
37
|
+
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."
|
|
38
|
+
},
|
|
39
|
+
de: {
|
|
40
|
+
name: "JSONC",
|
|
41
|
+
description: "Ein JSON-kompatibles Konfigurationsformat mit JavaScript-\xE4hnlichen Kommentaren und optionalen, benutzerfreundlichen Erweiterungen.",
|
|
42
|
+
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."
|
|
43
|
+
},
|
|
44
|
+
pt: {
|
|
45
|
+
name: "JSONC",
|
|
46
|
+
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.",
|
|
47
|
+
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."
|
|
28
48
|
}
|
|
29
49
|
}
|
|
30
50
|
};
|
|
@@ -23,6 +23,26 @@ declare const jsonc: {
|
|
|
23
23
|
description: string;
|
|
24
24
|
longDescription: string;
|
|
25
25
|
};
|
|
26
|
+
it: {
|
|
27
|
+
name: string;
|
|
28
|
+
description: string;
|
|
29
|
+
longDescription: string;
|
|
30
|
+
};
|
|
31
|
+
fr: {
|
|
32
|
+
name: string;
|
|
33
|
+
description: string;
|
|
34
|
+
longDescription: string;
|
|
35
|
+
};
|
|
36
|
+
de: {
|
|
37
|
+
name: string;
|
|
38
|
+
description: string;
|
|
39
|
+
longDescription: string;
|
|
40
|
+
};
|
|
41
|
+
pt: {
|
|
42
|
+
name: string;
|
|
43
|
+
description: string;
|
|
44
|
+
longDescription: string;
|
|
45
|
+
};
|
|
26
46
|
};
|
|
27
47
|
};
|
|
28
48
|
|