code-languages 1.29.1 → 1.30.0
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 +11 -1
- package/dist/api.cjs +427 -0
- package/dist/api.d.cts +1 -1
- package/dist/api.d.ts +1 -1
- package/dist/api.js +427 -0
- 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 +307 -0
- package/dist/detect.js +307 -0
- package/dist/index.cjs +437 -0
- package/dist/index.d.cts +278 -1
- package/dist/index.d.ts +278 -1
- package/dist/index.js +438 -1
- package/dist/{language-registry-CehUh46c.d.cts → language-registry-BQKRHyKo.d.cts} +30 -0
- package/dist/{language-registry-CehUh46c.d.ts → language-registry-BQKRHyKo.d.ts} +30 -0
- package/dist/languages/dafny.cjs +33 -0
- package/dist/languages/dafny.d.cts +30 -0
- package/dist/languages/dafny.d.ts +30 -0
- package/dist/languages/dafny.js +31 -0
- package/dist/languages/ejs.cjs +33 -0
- package/dist/languages/ejs.d.cts +30 -0
- package/dist/languages/ejs.d.ts +30 -0
- package/dist/languages/ejs.js +31 -0
- package/dist/languages/freemarker.cjs +33 -0
- package/dist/languages/freemarker.d.cts +30 -0
- package/dist/languages/freemarker.d.ts +30 -0
- package/dist/languages/freemarker.js +31 -0
- package/dist/languages/fstar.cjs +33 -0
- package/dist/languages/fstar.d.cts +30 -0
- package/dist/languages/fstar.d.ts +30 -0
- package/dist/languages/fstar.js +31 -0
- package/dist/languages/isabelle.cjs +32 -0
- package/dist/languages/isabelle.d.cts +29 -0
- package/dist/languages/isabelle.d.ts +29 -0
- package/dist/languages/isabelle.js +30 -0
- package/dist/languages/jsonc.cjs +32 -0
- package/dist/languages/jsonc.d.cts +29 -0
- package/dist/languages/jsonc.d.ts +29 -0
- package/dist/languages/jsonc.js +30 -0
- package/dist/languages/just.cjs +33 -0
- package/dist/languages/just.d.cts +30 -0
- package/dist/languages/just.d.ts +30 -0
- package/dist/languages/just.js +31 -0
- package/dist/languages/kdl.cjs +32 -0
- package/dist/languages/kdl.d.cts +29 -0
- package/dist/languages/kdl.d.ts +29 -0
- package/dist/languages/kdl.js +30 -0
- package/dist/languages/openapi.cjs +33 -0
- package/dist/languages/openapi.d.cts +30 -0
- package/dist/languages/openapi.d.ts +30 -0
- package/dist/languages/openapi.js +31 -0
- package/dist/languages/puppet.cjs +33 -0
- package/dist/languages/puppet.d.cts +30 -0
- package/dist/languages/puppet.d.ts +30 -0
- package/dist/languages/puppet.js +31 -0
- package/package.json +55 -5
package/dist/detect-slugs.cjs
CHANGED
|
@@ -49,10 +49,12 @@ var languageIndex = [
|
|
|
49
49
|
{ slug: "cuda", extensions: [".cu", ".cuh"] },
|
|
50
50
|
{ slug: "cython", extensions: [".pyx", ".pxd", ".pxi"] },
|
|
51
51
|
{ slug: "d", extensions: [".d", ".di"] },
|
|
52
|
+
{ slug: "dafny", extensions: [".dfy"] },
|
|
52
53
|
{ slug: "dart", extensions: [".dart"] },
|
|
53
54
|
{ slug: "dhall", extensions: [".dhall"] },
|
|
54
55
|
{ slug: "dita", extensions: [".dita", ".ditamap", ".ditaval"] },
|
|
55
56
|
{ slug: "dockerfile", extensions: ["Dockerfile", ".dockerfile"] },
|
|
57
|
+
{ slug: "ejs", extensions: [".ejs"] },
|
|
56
58
|
{ slug: "eiffel", extensions: [".e"] },
|
|
57
59
|
{ slug: "earthly", extensions: ["Earthfile"] },
|
|
58
60
|
{ slug: "elixir", extensions: [".ex", ".exs", ".eex", ".leex", ".heex"] },
|
|
@@ -65,12 +67,14 @@ var languageIndex = [
|
|
|
65
67
|
{ slug: "fish", extensions: [".fish"] },
|
|
66
68
|
{ slug: "fennel", extensions: [".fnl"] },
|
|
67
69
|
{ slug: "flux", extensions: [".flux"] },
|
|
70
|
+
{ slug: "freemarker", extensions: [".ftl", ".ftlh", ".ftlx"] },
|
|
68
71
|
{
|
|
69
72
|
slug: "fortran",
|
|
70
73
|
extensions: [".f", ".for", ".ftn", ".f90", ".f95", ".f03", ".f08", ".f18", ".f23"]
|
|
71
74
|
},
|
|
72
75
|
{ slug: "forth", extensions: [".fs", ".fth", ".forth", ".4th"] },
|
|
73
76
|
{ slug: "fsharp", extensions: [".fs", ".fsi", ".fsx", ".fsscript"] },
|
|
77
|
+
{ slug: "fstar", extensions: [".fst", ".fsti"] },
|
|
74
78
|
{ slug: "gdscript", extensions: [".gd"] },
|
|
75
79
|
{ slug: "git", extensions: [".git", ".gitignore", ".gitattributes", ".gitmodules", ".gitkeep"] },
|
|
76
80
|
{ slug: "gleam", extensions: [".gleam"] },
|
|
@@ -96,16 +100,20 @@ var languageIndex = [
|
|
|
96
100
|
{ slug: "hy", extensions: [".hy"] },
|
|
97
101
|
{ slug: "idris", extensions: [".idr", ".lidr", ".ipkg"] },
|
|
98
102
|
{ slug: "ini", extensions: [".ini"] },
|
|
103
|
+
{ slug: "isabelle", extensions: [".thy"] },
|
|
99
104
|
{ slug: "java", extensions: [".java"] },
|
|
100
105
|
{ slug: "javascript", extensions: [".js", ".mjs", ".cjs", ".jsx"] },
|
|
101
106
|
{ slug: "janet", extensions: [".janet", ".jdn"] },
|
|
102
107
|
{ slug: "jinja", extensions: [".jinja", ".jinja2", ".j2"] },
|
|
103
108
|
{ slug: "json", extensions: [".json"] },
|
|
104
109
|
{ slug: "json5", extensions: [".json5"] },
|
|
110
|
+
{ slug: "jsonc", extensions: [".jsonc", ".code-workspace"] },
|
|
105
111
|
{ slug: "jsonnet", extensions: [".jsonnet", ".libsonnet"] },
|
|
106
112
|
{ slug: "jupyter-notebook", extensions: [".ipynb"] },
|
|
107
113
|
{ slug: "julia", extensions: [".jl"] },
|
|
114
|
+
{ slug: "just", extensions: ["justfile", "Justfile", ".just"] },
|
|
108
115
|
{ slug: "kcl", extensions: [".k", ".kcl"] },
|
|
116
|
+
{ slug: "kdl", extensions: [".kdl"] },
|
|
109
117
|
{ slug: "kotlin", extensions: [".kt", ".kts"] },
|
|
110
118
|
{ slug: "lean", extensions: [".lean"] },
|
|
111
119
|
{ slug: "less", extensions: [".less"] },
|
|
@@ -138,6 +146,7 @@ var languageIndex = [
|
|
|
138
146
|
{ slug: "objective-c", extensions: [".m", ".mm"] },
|
|
139
147
|
{ slug: "odin", extensions: [".odin"] },
|
|
140
148
|
{ slug: "opencl", extensions: [".cl", ".clh"] },
|
|
149
|
+
{ slug: "openapi", extensions: [".openapi.json", ".openapi.yaml", ".openapi.yml"] },
|
|
141
150
|
{ slug: "pascal", extensions: [".pas", ".pp", ".inc", ".lpr", ".dpr", ".dfm"] },
|
|
142
151
|
{ slug: "pkl", extensions: [".pkl"] },
|
|
143
152
|
{ slug: "perl", extensions: [".pl", ".pm", ".pod", ".t", ".psgi"] },
|
|
@@ -151,6 +160,7 @@ var languageIndex = [
|
|
|
151
160
|
{ slug: "promql", extensions: [".promql"] },
|
|
152
161
|
{ slug: "protobuf", extensions: [".proto"] },
|
|
153
162
|
{ slug: "pug", extensions: [".pug", ".jade"] },
|
|
163
|
+
{ slug: "puppet", extensions: [".pp", ".epp"] },
|
|
154
164
|
{ slug: "purescript", extensions: [".purs"] },
|
|
155
165
|
{ slug: "python", extensions: [".py", ".pyw"] },
|
|
156
166
|
{ slug: "qml", extensions: [".qml", ".qmltypes", ".qmlproject"] },
|
package/dist/detect-slugs.d.cts
CHANGED
package/dist/detect-slugs.d.ts
CHANGED
package/dist/detect-slugs.js
CHANGED
|
@@ -47,10 +47,12 @@ var languageIndex = [
|
|
|
47
47
|
{ slug: "cuda", extensions: [".cu", ".cuh"] },
|
|
48
48
|
{ slug: "cython", extensions: [".pyx", ".pxd", ".pxi"] },
|
|
49
49
|
{ slug: "d", extensions: [".d", ".di"] },
|
|
50
|
+
{ slug: "dafny", extensions: [".dfy"] },
|
|
50
51
|
{ slug: "dart", extensions: [".dart"] },
|
|
51
52
|
{ slug: "dhall", extensions: [".dhall"] },
|
|
52
53
|
{ slug: "dita", extensions: [".dita", ".ditamap", ".ditaval"] },
|
|
53
54
|
{ slug: "dockerfile", extensions: ["Dockerfile", ".dockerfile"] },
|
|
55
|
+
{ slug: "ejs", extensions: [".ejs"] },
|
|
54
56
|
{ slug: "eiffel", extensions: [".e"] },
|
|
55
57
|
{ slug: "earthly", extensions: ["Earthfile"] },
|
|
56
58
|
{ slug: "elixir", extensions: [".ex", ".exs", ".eex", ".leex", ".heex"] },
|
|
@@ -63,12 +65,14 @@ var languageIndex = [
|
|
|
63
65
|
{ slug: "fish", extensions: [".fish"] },
|
|
64
66
|
{ slug: "fennel", extensions: [".fnl"] },
|
|
65
67
|
{ slug: "flux", extensions: [".flux"] },
|
|
68
|
+
{ slug: "freemarker", extensions: [".ftl", ".ftlh", ".ftlx"] },
|
|
66
69
|
{
|
|
67
70
|
slug: "fortran",
|
|
68
71
|
extensions: [".f", ".for", ".ftn", ".f90", ".f95", ".f03", ".f08", ".f18", ".f23"]
|
|
69
72
|
},
|
|
70
73
|
{ slug: "forth", extensions: [".fs", ".fth", ".forth", ".4th"] },
|
|
71
74
|
{ slug: "fsharp", extensions: [".fs", ".fsi", ".fsx", ".fsscript"] },
|
|
75
|
+
{ slug: "fstar", extensions: [".fst", ".fsti"] },
|
|
72
76
|
{ slug: "gdscript", extensions: [".gd"] },
|
|
73
77
|
{ slug: "git", extensions: [".git", ".gitignore", ".gitattributes", ".gitmodules", ".gitkeep"] },
|
|
74
78
|
{ slug: "gleam", extensions: [".gleam"] },
|
|
@@ -94,16 +98,20 @@ var languageIndex = [
|
|
|
94
98
|
{ slug: "hy", extensions: [".hy"] },
|
|
95
99
|
{ slug: "idris", extensions: [".idr", ".lidr", ".ipkg"] },
|
|
96
100
|
{ slug: "ini", extensions: [".ini"] },
|
|
101
|
+
{ slug: "isabelle", extensions: [".thy"] },
|
|
97
102
|
{ slug: "java", extensions: [".java"] },
|
|
98
103
|
{ slug: "javascript", extensions: [".js", ".mjs", ".cjs", ".jsx"] },
|
|
99
104
|
{ slug: "janet", extensions: [".janet", ".jdn"] },
|
|
100
105
|
{ slug: "jinja", extensions: [".jinja", ".jinja2", ".j2"] },
|
|
101
106
|
{ slug: "json", extensions: [".json"] },
|
|
102
107
|
{ slug: "json5", extensions: [".json5"] },
|
|
108
|
+
{ slug: "jsonc", extensions: [".jsonc", ".code-workspace"] },
|
|
103
109
|
{ slug: "jsonnet", extensions: [".jsonnet", ".libsonnet"] },
|
|
104
110
|
{ slug: "jupyter-notebook", extensions: [".ipynb"] },
|
|
105
111
|
{ slug: "julia", extensions: [".jl"] },
|
|
112
|
+
{ slug: "just", extensions: ["justfile", "Justfile", ".just"] },
|
|
106
113
|
{ slug: "kcl", extensions: [".k", ".kcl"] },
|
|
114
|
+
{ slug: "kdl", extensions: [".kdl"] },
|
|
107
115
|
{ slug: "kotlin", extensions: [".kt", ".kts"] },
|
|
108
116
|
{ slug: "lean", extensions: [".lean"] },
|
|
109
117
|
{ slug: "less", extensions: [".less"] },
|
|
@@ -136,6 +144,7 @@ var languageIndex = [
|
|
|
136
144
|
{ slug: "objective-c", extensions: [".m", ".mm"] },
|
|
137
145
|
{ slug: "odin", extensions: [".odin"] },
|
|
138
146
|
{ slug: "opencl", extensions: [".cl", ".clh"] },
|
|
147
|
+
{ slug: "openapi", extensions: [".openapi.json", ".openapi.yaml", ".openapi.yml"] },
|
|
139
148
|
{ slug: "pascal", extensions: [".pas", ".pp", ".inc", ".lpr", ".dpr", ".dfm"] },
|
|
140
149
|
{ slug: "pkl", extensions: [".pkl"] },
|
|
141
150
|
{ slug: "perl", extensions: [".pl", ".pm", ".pod", ".t", ".psgi"] },
|
|
@@ -149,6 +158,7 @@ var languageIndex = [
|
|
|
149
158
|
{ slug: "promql", extensions: [".promql"] },
|
|
150
159
|
{ slug: "protobuf", extensions: [".proto"] },
|
|
151
160
|
{ slug: "pug", extensions: [".pug", ".jade"] },
|
|
161
|
+
{ slug: "puppet", extensions: [".pp", ".epp"] },
|
|
152
162
|
{ slug: "purescript", extensions: [".purs"] },
|
|
153
163
|
{ slug: "python", extensions: [".py", ".pyw"] },
|
|
154
164
|
{ slug: "qml", extensions: [".qml", ".qmltypes", ".qmlproject"] },
|
package/dist/detect.cjs
CHANGED
|
@@ -2036,6 +2036,36 @@ var d = {
|
|
|
2036
2036
|
}
|
|
2037
2037
|
};
|
|
2038
2038
|
|
|
2039
|
+
// src/languages/dafny.ts
|
|
2040
|
+
var dafny = {
|
|
2041
|
+
slug: "dafny",
|
|
2042
|
+
publishedDate: "2009-01-01",
|
|
2043
|
+
extensions: [".dfy"],
|
|
2044
|
+
author: "K. Rustan M. Leino / Microsoft Research",
|
|
2045
|
+
website: "https://dafny.org",
|
|
2046
|
+
paradigms: ["imperative", "functional", "object-oriented", "formal verification"],
|
|
2047
|
+
tooling: {
|
|
2048
|
+
runtimes: [".NET", "Java", "JavaScript", "Go", "Python"],
|
|
2049
|
+
packageManagers: ["NuGet", "Homebrew"],
|
|
2050
|
+
ecosystems: ["Formal Methods", ".NET", "Verification"]
|
|
2051
|
+
},
|
|
2052
|
+
version: "4.11.0",
|
|
2053
|
+
logo: "https://dummyimage.com/32x32/0B6D91/ffffff.png&text=D",
|
|
2054
|
+
color: "#0B6D91",
|
|
2055
|
+
i18n: {
|
|
2056
|
+
en: {
|
|
2057
|
+
name: "Dafny",
|
|
2058
|
+
description: "A verification-aware programming language with specifications, proofs, and compilation to several mainstream targets.",
|
|
2059
|
+
longDescription: "Dafny is a programming language and verifier designed for writing correct-by-construction software. Programs can include preconditions, postconditions, invariants, termination metrics, and assertions that are checked by an automated verifier.\n\nIt combines imperative, functional, and object-oriented features with formal specification syntax. Dafny code can be compiled to targets such as C#, Java, JavaScript, Go, and Python, making it useful for teaching, research, and high-assurance software components."
|
|
2060
|
+
},
|
|
2061
|
+
es: {
|
|
2062
|
+
name: "Dafny",
|
|
2063
|
+
description: "Lenguaje de programacion orientado a verificacion, con especificaciones, pruebas y compilacion a varios destinos comunes.",
|
|
2064
|
+
longDescription: "Dafny es un lenguaje de programacion y verificador pensado para escribir software correcto por construccion. Los programas pueden incluir precondiciones, postcondiciones, invariantes, metricas de terminacion y aserciones que revisa un verificador automatico.\n\nCombina rasgos imperativos, funcionales y orientados a objetos con sintaxis de especificacion formal. El codigo Dafny puede compilarse a destinos como C#, Java, JavaScript, Go y Python."
|
|
2065
|
+
}
|
|
2066
|
+
}
|
|
2067
|
+
};
|
|
2068
|
+
|
|
2039
2069
|
// src/languages/dart.ts
|
|
2040
2070
|
var dart = {
|
|
2041
2071
|
slug: "dart",
|
|
@@ -2335,6 +2365,36 @@ var eiffel = {
|
|
|
2335
2365
|
}
|
|
2336
2366
|
};
|
|
2337
2367
|
|
|
2368
|
+
// src/languages/ejs.ts
|
|
2369
|
+
var ejs = {
|
|
2370
|
+
slug: "ejs",
|
|
2371
|
+
publishedDate: "2011-02-01",
|
|
2372
|
+
extensions: [".ejs"],
|
|
2373
|
+
author: "Matthew Eernisse",
|
|
2374
|
+
website: "https://ejs.co",
|
|
2375
|
+
paradigms: ["template", "embedded", "imperative"],
|
|
2376
|
+
tooling: {
|
|
2377
|
+
runtimes: ["Node.js", "Browser"],
|
|
2378
|
+
packageManagers: ["npm", "pnpm", "Yarn"],
|
|
2379
|
+
ecosystems: ["JavaScript", "Web", "Express"]
|
|
2380
|
+
},
|
|
2381
|
+
version: "3.1.10",
|
|
2382
|
+
logo: "https://cdn.simpleicons.org/ejs/B4CA65",
|
|
2383
|
+
color: "#B4CA65",
|
|
2384
|
+
i18n: {
|
|
2385
|
+
en: {
|
|
2386
|
+
name: "EJS",
|
|
2387
|
+
description: "An embedded JavaScript templating language for generating HTML and text from familiar JavaScript expressions.",
|
|
2388
|
+
longDescription: "EJS, short for Embedded JavaScript, is a templating language that lets developers generate markup with ordinary JavaScript control flow and interpolation. Templates are commonly used to render server-side HTML in Node.js applications.\n\nIt is intentionally small and direct: template files mix literal output with tags for evaluation, escaped output, and unescaped output. EJS is popular in Express applications, documentation generators, and simple build workflows."
|
|
2389
|
+
},
|
|
2390
|
+
es: {
|
|
2391
|
+
name: "EJS",
|
|
2392
|
+
description: "Lenguaje de plantillas con JavaScript embebido para generar HTML y texto usando expresiones familiares.",
|
|
2393
|
+
longDescription: "EJS, abreviatura de Embedded JavaScript, es un lenguaje de plantillas que permite generar marcado con interpolacion y control de flujo de JavaScript. Se usa con frecuencia para renderizar HTML del lado del servidor en aplicaciones Node.js.\n\nEs pequeno y directo: los archivos mezclan salida literal con etiquetas para evaluacion, salida escapada y salida sin escapar. EJS es comun en aplicaciones Express, generadores de documentacion y flujos de build simples."
|
|
2394
|
+
}
|
|
2395
|
+
}
|
|
2396
|
+
};
|
|
2397
|
+
|
|
2338
2398
|
// src/languages/elixir.ts
|
|
2339
2399
|
var elixir = {
|
|
2340
2400
|
slug: "elixir",
|
|
@@ -2783,6 +2843,36 @@ var fortran = {
|
|
|
2783
2843
|
}
|
|
2784
2844
|
};
|
|
2785
2845
|
|
|
2846
|
+
// src/languages/freemarker.ts
|
|
2847
|
+
var freemarker = {
|
|
2848
|
+
slug: "freemarker",
|
|
2849
|
+
publishedDate: "1999-01-01",
|
|
2850
|
+
extensions: [".ftl", ".ftlh", ".ftlx"],
|
|
2851
|
+
author: "Apache Software Foundation",
|
|
2852
|
+
website: "https://freemarker.apache.org",
|
|
2853
|
+
paradigms: ["template", "declarative"],
|
|
2854
|
+
tooling: {
|
|
2855
|
+
runtimes: ["JVM"],
|
|
2856
|
+
packageManagers: ["Maven", "Gradle"],
|
|
2857
|
+
ecosystems: ["Java", "Web", "Apache"]
|
|
2858
|
+
},
|
|
2859
|
+
version: "2.3.34",
|
|
2860
|
+
logo: "https://dummyimage.com/32x32/326CE5/ffffff.png&text=FM",
|
|
2861
|
+
color: "#326CE5",
|
|
2862
|
+
i18n: {
|
|
2863
|
+
en: {
|
|
2864
|
+
name: "FreeMarker",
|
|
2865
|
+
description: "A JVM template language used to generate HTML, emails, configuration files, and other text output.",
|
|
2866
|
+
longDescription: "Apache FreeMarker is a template engine and template language for Java applications. It separates presentation text from application code and can generate HTML pages, emails, source files, configuration files, and other structured text.\n\nFreeMarker templates use expressions, directives, macros, includes, and data-model access rather than embedding Java code directly. It is common in server-side Java web applications and code generation workflows."
|
|
2867
|
+
},
|
|
2868
|
+
es: {
|
|
2869
|
+
name: "FreeMarker",
|
|
2870
|
+
description: "Lenguaje de plantillas para la JVM usado para generar HTML, correos, configuracion y otras salidas de texto.",
|
|
2871
|
+
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."
|
|
2872
|
+
}
|
|
2873
|
+
}
|
|
2874
|
+
};
|
|
2875
|
+
|
|
2786
2876
|
// src/languages/fsharp.ts
|
|
2787
2877
|
var fsharp = {
|
|
2788
2878
|
slug: "fsharp",
|
|
@@ -2833,6 +2923,36 @@ var fsharp = {
|
|
|
2833
2923
|
}
|
|
2834
2924
|
};
|
|
2835
2925
|
|
|
2926
|
+
// src/languages/fstar.ts
|
|
2927
|
+
var fstar = {
|
|
2928
|
+
slug: "fstar",
|
|
2929
|
+
publishedDate: "2011-01-01",
|
|
2930
|
+
extensions: [".fst", ".fsti"],
|
|
2931
|
+
author: "Microsoft Research / INRIA",
|
|
2932
|
+
website: "https://www.fstar-lang.org",
|
|
2933
|
+
paradigms: ["functional", "dependent types", "formal verification"],
|
|
2934
|
+
tooling: {
|
|
2935
|
+
runtimes: ["F* toolchain", "OCaml", "F#", "C"],
|
|
2936
|
+
packageManagers: ["opam", "NuGet"],
|
|
2937
|
+
ecosystems: ["Formal Methods", "ML", "Low-level Verification"]
|
|
2938
|
+
},
|
|
2939
|
+
version: "2026.04.17",
|
|
2940
|
+
logo: "https://dummyimage.com/32x32/572E91/ffffff.png&text=F%2A",
|
|
2941
|
+
color: "#572E91",
|
|
2942
|
+
i18n: {
|
|
2943
|
+
en: {
|
|
2944
|
+
name: "F*",
|
|
2945
|
+
description: "A dependently typed functional language for program verification, proofs, and extraction to executable code.",
|
|
2946
|
+
longDescription: "F* is a verification-oriented functional language with dependent types, refinement types, effects, and proof automation. It is used to specify and verify functional correctness, security properties, and low-level systems code.\n\nPrograms and proofs can be checked by the F* toolchain and extracted to targets such as OCaml, F#, and C through related tooling. The language is used in research and high-assurance projects where executable code and machine-checked proofs need to stay close together."
|
|
2947
|
+
},
|
|
2948
|
+
es: {
|
|
2949
|
+
name: "F*",
|
|
2950
|
+
description: "Lenguaje funcional con tipos dependientes para verificacion de programas, pruebas y extraccion a codigo ejecutable.",
|
|
2951
|
+
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."
|
|
2952
|
+
}
|
|
2953
|
+
}
|
|
2954
|
+
};
|
|
2955
|
+
|
|
2836
2956
|
// src/languages/gdscript.ts
|
|
2837
2957
|
var gdscript = {
|
|
2838
2958
|
slug: "gdscript",
|
|
@@ -3923,6 +4043,35 @@ var ini = {
|
|
|
3923
4043
|
}
|
|
3924
4044
|
};
|
|
3925
4045
|
|
|
4046
|
+
// src/languages/isabelle.ts
|
|
4047
|
+
var isabelle = {
|
|
4048
|
+
slug: "isabelle",
|
|
4049
|
+
publishedDate: "1986-01-01",
|
|
4050
|
+
extensions: [".thy"],
|
|
4051
|
+
author: "Lawrence Paulson / University of Cambridge and TU Munich",
|
|
4052
|
+
website: "https://isabelle.in.tum.de",
|
|
4053
|
+
paradigms: ["theorem proving", "declarative", "functional"],
|
|
4054
|
+
tooling: {
|
|
4055
|
+
runtimes: ["Isabelle/jEdit", "Poly/ML", "Scala"],
|
|
4056
|
+
ecosystems: ["Formal Methods", "Proof Assistants", "Higher-order Logic"]
|
|
4057
|
+
},
|
|
4058
|
+
version: "Isabelle2025-2",
|
|
4059
|
+
logo: "https://dummyimage.com/32x32/6A5ACD/ffffff.png&text=Is",
|
|
4060
|
+
color: "#6A5ACD",
|
|
4061
|
+
i18n: {
|
|
4062
|
+
en: {
|
|
4063
|
+
name: "Isabelle",
|
|
4064
|
+
description: "A proof assistant and theory language for machine-checked mathematics, logic, and formal verification.",
|
|
4065
|
+
longDescription: "Isabelle is a generic proof assistant with a rich theory language used to develop machine-checked mathematics and formal verification projects. Its most common object logic is Isabelle/HOL, a higher-order logic used in many academic and industrial verification efforts.\n\nIsabelle theory files combine definitions, lemmas, structured Isar proofs, automation, and document-oriented markup. The system includes an IDE, libraries, code generation support, and integrations with external automated provers."
|
|
4066
|
+
},
|
|
4067
|
+
es: {
|
|
4068
|
+
name: "Isabelle",
|
|
4069
|
+
description: "Asistente de pruebas y lenguaje de teorias para matematica, logica y verificacion formal comprobadas por maquina.",
|
|
4070
|
+
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."
|
|
4071
|
+
}
|
|
4072
|
+
}
|
|
4073
|
+
};
|
|
4074
|
+
|
|
3926
4075
|
// src/languages/janet.ts
|
|
3927
4076
|
var janet = {
|
|
3928
4077
|
slug: "janet",
|
|
@@ -4218,6 +4367,35 @@ var json5 = {
|
|
|
4218
4367
|
}
|
|
4219
4368
|
};
|
|
4220
4369
|
|
|
4370
|
+
// src/languages/jsonc.ts
|
|
4371
|
+
var jsonc = {
|
|
4372
|
+
slug: "jsonc",
|
|
4373
|
+
publishedDate: "2015-04-29",
|
|
4374
|
+
extensions: [".jsonc", ".code-workspace"],
|
|
4375
|
+
author: "Microsoft",
|
|
4376
|
+
website: "https://jsonc.org",
|
|
4377
|
+
paradigms: ["data serialization", "configuration"],
|
|
4378
|
+
tooling: {
|
|
4379
|
+
runtimes: ["Editors", "Build tools"],
|
|
4380
|
+
ecosystems: ["JavaScript", "TypeScript", "Configuration"]
|
|
4381
|
+
},
|
|
4382
|
+
version: "JSON with Comments",
|
|
4383
|
+
logo: "https://raw.githubusercontent.com/vscode-icons/vscode-icons/master/icons/file_type_json.svg",
|
|
4384
|
+
color: "#F5DE19",
|
|
4385
|
+
i18n: {
|
|
4386
|
+
en: {
|
|
4387
|
+
name: "JSONC",
|
|
4388
|
+
description: "A JSON-compatible configuration format that permits JavaScript-style comments and optional editor-friendly extensions.",
|
|
4389
|
+
longDescription: "JSONC, or JSON with Comments, is a JSON-derived configuration format that allows comments while preserving the familiar JSON data model. It is widely recognized because Visual Studio Code uses it for settings, launch configurations, and workspace files.\n\nThe format is intended for human-maintained configuration rather than data interchange between services. Tooling usually parses JSONC into ordinary JSON-like values after stripping comments and handling the accepted extensions."
|
|
4390
|
+
},
|
|
4391
|
+
es: {
|
|
4392
|
+
name: "JSONC",
|
|
4393
|
+
description: "Formato de configuracion compatible con JSON que permite comentarios estilo JavaScript y extensiones amigables para editores.",
|
|
4394
|
+
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."
|
|
4395
|
+
}
|
|
4396
|
+
}
|
|
4397
|
+
};
|
|
4398
|
+
|
|
4221
4399
|
// src/languages/jsonnet.ts
|
|
4222
4400
|
var jsonnet = {
|
|
4223
4401
|
slug: "jsonnet",
|
|
@@ -4368,6 +4546,36 @@ var jupyterNotebook = {
|
|
|
4368
4546
|
}
|
|
4369
4547
|
};
|
|
4370
4548
|
|
|
4549
|
+
// src/languages/just.ts
|
|
4550
|
+
var just = {
|
|
4551
|
+
slug: "just",
|
|
4552
|
+
publishedDate: "2016-03-13",
|
|
4553
|
+
extensions: ["justfile", "Justfile", ".just"],
|
|
4554
|
+
author: "Casey Rodarmor",
|
|
4555
|
+
website: "https://just.systems",
|
|
4556
|
+
paradigms: ["task automation", "command runner"],
|
|
4557
|
+
tooling: {
|
|
4558
|
+
runtimes: ["just"],
|
|
4559
|
+
packageManagers: ["Cargo", "Homebrew", "Scoop"],
|
|
4560
|
+
ecosystems: ["CLI", "Build Automation", "DevOps"]
|
|
4561
|
+
},
|
|
4562
|
+
version: "1.44.0",
|
|
4563
|
+
logo: "https://raw.githubusercontent.com/vscode-icons/vscode-icons/master/icons/file_type_just.svg",
|
|
4564
|
+
color: "#384D54",
|
|
4565
|
+
i18n: {
|
|
4566
|
+
en: {
|
|
4567
|
+
name: "Just",
|
|
4568
|
+
description: "A command-runner language for project recipes, task automation, and repeatable developer workflows.",
|
|
4569
|
+
longDescription: "Just is a command runner whose justfile syntax defines named recipes for common project tasks. It is often used as a friendlier alternative to ad hoc shell scripts or make targets when dependency graph semantics are not needed.\n\nRecipes can accept parameters, set variables, choose shells, load dotenv files, and compose other recipes. The format is popular for local development workflows, CI helpers, release commands, and cross-platform project automation."
|
|
4570
|
+
},
|
|
4571
|
+
es: {
|
|
4572
|
+
name: "Just",
|
|
4573
|
+
description: "Lenguaje de recetas para ejecutar comandos de proyecto, automatizar tareas y repetir flujos de desarrollo.",
|
|
4574
|
+
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."
|
|
4575
|
+
}
|
|
4576
|
+
}
|
|
4577
|
+
};
|
|
4578
|
+
|
|
4371
4579
|
// src/languages/kcl.ts
|
|
4372
4580
|
var kcl = {
|
|
4373
4581
|
slug: "kcl",
|
|
@@ -4418,6 +4626,35 @@ var kcl = {
|
|
|
4418
4626
|
}
|
|
4419
4627
|
};
|
|
4420
4628
|
|
|
4629
|
+
// src/languages/kdl.ts
|
|
4630
|
+
var kdl = {
|
|
4631
|
+
slug: "kdl",
|
|
4632
|
+
publishedDate: "2021-08-29",
|
|
4633
|
+
extensions: [".kdl"],
|
|
4634
|
+
author: "Kat Marchan and contributors",
|
|
4635
|
+
website: "https://kdl.dev",
|
|
4636
|
+
paradigms: ["configuration", "document language", "data serialization"],
|
|
4637
|
+
tooling: {
|
|
4638
|
+
runtimes: ["Parsers", "CLI tools"],
|
|
4639
|
+
ecosystems: ["Configuration", "Rust", "Structured Documents"]
|
|
4640
|
+
},
|
|
4641
|
+
version: "2.0.0",
|
|
4642
|
+
logo: "https://dummyimage.com/32x32/6B4E9B/ffffff.png&text=KDL",
|
|
4643
|
+
color: "#6B4E9B",
|
|
4644
|
+
i18n: {
|
|
4645
|
+
en: {
|
|
4646
|
+
name: "KDL",
|
|
4647
|
+
description: "A node-based document language for readable configuration, structured data, and tree-shaped documents.",
|
|
4648
|
+
longDescription: "KDL is a document language built around named nodes with arguments, properties, and nested children. Its syntax is designed to be easier to read and edit by hand than many dense data formats while still mapping cleanly to structured data.\n\nIt is used for configuration files, domain-specific documents, and tools that need comments, ordering, and tree-shaped data. The KDL ecosystem includes parsers for multiple languages and a versioned specification."
|
|
4649
|
+
},
|
|
4650
|
+
es: {
|
|
4651
|
+
name: "KDL",
|
|
4652
|
+
description: "Lenguaje documental basado en nodos para configuracion legible, datos estructurados y documentos en forma de arbol.",
|
|
4653
|
+
longDescription: "KDL es un lenguaje documental basado en nodos con argumentos, propiedades e hijos anidados. Su sintaxis busca ser mas facil de leer y editar a mano que muchos formatos densos, sin perder una correspondencia clara con datos estructurados.\n\nSe usa para archivos de configuracion, documentos especificos de dominio y herramientas que necesitan comentarios, orden y datos en forma de arbol."
|
|
4654
|
+
}
|
|
4655
|
+
}
|
|
4656
|
+
};
|
|
4657
|
+
|
|
4421
4658
|
// src/languages/kotlin.ts
|
|
4422
4659
|
var kotlin = {
|
|
4423
4660
|
slug: "kotlin",
|
|
@@ -5906,6 +6143,36 @@ var odin = {
|
|
|
5906
6143
|
}
|
|
5907
6144
|
};
|
|
5908
6145
|
|
|
6146
|
+
// src/languages/openapi.ts
|
|
6147
|
+
var openapi = {
|
|
6148
|
+
slug: "openapi",
|
|
6149
|
+
publishedDate: "2011-08-10",
|
|
6150
|
+
extensions: [".openapi.json", ".openapi.yaml", ".openapi.yml"],
|
|
6151
|
+
author: "OpenAPI Initiative",
|
|
6152
|
+
website: "https://www.openapis.org",
|
|
6153
|
+
paradigms: ["api description", "schema", "declarative"],
|
|
6154
|
+
tooling: {
|
|
6155
|
+
runtimes: ["OpenAPI tooling"],
|
|
6156
|
+
packageManagers: ["npm", "Maven", "Docker"],
|
|
6157
|
+
ecosystems: ["HTTP APIs", "REST", "Documentation"]
|
|
6158
|
+
},
|
|
6159
|
+
version: "3.2.0",
|
|
6160
|
+
logo: "https://cdn.simpleicons.org/openapiinitiative/6BA539",
|
|
6161
|
+
color: "#6BA539",
|
|
6162
|
+
i18n: {
|
|
6163
|
+
en: {
|
|
6164
|
+
name: "OpenAPI",
|
|
6165
|
+
description: "A language-neutral specification format for describing HTTP APIs, schemas, operations, and documentation.",
|
|
6166
|
+
longDescription: "OpenAPI is a specification format for describing HTTP APIs in a machine-readable and human-readable way. OpenAPI documents define paths, operations, parameters, request bodies, responses, authentication, reusable components, and schema information.\n\nThe format is commonly written in YAML or JSON and powers API documentation, client and server generation, contract testing, governance, and design workflows. It originated as Swagger and is now maintained by the OpenAPI Initiative."
|
|
6167
|
+
},
|
|
6168
|
+
es: {
|
|
6169
|
+
name: "OpenAPI",
|
|
6170
|
+
description: "Formato de especificacion neutral al lenguaje para describir APIs HTTP, esquemas, operaciones y documentacion.",
|
|
6171
|
+
longDescription: "OpenAPI es un formato de especificacion para describir APIs HTTP de manera legible para maquinas y personas. Los documentos OpenAPI definen rutas, operaciones, parametros, cuerpos de solicitud, respuestas, autenticacion, componentes reutilizables e informacion de esquemas.\n\nSuele escribirse en YAML o JSON y alimenta documentacion de APIs, generacion de clientes y servidores, pruebas de contrato, gobierno y flujos de diseno."
|
|
6172
|
+
}
|
|
6173
|
+
}
|
|
6174
|
+
};
|
|
6175
|
+
|
|
5909
6176
|
// src/languages/opencl.ts
|
|
5910
6177
|
var opencl = {
|
|
5911
6178
|
slug: "opencl",
|
|
@@ -6602,6 +6869,36 @@ var pug = {
|
|
|
6602
6869
|
}
|
|
6603
6870
|
};
|
|
6604
6871
|
|
|
6872
|
+
// src/languages/puppet.ts
|
|
6873
|
+
var puppet = {
|
|
6874
|
+
slug: "puppet",
|
|
6875
|
+
publishedDate: "2005-01-01",
|
|
6876
|
+
extensions: [".pp", ".epp"],
|
|
6877
|
+
author: "Luke Kanies / Puppet, Inc.",
|
|
6878
|
+
website: "https://www.puppet.com/docs/puppet/latest/lang_summary",
|
|
6879
|
+
paradigms: ["declarative", "configuration management", "infrastructure as code"],
|
|
6880
|
+
tooling: {
|
|
6881
|
+
runtimes: ["Puppet Agent", "Puppet Server"],
|
|
6882
|
+
packageManagers: ["Puppet Forge", "r10k", "Code Manager"],
|
|
6883
|
+
ecosystems: ["DevOps", "Infrastructure as Code", "Configuration Management"]
|
|
6884
|
+
},
|
|
6885
|
+
version: "Puppet 8",
|
|
6886
|
+
logo: "https://cdn.simpleicons.org/puppet/FFAE1A",
|
|
6887
|
+
color: "#FFAE1A",
|
|
6888
|
+
i18n: {
|
|
6889
|
+
en: {
|
|
6890
|
+
name: "Puppet",
|
|
6891
|
+
description: "A declarative infrastructure language for describing system resources, configuration state, and reusable modules.",
|
|
6892
|
+
longDescription: "The Puppet language describes desired infrastructure state using resources, classes, defined types, variables, conditionals, and modules. Puppet agents apply catalogs compiled from this language to converge systems toward the declared configuration.\n\nIt is used for configuration management, compliance, provisioning, and infrastructure automation across servers and services. The language favors declarative resource relationships over imperative shell-style steps."
|
|
6893
|
+
},
|
|
6894
|
+
es: {
|
|
6895
|
+
name: "Puppet",
|
|
6896
|
+
description: "Lenguaje declarativo de infraestructura para describir recursos del sistema, estado de configuracion y modulos reutilizables.",
|
|
6897
|
+
longDescription: "El lenguaje Puppet describe el estado deseado de la infraestructura mediante recursos, clases, tipos definidos, variables, condicionales y modulos. Los agentes Puppet aplican catalogos compilados desde este lenguaje para converger los sistemas hacia la configuracion declarada.\n\nSe usa para gestion de configuracion, cumplimiento, aprovisionamiento y automatizacion de infraestructura en servidores y servicios."
|
|
6898
|
+
}
|
|
6899
|
+
}
|
|
6900
|
+
};
|
|
6901
|
+
|
|
6605
6902
|
// src/languages/purescript.ts
|
|
6606
6903
|
var purescript = {
|
|
6607
6904
|
slug: "purescript",
|
|
@@ -9613,10 +9910,12 @@ var languages = [
|
|
|
9613
9910
|
cuda,
|
|
9614
9911
|
cython,
|
|
9615
9912
|
d,
|
|
9913
|
+
dafny,
|
|
9616
9914
|
dart,
|
|
9617
9915
|
dhall,
|
|
9618
9916
|
dita,
|
|
9619
9917
|
dockerfile,
|
|
9918
|
+
ejs,
|
|
9620
9919
|
eiffel,
|
|
9621
9920
|
earthly,
|
|
9622
9921
|
elixir,
|
|
@@ -9626,9 +9925,11 @@ var languages = [
|
|
|
9626
9925
|
fish,
|
|
9627
9926
|
fennel,
|
|
9628
9927
|
flux,
|
|
9928
|
+
freemarker,
|
|
9629
9929
|
fortran,
|
|
9630
9930
|
forth,
|
|
9631
9931
|
fsharp,
|
|
9932
|
+
fstar,
|
|
9632
9933
|
gdscript,
|
|
9633
9934
|
git,
|
|
9634
9935
|
gleam,
|
|
@@ -9651,16 +9952,20 @@ var languages = [
|
|
|
9651
9952
|
hy,
|
|
9652
9953
|
idris,
|
|
9653
9954
|
ini,
|
|
9955
|
+
isabelle,
|
|
9654
9956
|
java,
|
|
9655
9957
|
javascript,
|
|
9656
9958
|
janet,
|
|
9657
9959
|
jinja,
|
|
9658
9960
|
json,
|
|
9659
9961
|
json5,
|
|
9962
|
+
jsonc,
|
|
9660
9963
|
jsonnet,
|
|
9661
9964
|
jupyterNotebook,
|
|
9662
9965
|
julia,
|
|
9966
|
+
just,
|
|
9663
9967
|
kcl,
|
|
9968
|
+
kdl,
|
|
9664
9969
|
kotlin,
|
|
9665
9970
|
lean,
|
|
9666
9971
|
less,
|
|
@@ -9693,6 +9998,7 @@ var languages = [
|
|
|
9693
9998
|
objectiveC,
|
|
9694
9999
|
odin,
|
|
9695
10000
|
opencl,
|
|
10001
|
+
openapi,
|
|
9696
10002
|
pascal,
|
|
9697
10003
|
pkl,
|
|
9698
10004
|
perl,
|
|
@@ -9706,6 +10012,7 @@ var languages = [
|
|
|
9706
10012
|
promql,
|
|
9707
10013
|
protobuf,
|
|
9708
10014
|
pug,
|
|
10015
|
+
puppet,
|
|
9709
10016
|
purescript,
|
|
9710
10017
|
python,
|
|
9711
10018
|
qml,
|