code-languages 1.29.0 → 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.
Files changed (82) hide show
  1. package/README.md +20 -10
  2. package/dist/api.cjs +436 -9
  3. package/dist/api.d.cts +2 -2
  4. package/dist/api.d.ts +2 -2
  5. package/dist/api.js +436 -9
  6. package/dist/detect-slugs.cjs +10 -0
  7. package/dist/detect-slugs.d.cts +1 -1
  8. package/dist/detect-slugs.d.ts +1 -1
  9. package/dist/detect-slugs.js +10 -0
  10. package/dist/detect.cjs +316 -9
  11. package/dist/detect.d.cts +1 -1
  12. package/dist/detect.d.ts +1 -1
  13. package/dist/detect.js +316 -9
  14. package/dist/i18n.d.cts +1 -1
  15. package/dist/i18n.d.ts +1 -1
  16. package/dist/index.cjs +469 -32
  17. package/dist/index.d.cts +302 -25
  18. package/dist/index.d.ts +302 -25
  19. package/dist/index.js +470 -33
  20. package/dist/{language-registry-nVRwyIen.d.cts → language-registry-BQKRHyKo.d.cts} +31 -1
  21. package/dist/{language-registry-nVRwyIen.d.ts → language-registry-BQKRHyKo.d.ts} +31 -1
  22. package/dist/languages/dafny.cjs +33 -0
  23. package/dist/languages/dafny.d.cts +30 -0
  24. package/dist/languages/dafny.d.ts +30 -0
  25. package/dist/languages/dafny.js +31 -0
  26. package/dist/languages/ejs.cjs +33 -0
  27. package/dist/languages/ejs.d.cts +30 -0
  28. package/dist/languages/ejs.d.ts +30 -0
  29. package/dist/languages/ejs.js +31 -0
  30. package/dist/languages/fish.cjs +1 -1
  31. package/dist/languages/fish.js +1 -1
  32. package/dist/languages/flux.cjs +1 -1
  33. package/dist/languages/flux.js +1 -1
  34. package/dist/languages/freemarker.cjs +33 -0
  35. package/dist/languages/freemarker.d.cts +30 -0
  36. package/dist/languages/freemarker.d.ts +30 -0
  37. package/dist/languages/freemarker.js +31 -0
  38. package/dist/languages/fstar.cjs +33 -0
  39. package/dist/languages/fstar.d.cts +30 -0
  40. package/dist/languages/fstar.d.ts +30 -0
  41. package/dist/languages/fstar.js +31 -0
  42. package/dist/languages/grain.cjs +1 -1
  43. package/dist/languages/grain.js +1 -1
  44. package/dist/languages/isabelle.cjs +32 -0
  45. package/dist/languages/isabelle.d.cts +29 -0
  46. package/dist/languages/isabelle.d.ts +29 -0
  47. package/dist/languages/isabelle.js +30 -0
  48. package/dist/languages/jsonc.cjs +32 -0
  49. package/dist/languages/jsonc.d.cts +29 -0
  50. package/dist/languages/jsonc.d.ts +29 -0
  51. package/dist/languages/jsonc.js +30 -0
  52. package/dist/languages/just.cjs +33 -0
  53. package/dist/languages/just.d.cts +30 -0
  54. package/dist/languages/just.d.ts +30 -0
  55. package/dist/languages/just.js +31 -0
  56. package/dist/languages/kcl.cjs +1 -1
  57. package/dist/languages/kcl.js +1 -1
  58. package/dist/languages/kdl.cjs +32 -0
  59. package/dist/languages/kdl.d.cts +29 -0
  60. package/dist/languages/kdl.d.ts +29 -0
  61. package/dist/languages/kdl.js +30 -0
  62. package/dist/languages/nickel.cjs +1 -1
  63. package/dist/languages/nickel.js +1 -1
  64. package/dist/languages/nushell.cjs +1 -1
  65. package/dist/languages/nushell.js +1 -1
  66. package/dist/languages/openapi.cjs +33 -0
  67. package/dist/languages/openapi.d.cts +30 -0
  68. package/dist/languages/openapi.d.ts +30 -0
  69. package/dist/languages/openapi.js +31 -0
  70. package/dist/languages/puppet.cjs +33 -0
  71. package/dist/languages/puppet.d.cts +30 -0
  72. package/dist/languages/puppet.d.ts +30 -0
  73. package/dist/languages/puppet.js +31 -0
  74. package/dist/languages/svelte.cjs +1 -1
  75. package/dist/languages/svelte.js +1 -1
  76. package/dist/languages/twig.cjs +1 -1
  77. package/dist/languages/twig.js +1 -1
  78. package/dist/languages/zsh.cjs +1 -1
  79. package/dist/languages/zsh.js +1 -1
  80. package/dist/{types-DHJuiiUR.d.cts → types-B0_wjl_Q.d.cts} +2 -2
  81. package/dist/{types-DHJuiiUR.d.ts → types-B0_wjl_Q.d.ts} +2 -2
  82. package/package.json +57 -6
@@ -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"] },
@@ -1,4 +1,4 @@
1
- import { L as LanguageSlug } from './language-registry-nVRwyIen.cjs';
1
+ import { L as LanguageSlug } from './language-registry-BQKRHyKo.cjs';
2
2
 
3
3
  interface ProjectLanguageDetection {
4
4
  /** Detected language slug. */
@@ -1,4 +1,4 @@
1
- import { L as LanguageSlug } from './language-registry-nVRwyIen.js';
1
+ import { L as LanguageSlug } from './language-registry-BQKRHyKo.js';
2
2
 
3
3
  interface ProjectLanguageDetection {
4
4
  /** Detected language slug. */
@@ -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",
@@ -2598,7 +2658,7 @@ var fish = {
2598
2658
  packageManagers: ["Fisher", "Oh My Fish"],
2599
2659
  ecosystems: ["Shell", "Unix", "macOS", "Linux"]
2600
2660
  },
2601
- version: "4.0.2",
2661
+ version: "4.7.1",
2602
2662
  logo: "https://fishshell.com/assets/img/Terminal_Logo2_CRT_Flat.png",
2603
2663
  color: "#4AAE21",
2604
2664
  i18n: {
@@ -2647,7 +2707,7 @@ var flux = {
2647
2707
  runtimes: ["InfluxDB", "Flux CLI"],
2648
2708
  ecosystems: ["Time Series", "Monitoring", "Observability", "InfluxDB"]
2649
2709
  },
2650
- version: "0.197.0",
2710
+ version: "0.200.0",
2651
2711
  logo: "https://avatars.githubusercontent.com/u/5713248?v=4",
2652
2712
  color: "#22ADF6",
2653
2713
  i18n: {
@@ -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",
@@ -3145,7 +3265,7 @@ var grain = {
3145
3265
  packageManagers: ["grain (built-in)"],
3146
3266
  ecosystems: ["WebAssembly", "Web", "Server"]
3147
3267
  },
3148
- version: "0.6.5",
3268
+ version: "grain-v0.7.2",
3149
3269
  logo: "https://avatars.githubusercontent.com/u/54953488?v=4",
3150
3270
  color: "#7C4DFF",
3151
3271
  i18n: {
@@ -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",
@@ -4381,7 +4589,7 @@ var kcl = {
4381
4589
  packageManagers: ["kcl mod"],
4382
4590
  ecosystems: ["Configuration", "Kubernetes", "Cloud Native", "Infrastructure as Code"]
4383
4591
  },
4384
- version: "0.11.0",
4592
+ version: "0.11.2",
4385
4593
  logo: "https://avatars.githubusercontent.com/u/121281745?v=4",
4386
4594
  color: "#4A90D9",
4387
4595
  i18n: {
@@ -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",
@@ -5519,7 +5756,7 @@ var nickel = {
5519
5756
  runtimes: ["nickel CLI"],
5520
5757
  ecosystems: ["Configuration", "Infrastructure", "Nix", "DevOps"]
5521
5758
  },
5522
- version: "1.9.1",
5759
+ version: "1.16.0",
5523
5760
  logo: "https://avatars.githubusercontent.com/u/83021462?v=4",
5524
5761
  color: "#3C6EB4",
5525
5762
  i18n: {
@@ -5719,7 +5956,7 @@ var nushell = {
5719
5956
  packageManagers: ["nupm"],
5720
5957
  ecosystems: ["Shell", "Unix", "Windows", "macOS"]
5721
5958
  },
5722
- version: "0.103.0",
5959
+ version: "0.113.1",
5723
5960
  logo: "https://www.nushell.sh/icons/android-chrome-512x512.png",
5724
5961
  color: "#3AA675",
5725
5962
  i18n: {
@@ -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",
@@ -7954,7 +8251,7 @@ var svelte = {
7954
8251
  packageManagers: ["npm", "pnpm", "Yarn", "Bun"],
7955
8252
  ecosystems: ["Web", "SvelteKit", "Vite"]
7956
8253
  },
7957
- version: "5.56.0",
8254
+ version: "5.56.1",
7958
8255
  logo: "https://upload.wikimedia.org/wikipedia/commons/1/1b/Svelte_Logo.svg",
7959
8256
  color: "#FF3E00",
7960
8257
  i18n: {
@@ -8396,7 +8693,7 @@ var twig = {
8396
8693
  packageManagers: ["Composer"],
8397
8694
  ecosystems: ["PHP", "Symfony", "Web", "CMS"]
8398
8695
  },
8399
- version: "3.27.0",
8696
+ version: "3.27.1",
8400
8697
  logo: "https://twig.symfony.com/images/logo.png",
8401
8698
  color: "#A5C53A",
8402
8699
  i18n: {
@@ -9533,7 +9830,7 @@ var zsh = {
9533
9830
  packageManagers: ["Homebrew", "APT", "DNF", "Pacman"],
9534
9831
  ecosystems: ["Unix", "Linux", "macOS", "DevOps"]
9535
9832
  },
9536
- version: "5.9",
9833
+ version: "5.9.1",
9537
9834
  logo: "https://commons.wikimedia.org/wiki/Special:Redirect/file/Z_Shell_Logo_Color_Horizontal.svg",
9538
9835
  color: "#89E051",
9539
9836
  i18n: {
@@ -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,
package/dist/detect.d.cts CHANGED
@@ -1,4 +1,4 @@
1
- import { L as Language } from './types-DHJuiiUR.cjs';
1
+ import { L as Language } from './types-B0_wjl_Q.cjs';
2
2
 
3
3
  /**
4
4
  * Detects all languages that match a filename or path.
package/dist/detect.d.ts CHANGED
@@ -1,4 +1,4 @@
1
- import { L as Language } from './types-DHJuiiUR.js';
1
+ import { L as Language } from './types-B0_wjl_Q.js';
2
2
 
3
3
  /**
4
4
  * Detects all languages that match a filename or path.