code-languages 1.20.6 → 1.22.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 (294) hide show
  1. package/README.md +234 -3
  2. package/dist/api.cjs +1923 -4
  3. package/dist/api.cjs.map +1 -1
  4. package/dist/api.d.cts +1353 -124
  5. package/dist/api.d.ts +1353 -124
  6. package/dist/api.js +1923 -4
  7. package/dist/api.js.map +1 -1
  8. package/dist/detect.cjs +1367 -0
  9. package/dist/detect.cjs.map +1 -1
  10. package/dist/detect.js +1367 -0
  11. package/dist/detect.js.map +1 -1
  12. package/dist/index.cjs +2064 -80
  13. package/dist/index.cjs.map +1 -1
  14. package/dist/index.d.cts +1259 -11
  15. package/dist/index.d.ts +1259 -11
  16. package/dist/index.js +1989 -5
  17. package/dist/index.js.map +1 -1
  18. package/dist/languages/agda.cjs +34 -0
  19. package/dist/languages/agda.cjs.map +1 -0
  20. package/dist/languages/agda.d.cts +29 -0
  21. package/dist/languages/agda.d.ts +29 -0
  22. package/dist/languages/agda.js +32 -0
  23. package/dist/languages/agda.js.map +1 -0
  24. package/dist/languages/carbon.cjs +34 -0
  25. package/dist/languages/carbon.cjs.map +1 -0
  26. package/dist/languages/carbon.d.cts +29 -0
  27. package/dist/languages/carbon.d.ts +29 -0
  28. package/dist/languages/carbon.js +32 -0
  29. package/dist/languages/carbon.js.map +1 -0
  30. package/dist/languages/chapel.cjs +34 -0
  31. package/dist/languages/chapel.cjs.map +1 -0
  32. package/dist/languages/chapel.d.cts +29 -0
  33. package/dist/languages/chapel.d.ts +29 -0
  34. package/dist/languages/chapel.js +32 -0
  35. package/dist/languages/chapel.js.map +1 -0
  36. package/dist/languages/circom.cjs +34 -0
  37. package/dist/languages/circom.cjs.map +1 -0
  38. package/dist/languages/circom.d.cts +29 -0
  39. package/dist/languages/circom.d.ts +29 -0
  40. package/dist/languages/circom.js +32 -0
  41. package/dist/languages/circom.js.map +1 -0
  42. package/dist/languages/coq.cjs +34 -0
  43. package/dist/languages/coq.cjs.map +1 -0
  44. package/dist/languages/coq.d.cts +29 -0
  45. package/dist/languages/coq.d.ts +29 -0
  46. package/dist/languages/coq.js +32 -0
  47. package/dist/languages/coq.js.map +1 -0
  48. package/dist/languages/dhall.cjs +34 -0
  49. package/dist/languages/dhall.cjs.map +1 -0
  50. package/dist/languages/dhall.d.cts +29 -0
  51. package/dist/languages/dhall.d.ts +29 -0
  52. package/dist/languages/dhall.js +32 -0
  53. package/dist/languages/dhall.js.map +1 -0
  54. package/dist/languages/dita.cjs +34 -0
  55. package/dist/languages/dita.cjs.map +1 -0
  56. package/dist/languages/dita.d.cts +29 -0
  57. package/dist/languages/dita.d.ts +29 -0
  58. package/dist/languages/dita.js +32 -0
  59. package/dist/languages/dita.js.map +1 -0
  60. package/dist/languages/earthly.cjs +34 -0
  61. package/dist/languages/earthly.cjs.map +1 -0
  62. package/dist/languages/earthly.d.cts +29 -0
  63. package/dist/languages/earthly.d.ts +29 -0
  64. package/dist/languages/earthly.js +32 -0
  65. package/dist/languages/earthly.js.map +1 -0
  66. package/dist/languages/hack.cjs +34 -0
  67. package/dist/languages/hack.cjs.map +1 -0
  68. package/dist/languages/hack.d.cts +29 -0
  69. package/dist/languages/hack.d.ts +29 -0
  70. package/dist/languages/hack.js +32 -0
  71. package/dist/languages/hack.js.map +1 -0
  72. package/dist/languages/haml.cjs +34 -0
  73. package/dist/languages/haml.cjs.map +1 -0
  74. package/dist/languages/haml.d.cts +29 -0
  75. package/dist/languages/haml.d.ts +29 -0
  76. package/dist/languages/haml.js +32 -0
  77. package/dist/languages/haml.js.map +1 -0
  78. package/dist/languages/idris.cjs +34 -0
  79. package/dist/languages/idris.cjs.map +1 -0
  80. package/dist/languages/idris.d.cts +29 -0
  81. package/dist/languages/idris.d.ts +29 -0
  82. package/dist/languages/idris.js +32 -0
  83. package/dist/languages/idris.js.map +1 -0
  84. package/dist/languages/janet.cjs +34 -0
  85. package/dist/languages/janet.cjs.map +1 -0
  86. package/dist/languages/janet.d.cts +29 -0
  87. package/dist/languages/janet.d.ts +29 -0
  88. package/dist/languages/janet.js +32 -0
  89. package/dist/languages/janet.js.map +1 -0
  90. package/dist/languages/lean.cjs +34 -0
  91. package/dist/languages/lean.cjs.map +1 -0
  92. package/dist/languages/lean.d.cts +29 -0
  93. package/dist/languages/lean.d.ts +29 -0
  94. package/dist/languages/lean.js +32 -0
  95. package/dist/languages/lean.js.map +1 -0
  96. package/dist/languages/llvm-ir.cjs +34 -0
  97. package/dist/languages/llvm-ir.cjs.map +1 -0
  98. package/dist/languages/llvm-ir.d.cts +29 -0
  99. package/dist/languages/llvm-ir.d.ts +29 -0
  100. package/dist/languages/llvm-ir.js +32 -0
  101. package/dist/languages/llvm-ir.js.map +1 -0
  102. package/dist/languages/luau.cjs +34 -0
  103. package/dist/languages/luau.cjs.map +1 -0
  104. package/dist/languages/luau.d.cts +29 -0
  105. package/dist/languages/luau.d.ts +29 -0
  106. package/dist/languages/luau.js +32 -0
  107. package/dist/languages/luau.js.map +1 -0
  108. package/dist/languages/mako.cjs +34 -0
  109. package/dist/languages/mako.cjs.map +1 -0
  110. package/dist/languages/mako.d.cts +29 -0
  111. package/dist/languages/mako.d.ts +29 -0
  112. package/dist/languages/mako.js +32 -0
  113. package/dist/languages/mako.js.map +1 -0
  114. package/dist/languages/mathematica.cjs +33 -0
  115. package/dist/languages/mathematica.cjs.map +1 -0
  116. package/dist/languages/mathematica.d.cts +28 -0
  117. package/dist/languages/mathematica.d.ts +28 -0
  118. package/dist/languages/mathematica.js +31 -0
  119. package/dist/languages/mathematica.js.map +1 -0
  120. package/dist/languages/mojo.cjs +34 -0
  121. package/dist/languages/mojo.cjs.map +1 -0
  122. package/dist/languages/mojo.d.cts +29 -0
  123. package/dist/languages/mojo.d.ts +29 -0
  124. package/dist/languages/mojo.js +32 -0
  125. package/dist/languages/mojo.js.map +1 -0
  126. package/dist/languages/moonbit.cjs +34 -0
  127. package/dist/languages/moonbit.cjs.map +1 -0
  128. package/dist/languages/moonbit.d.cts +29 -0
  129. package/dist/languages/moonbit.d.ts +29 -0
  130. package/dist/languages/moonbit.js +32 -0
  131. package/dist/languages/moonbit.js.map +1 -0
  132. package/dist/languages/odin.cjs +34 -0
  133. package/dist/languages/odin.cjs.map +1 -0
  134. package/dist/languages/odin.d.cts +29 -0
  135. package/dist/languages/odin.d.ts +29 -0
  136. package/dist/languages/odin.js +32 -0
  137. package/dist/languages/odin.js.map +1 -0
  138. package/dist/languages/opencl.cjs +33 -0
  139. package/dist/languages/opencl.cjs.map +1 -0
  140. package/dist/languages/opencl.d.cts +28 -0
  141. package/dist/languages/opencl.d.ts +28 -0
  142. package/dist/languages/opencl.js +31 -0
  143. package/dist/languages/opencl.js.map +1 -0
  144. package/dist/languages/pine-script.cjs +33 -0
  145. package/dist/languages/pine-script.cjs.map +1 -0
  146. package/dist/languages/pine-script.d.cts +28 -0
  147. package/dist/languages/pine-script.d.ts +28 -0
  148. package/dist/languages/pine-script.js +31 -0
  149. package/dist/languages/pine-script.js.map +1 -0
  150. package/dist/languages/plsql.cjs +33 -0
  151. package/dist/languages/plsql.cjs.map +1 -0
  152. package/dist/languages/plsql.d.cts +28 -0
  153. package/dist/languages/plsql.d.ts +28 -0
  154. package/dist/languages/plsql.js +31 -0
  155. package/dist/languages/plsql.js.map +1 -0
  156. package/dist/languages/pony.cjs +34 -0
  157. package/dist/languages/pony.cjs.map +1 -0
  158. package/dist/languages/pony.d.cts +29 -0
  159. package/dist/languages/pony.d.ts +29 -0
  160. package/dist/languages/pony.js +32 -0
  161. package/dist/languages/pony.js.map +1 -0
  162. package/dist/languages/promql.cjs +33 -0
  163. package/dist/languages/promql.cjs.map +1 -0
  164. package/dist/languages/promql.d.cts +28 -0
  165. package/dist/languages/promql.d.ts +28 -0
  166. package/dist/languages/promql.js +31 -0
  167. package/dist/languages/promql.js.map +1 -0
  168. package/dist/languages/purescript.cjs +34 -0
  169. package/dist/languages/purescript.cjs.map +1 -0
  170. package/dist/languages/purescript.d.cts +29 -0
  171. package/dist/languages/purescript.d.ts +29 -0
  172. package/dist/languages/purescript.js +32 -0
  173. package/dist/languages/purescript.js.map +1 -0
  174. package/dist/languages/qsharp.cjs +34 -0
  175. package/dist/languages/qsharp.cjs.map +1 -0
  176. package/dist/languages/qsharp.d.cts +29 -0
  177. package/dist/languages/qsharp.d.ts +29 -0
  178. package/dist/languages/qsharp.js +32 -0
  179. package/dist/languages/qsharp.js.map +1 -0
  180. package/dist/languages/raku.cjs +34 -0
  181. package/dist/languages/raku.cjs.map +1 -0
  182. package/dist/languages/raku.d.cts +29 -0
  183. package/dist/languages/raku.d.ts +29 -0
  184. package/dist/languages/raku.js +32 -0
  185. package/dist/languages/raku.js.map +1 -0
  186. package/dist/languages/reasonml.cjs +34 -0
  187. package/dist/languages/reasonml.cjs.map +1 -0
  188. package/dist/languages/reasonml.d.cts +29 -0
  189. package/dist/languages/reasonml.d.ts +29 -0
  190. package/dist/languages/reasonml.js +32 -0
  191. package/dist/languages/reasonml.js.map +1 -0
  192. package/dist/languages/rescript.cjs +34 -0
  193. package/dist/languages/rescript.cjs.map +1 -0
  194. package/dist/languages/rescript.d.cts +29 -0
  195. package/dist/languages/rescript.d.ts +29 -0
  196. package/dist/languages/rescript.js +32 -0
  197. package/dist/languages/rescript.js.map +1 -0
  198. package/dist/languages/restructuredtext.cjs +34 -0
  199. package/dist/languages/restructuredtext.cjs.map +1 -0
  200. package/dist/languages/restructuredtext.d.cts +29 -0
  201. package/dist/languages/restructuredtext.d.ts +29 -0
  202. package/dist/languages/restructuredtext.js +32 -0
  203. package/dist/languages/restructuredtext.js.map +1 -0
  204. package/dist/languages/sas.cjs +33 -0
  205. package/dist/languages/sas.cjs.map +1 -0
  206. package/dist/languages/sas.d.cts +28 -0
  207. package/dist/languages/sas.d.ts +28 -0
  208. package/dist/languages/sas.js +31 -0
  209. package/dist/languages/sas.js.map +1 -0
  210. package/dist/languages/scheme.cjs +33 -0
  211. package/dist/languages/scheme.cjs.map +1 -0
  212. package/dist/languages/scheme.d.cts +28 -0
  213. package/dist/languages/scheme.d.ts +28 -0
  214. package/dist/languages/scheme.js +31 -0
  215. package/dist/languages/scheme.js.map +1 -0
  216. package/dist/languages/smalltalk.cjs +33 -0
  217. package/dist/languages/smalltalk.cjs.map +1 -0
  218. package/dist/languages/smalltalk.d.cts +28 -0
  219. package/dist/languages/smalltalk.d.ts +28 -0
  220. package/dist/languages/smalltalk.js +31 -0
  221. package/dist/languages/smalltalk.js.map +1 -0
  222. package/dist/languages/smarty.cjs +34 -0
  223. package/dist/languages/smarty.cjs.map +1 -0
  224. package/dist/languages/smarty.d.cts +29 -0
  225. package/dist/languages/smarty.d.ts +29 -0
  226. package/dist/languages/smarty.js +32 -0
  227. package/dist/languages/smarty.js.map +1 -0
  228. package/dist/languages/standard-ml.cjs +33 -0
  229. package/dist/languages/standard-ml.cjs.map +1 -0
  230. package/dist/languages/standard-ml.d.cts +28 -0
  231. package/dist/languages/standard-ml.d.ts +28 -0
  232. package/dist/languages/standard-ml.js +31 -0
  233. package/dist/languages/standard-ml.js.map +1 -0
  234. package/dist/languages/stata.cjs +33 -0
  235. package/dist/languages/stata.cjs.map +1 -0
  236. package/dist/languages/stata.d.cts +28 -0
  237. package/dist/languages/stata.d.ts +28 -0
  238. package/dist/languages/stata.js +31 -0
  239. package/dist/languages/stata.js.map +1 -0
  240. package/dist/languages/stylus.cjs +34 -0
  241. package/dist/languages/stylus.cjs.map +1 -0
  242. package/dist/languages/stylus.d.cts +29 -0
  243. package/dist/languages/stylus.d.ts +29 -0
  244. package/dist/languages/stylus.js +32 -0
  245. package/dist/languages/stylus.js.map +1 -0
  246. package/dist/languages/thrift.cjs +34 -0
  247. package/dist/languages/thrift.cjs.map +1 -0
  248. package/dist/languages/thrift.d.cts +29 -0
  249. package/dist/languages/thrift.d.ts +29 -0
  250. package/dist/languages/thrift.js +32 -0
  251. package/dist/languages/thrift.js.map +1 -0
  252. package/dist/languages/tla-plus.cjs +33 -0
  253. package/dist/languages/tla-plus.cjs.map +1 -0
  254. package/dist/languages/tla-plus.d.cts +28 -0
  255. package/dist/languages/tla-plus.d.ts +28 -0
  256. package/dist/languages/tla-plus.js +31 -0
  257. package/dist/languages/tla-plus.js.map +1 -0
  258. package/dist/languages/v.cjs +34 -0
  259. package/dist/languages/v.cjs.map +1 -0
  260. package/dist/languages/v.d.cts +29 -0
  261. package/dist/languages/v.d.ts +29 -0
  262. package/dist/languages/v.js +32 -0
  263. package/dist/languages/v.js.map +1 -0
  264. package/dist/languages/vala.cjs +34 -0
  265. package/dist/languages/vala.cjs.map +1 -0
  266. package/dist/languages/vala.d.cts +29 -0
  267. package/dist/languages/vala.d.ts +29 -0
  268. package/dist/languages/vala.js +32 -0
  269. package/dist/languages/vala.js.map +1 -0
  270. package/dist/languages/vyper.cjs +34 -0
  271. package/dist/languages/vyper.cjs.map +1 -0
  272. package/dist/languages/vyper.d.cts +29 -0
  273. package/dist/languages/vyper.d.ts +29 -0
  274. package/dist/languages/vyper.js +32 -0
  275. package/dist/languages/vyper.js.map +1 -0
  276. package/dist/languages/wren.cjs +33 -0
  277. package/dist/languages/wren.cjs.map +1 -0
  278. package/dist/languages/wren.d.cts +28 -0
  279. package/dist/languages/wren.d.ts +28 -0
  280. package/dist/languages/wren.js +31 -0
  281. package/dist/languages/wren.js.map +1 -0
  282. package/dist/languages/zeek.cjs +34 -0
  283. package/dist/languages/zeek.cjs.map +1 -0
  284. package/dist/languages/zeek.d.cts +29 -0
  285. package/dist/languages/zeek.d.ts +29 -0
  286. package/dist/languages/zeek.js +32 -0
  287. package/dist/languages/zeek.js.map +1 -0
  288. package/dist/languages/ziggy.cjs +33 -0
  289. package/dist/languages/ziggy.cjs.map +1 -0
  290. package/dist/languages/ziggy.d.cts +28 -0
  291. package/dist/languages/ziggy.d.ts +28 -0
  292. package/dist/languages/ziggy.js +31 -0
  293. package/dist/languages/ziggy.js.map +1 -0
  294. package/package.json +231 -1
package/dist/detect.js CHANGED
@@ -83,6 +83,35 @@ var ada = {
83
83
  }
84
84
  };
85
85
 
86
+ // src/languages/agda.ts
87
+ var agda = {
88
+ slug: "agda",
89
+ publishedDate: "2007-01-01",
90
+ extensions: [".agda", ".lagda", ".lagda.md", ".lagda.rst", ".lagda.tex"],
91
+ author: "Ulf Norell / Chalmers University of Technology",
92
+ website: "https://wiki.portal.chalmers.se/agda/",
93
+ paradigms: ["functional", "dependently typed", "total", "proof-oriented"],
94
+ tooling: {
95
+ runtimes: ["GHC", "JavaScript"],
96
+ packageManagers: ["Cabal", "Stack"],
97
+ ecosystems: ["Haskell", "Formal methods", "Proof assistants"]
98
+ },
99
+ version: "2.8.0",
100
+ logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_agda.svg",
101
+ i18n: {
102
+ en: {
103
+ name: "Agda",
104
+ description: "A dependently typed functional language and proof assistant.",
105
+ longDescription: "Agda is a dependently typed functional programming language and interactive proof assistant. It supports inductive families, pattern matching, modules, mixfix operators, Unicode syntax, and a type system expressive enough to encode mathematical proofs as programs.\n\nIt is used in programming language research, constructive mathematics, certified algorithms, and education where precise specifications and machine-checked proofs matter as much as executable code."
106
+ },
107
+ es: {
108
+ name: "Agda",
109
+ description: "Un lenguaje funcional con tipos dependientes y asistente de pruebas.",
110
+ longDescription: "Agda es un lenguaje de programacion funcional con tipos dependientes y un asistente interactivo de pruebas. Soporta familias inductivas, pattern matching, modulos, operadores mixfix, sintaxis Unicode y un sistema de tipos expresivo para codificar pruebas matematicas como programas.\n\nSe usa en investigacion de lenguajes, matematica constructiva, algoritmos certificados y educacion cuando las especificaciones precisas y las pruebas verificadas por maquina importan tanto como el codigo ejecutable."
111
+ }
112
+ }
113
+ };
114
+
86
115
  // src/languages/antlr.ts
87
116
  var antlr = {
88
117
  slug: "antlr",
@@ -572,6 +601,93 @@ var c = {
572
601
  }
573
602
  };
574
603
 
604
+ // src/languages/carbon.ts
605
+ var carbon = {
606
+ slug: "carbon",
607
+ publishedDate: "2022-07-19",
608
+ extensions: [".carbon"],
609
+ author: "Carbon Language Project",
610
+ website: "https://docs.carbon-lang.dev",
611
+ paradigms: ["imperative", "object-oriented", "generic", "statically typed"],
612
+ tooling: {
613
+ runtimes: ["LLVM"],
614
+ packageManagers: ["Bazel"],
615
+ ecosystems: ["C++", "Systems programming"]
616
+ },
617
+ version: "0.0.0 nightly",
618
+ logo: "https://upload.wikimedia.org/wikipedia/commons/e/e1/Carbon_logo.png",
619
+ i18n: {
620
+ en: {
621
+ name: "Carbon",
622
+ description: "An experimental successor language for C++ interoperability and migration.",
623
+ longDescription: "Carbon is an experimental systems programming language designed as a possible successor to C++. It focuses on readable syntax, strong generics, modern tooling, and incremental migration paths for large C++ codebases.\n\nThe project is still pre-stable, so real-world use is centered on experiments, design evaluation, compiler development, and discussions about long-term interoperability with existing C++ ecosystems."
624
+ },
625
+ es: {
626
+ name: "Carbon",
627
+ description: "Un lenguaje experimental sucesor para interoperabilidad y migracion desde C++.",
628
+ longDescription: "Carbon es un lenguaje experimental de programacion de sistemas disenado como posible sucesor de C++. Se enfoca en sintaxis legible, genericos fuertes, herramientas modernas y rutas de migracion incremental para bases de codigo grandes en C++.\n\nEl proyecto aun no es estable, asi que su uso real se centra en experimentos, evaluacion de diseno, desarrollo del compilador y debates sobre interoperabilidad a largo plazo con ecosistemas C++ existentes."
629
+ }
630
+ }
631
+ };
632
+
633
+ // src/languages/chapel.ts
634
+ var chapel = {
635
+ slug: "chapel",
636
+ publishedDate: "2009-04-01",
637
+ extensions: [".chpl"],
638
+ author: "Cray Inc. / Hewlett Packard Enterprise",
639
+ website: "https://chapel-lang.org",
640
+ paradigms: ["parallel", "imperative", "object-oriented", "generic"],
641
+ tooling: {
642
+ runtimes: ["Chapel runtime"],
643
+ packageManagers: ["Mason"],
644
+ ecosystems: ["High-performance computing", "Parallel computing"]
645
+ },
646
+ version: "2.6.0",
647
+ logo: "https://chapel-lang.org/images/chapel-logo.png",
648
+ i18n: {
649
+ en: {
650
+ name: "Chapel",
651
+ description: "A productive parallel programming language for scalable systems.",
652
+ longDescription: "Chapel is a parallel programming language created to make high-performance and distributed computing more approachable. It provides domains, arrays, task parallelism, data parallelism, locality control, and abstractions for writing scalable programs without dropping into low-level message passing everywhere.\n\nIt is used for research, numerical computing, data analytics, simulations, and high-performance applications that need to express parallel algorithms clearly across laptops, clusters, and supercomputers."
653
+ },
654
+ es: {
655
+ name: "Chapel",
656
+ description: "Un lenguaje de programacion paralela productivo para sistemas escalables.",
657
+ longDescription: "Chapel es un lenguaje de programacion paralela creado para hacer mas accesible la computacion de alto rendimiento y distribuida. Ofrece dominios, arreglos, paralelismo de tareas, paralelismo de datos, control de localidad y abstracciones para escribir programas escalables sin depender siempre de paso de mensajes de bajo nivel.\n\nSe usa en investigacion, computacion numerica, analitica de datos, simulaciones y aplicaciones de alto rendimiento que necesitan expresar algoritmos paralelos con claridad en laptops, clusters y supercomputadoras."
658
+ }
659
+ }
660
+ };
661
+
662
+ // src/languages/circom.ts
663
+ var circom = {
664
+ slug: "circom",
665
+ publishedDate: "2018-01-01",
666
+ extensions: [".circom"],
667
+ author: "iden3",
668
+ website: "https://docs.circom.io",
669
+ paradigms: ["declarative", "constraint-based", "domain-specific"],
670
+ tooling: {
671
+ runtimes: ["circom compiler", "WebAssembly", "C++"],
672
+ packageManagers: ["npm", "Cargo"],
673
+ ecosystems: ["Zero-knowledge proofs", "Ethereum", "zkSNARKs"]
674
+ },
675
+ version: "2.2.3",
676
+ logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_circom.svg",
677
+ i18n: {
678
+ en: {
679
+ name: "Circom",
680
+ description: "A DSL for writing arithmetic circuits used in zero-knowledge proofs.",
681
+ longDescription: "Circom is a domain-specific language for defining arithmetic circuits used by zkSNARK proving systems. Its compiler can generate constraint systems together with witness-generation code for C++ or WebAssembly.\n\nIt is common in privacy-preserving protocols, identity systems, blockchain applications, and cryptographic projects that need reusable circuits for zero-knowledge proofs."
682
+ },
683
+ es: {
684
+ name: "Circom",
685
+ description: "Un DSL para escribir circuitos aritmeticos usados en pruebas de conocimiento cero.",
686
+ longDescription: "Circom es un lenguaje especifico de dominio para definir circuitos aritmeticos usados por sistemas de prueba zkSNARK. Su compilador puede generar sistemas de restricciones junto con codigo de generacion de testigos para C++ o WebAssembly.\n\nEs comun en protocolos de privacidad, sistemas de identidad, aplicaciones blockchain y proyectos criptograficos que necesitan circuitos reutilizables para pruebas de conocimiento cero."
687
+ }
688
+ }
689
+ };
690
+
575
691
  // src/languages/clojure.ts
576
692
  var clojure = {
577
693
  slug: "clojure",
@@ -715,6 +831,35 @@ var coldfusion = {
715
831
  }
716
832
  };
717
833
 
834
+ // src/languages/coq.ts
835
+ var coq = {
836
+ slug: "coq",
837
+ publishedDate: "1989-01-01",
838
+ extensions: [".v"],
839
+ author: "INRIA / Rocq Prover Development Team",
840
+ website: "https://rocq-prover.org",
841
+ paradigms: ["functional", "dependently typed", "proof-oriented", "tactic-based"],
842
+ tooling: {
843
+ runtimes: ["Rocq Prover", "OCaml"],
844
+ packageManagers: ["opam", "Rocq Platform"],
845
+ ecosystems: ["Formal methods", "Proof assistants", "OCaml"]
846
+ },
847
+ version: "9.2.0",
848
+ logo: "https://avatars.githubusercontent.com/u/621198?v=4",
849
+ i18n: {
850
+ en: {
851
+ name: "Coq / Rocq",
852
+ description: "A proof assistant and dependently typed language for certified mathematics and software.",
853
+ longDescription: "Coq, now released under the Rocq Prover name, is an interactive theorem prover and dependently typed language. It lets users write definitions, executable programs, theorems, and machine-checked proofs in one environment.\n\nIt is widely used in formal verification, programming language metatheory, certified compilers, mathematics, cryptography, and projects where correctness arguments need to be checked with high confidence."
854
+ },
855
+ es: {
856
+ name: "Coq / Rocq",
857
+ description: "Un asistente de pruebas y lenguaje con tipos dependientes para software certificado.",
858
+ longDescription: "Coq, publicado ahora bajo el nombre Rocq Prover, es un demostrador interactivo de teoremas y un lenguaje con tipos dependientes. Permite escribir definiciones, programas ejecutables, teoremas y pruebas verificadas por maquina en un mismo entorno.\n\nSe usa ampliamente en verificacion formal, metateoria de lenguajes, compiladores certificados, matematica, criptografia y proyectos donde los argumentos de correccion deben comprobarse con alta confianza."
859
+ }
860
+ }
861
+ };
862
+
718
863
  // src/languages/cpp.ts
719
864
  var cpp = {
720
865
  slug: "cpp",
@@ -971,6 +1116,64 @@ var dart = {
971
1116
  }
972
1117
  };
973
1118
 
1119
+ // src/languages/dhall.ts
1120
+ var dhall = {
1121
+ slug: "dhall",
1122
+ publishedDate: "2016-12-22",
1123
+ extensions: [".dhall"],
1124
+ author: "Gabriel Gonzalez",
1125
+ website: "https://dhall-lang.org",
1126
+ paradigms: ["functional", "declarative", "statically typed", "configuration"],
1127
+ tooling: {
1128
+ runtimes: ["dhall"],
1129
+ packageManagers: ["Cabal", "Stack", "Nix"],
1130
+ ecosystems: ["Configuration", "Haskell", "DevOps"]
1131
+ },
1132
+ version: "23.1.0",
1133
+ logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_dhall.svg",
1134
+ i18n: {
1135
+ en: {
1136
+ name: "Dhall",
1137
+ description: "A programmable, typed configuration language that normalizes safely.",
1138
+ longDescription: "Dhall is a programmable configuration language with a strong static type system, imports, functions, records, and guaranteed normalization. It is designed to replace repetitive JSON, YAML, and similar configuration formats with reusable typed expressions.\n\nIt is used for infrastructure configuration, application settings, generated YAML or JSON, and systems that need shared configuration without arbitrary code execution."
1139
+ },
1140
+ es: {
1141
+ name: "Dhall",
1142
+ description: "Un lenguaje de configuracion programable, tipado y de normalizacion segura.",
1143
+ longDescription: "Dhall es un lenguaje de configuracion programable con un sistema de tipos estatico fuerte, imports, funciones, registros y normalizacion garantizada. Esta disenado para reemplazar JSON, YAML y formatos similares repetitivos con expresiones tipadas reutilizables.\n\nSe usa en configuracion de infraestructura, ajustes de aplicaciones, generacion de YAML o JSON y sistemas que necesitan configuracion compartida sin ejecucion arbitraria de codigo."
1144
+ }
1145
+ }
1146
+ };
1147
+
1148
+ // src/languages/dita.ts
1149
+ var dita = {
1150
+ slug: "dita",
1151
+ publishedDate: "2005-05-03",
1152
+ extensions: [".dita", ".ditamap", ".ditaval"],
1153
+ author: "OASIS",
1154
+ website: "https://www.oasis-open.org/standard/dita/",
1155
+ paradigms: ["markup", "structured authoring", "XML-based", "documentation"],
1156
+ tooling: {
1157
+ runtimes: ["DITA Open Toolkit"],
1158
+ packageManagers: ["npm", "Maven"],
1159
+ ecosystems: ["Technical writing", "XML", "Publishing"]
1160
+ },
1161
+ version: "1.3",
1162
+ logo: "https://avatars.githubusercontent.com/u/20116735?v=4",
1163
+ i18n: {
1164
+ en: {
1165
+ name: "DITA",
1166
+ description: "An XML-based architecture for structured technical documentation.",
1167
+ longDescription: "DITA is the Darwin Information Typing Architecture, an XML-based standard for topic-oriented authoring. It defines topic types, maps, specialization, reuse mechanisms, and publishing-oriented metadata for large documentation sets.\n\nIt is used in technical writing, product documentation, regulated content, localization workflows, and publishing pipelines that need structured reusable topics rather than page-by-page documents."
1168
+ },
1169
+ es: {
1170
+ name: "DITA",
1171
+ description: "Una arquitectura basada en XML para documentacion tecnica estructurada.",
1172
+ longDescription: "DITA es Darwin Information Typing Architecture, un estandar basado en XML para autoria orientada a topicos. Define tipos de topico, mapas, especializacion, mecanismos de reutilizacion y metadatos de publicacion para grandes conjuntos de documentacion.\n\nSe usa en redaccion tecnica, documentacion de productos, contenido regulado, flujos de localizacion y pipelines de publicacion que necesitan topicos estructurados y reutilizables en vez de documentos pagina por pagina."
1173
+ }
1174
+ }
1175
+ };
1176
+
974
1177
  // src/languages/dockerfile.ts
975
1178
  var dockerfile = {
976
1179
  slug: "dockerfile",
@@ -999,6 +1202,35 @@ var dockerfile = {
999
1202
  }
1000
1203
  };
1001
1204
 
1205
+ // src/languages/earthly.ts
1206
+ var earthly = {
1207
+ slug: "earthly",
1208
+ publishedDate: "2020-04-15",
1209
+ extensions: ["Earthfile"],
1210
+ author: "Earthly Technologies",
1211
+ website: "https://earthly.dev",
1212
+ paradigms: ["declarative", "build automation", "container-based"],
1213
+ tooling: {
1214
+ runtimes: ["Earthly", "BuildKit", "Docker"],
1215
+ packageManagers: ["Docker"],
1216
+ ecosystems: ["CI/CD", "Containers", "DevOps"]
1217
+ },
1218
+ version: "0.8.16",
1219
+ logo: "https://avatars.githubusercontent.com/u/63060917?v=4",
1220
+ i18n: {
1221
+ en: {
1222
+ name: "Earthly",
1223
+ description: "A container-oriented build language for repeatable CI/CD pipelines.",
1224
+ longDescription: "Earthly is a build automation language and tool centered on Earthfiles. Its syntax combines ideas from Dockerfiles and Makefiles to define repeatable builds, targets, artifacts, images, and CI-friendly workflows.\n\nIt is used by teams that want local and CI builds to behave consistently, especially in container-heavy projects where caching, reproducibility, and readable build steps matter."
1225
+ },
1226
+ es: {
1227
+ name: "Earthly",
1228
+ description: "Un lenguaje de builds orientado a contenedores para pipelines CI/CD repetibles.",
1229
+ longDescription: "Earthly es un lenguaje y herramienta de automatizacion de builds centrado en Earthfiles. Su sintaxis combina ideas de Dockerfiles y Makefiles para definir builds repetibles, targets, artefactos, imagenes y flujos adecuados para CI.\n\nLo usan equipos que quieren que los builds locales y de CI se comporten de forma consistente, especialmente en proyectos con muchos contenedores donde importan cache, reproducibilidad y pasos de build legibles."
1230
+ }
1231
+ }
1232
+ };
1233
+
1002
1234
  // src/languages/elixir.ts
1003
1235
  var elixir = {
1004
1236
  slug: "elixir",
@@ -1461,6 +1693,64 @@ var groovy = {
1461
1693
  }
1462
1694
  };
1463
1695
 
1696
+ // src/languages/hack.ts
1697
+ var hack = {
1698
+ slug: "hack",
1699
+ publishedDate: "2014-03-20",
1700
+ extensions: [".hack", ".hh", ".hhi"],
1701
+ author: "Meta",
1702
+ website: "https://docs.hhvm.com/hack/",
1703
+ paradigms: ["object-oriented", "functional", "gradually typed", "imperative"],
1704
+ tooling: {
1705
+ runtimes: ["HHVM"],
1706
+ packageManagers: ["Composer"],
1707
+ ecosystems: ["HHVM", "Web", "PHP"]
1708
+ },
1709
+ version: "HHVM 4.x",
1710
+ logo: "https://upload.wikimedia.org/wikipedia/commons/a/a7/Hack_%28programming_language%29_logo.svg",
1711
+ i18n: {
1712
+ en: {
1713
+ name: "Hack",
1714
+ description: "A gradually typed language for HHVM with PHP heritage.",
1715
+ longDescription: "Hack is a programming language for HHVM that evolved from PHP and adds static typing, generics, async features, shapes, collections, and tooling built around the Hack typechecker. It is designed for large web codebases that need gradual typing and fast feedback.\n\nIt is used mainly in HHVM deployments and large server-side applications where PHP-like ergonomics are paired with stronger static analysis and modern language constructs."
1716
+ },
1717
+ es: {
1718
+ name: "Hack",
1719
+ description: "Un lenguaje con tipado gradual para HHVM con herencia de PHP.",
1720
+ longDescription: "Hack es un lenguaje de programacion para HHVM que evoluciono desde PHP y agrega tipado estatico, genericos, funciones async, shapes, colecciones y herramientas basadas en el typechecker de Hack. Esta disenado para grandes bases de codigo web que necesitan tipado gradual y feedback rapido.\n\nSe usa principalmente en despliegues HHVM y aplicaciones grandes del lado servidor donde la ergonomia similar a PHP se combina con analisis estatico mas fuerte y construcciones modernas del lenguaje."
1721
+ }
1722
+ }
1723
+ };
1724
+
1725
+ // src/languages/haml.ts
1726
+ var haml = {
1727
+ slug: "haml",
1728
+ publishedDate: "2006-10-01",
1729
+ extensions: [".haml"],
1730
+ author: "Hampton Catlin",
1731
+ website: "https://haml.info",
1732
+ paradigms: ["template", "markup", "declarative"],
1733
+ tooling: {
1734
+ runtimes: ["Ruby"],
1735
+ packageManagers: ["RubyGems", "Bundler"],
1736
+ ecosystems: ["Ruby", "Ruby on Rails", "Web"]
1737
+ },
1738
+ version: "7.2.0",
1739
+ logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_haml.svg",
1740
+ i18n: {
1741
+ en: {
1742
+ name: "Haml",
1743
+ description: "A whitespace-sensitive template language for writing HTML tersely.",
1744
+ longDescription: "Haml is a markup and template language for generating HTML with indentation-based structure. It removes closing tags, reduces boilerplate, and integrates with Ruby frameworks such as Ruby on Rails.\n\nIt is used in web applications and static rendering pipelines that prefer concise templates, readable nesting, and Ruby-powered interpolation over explicit HTML syntax."
1745
+ },
1746
+ es: {
1747
+ name: "Haml",
1748
+ description: "Un lenguaje de templates sensible a espacios para escribir HTML de forma concisa.",
1749
+ longDescription: "Haml es un lenguaje de marcado y templates para generar HTML con estructura basada en indentacion. Elimina etiquetas de cierre, reduce repeticion e integra con frameworks Ruby como Ruby on Rails.\n\nSe usa en aplicaciones web y pipelines de renderizado estatico que prefieren templates concisos, anidacion legible e interpolacion con Ruby en vez de sintaxis HTML explicita."
1750
+ }
1751
+ }
1752
+ };
1753
+
1464
1754
  // src/languages/handlebars.ts
1465
1755
  var handlebars = {
1466
1756
  slug: "handlebars",
@@ -1630,6 +1920,35 @@ var html = {
1630
1920
  }
1631
1921
  };
1632
1922
 
1923
+ // src/languages/idris.ts
1924
+ var idris = {
1925
+ slug: "idris",
1926
+ publishedDate: "2009-01-01",
1927
+ extensions: [".idr", ".lidr", ".ipkg"],
1928
+ author: "Edwin Brady",
1929
+ website: "https://www.idris-lang.org",
1930
+ paradigms: ["functional", "dependently typed", "total", "statically typed"],
1931
+ tooling: {
1932
+ runtimes: ["Chez Scheme", "Racket", "JavaScript", "Node.js"],
1933
+ packageManagers: ["pack", "idris2"],
1934
+ ecosystems: ["Formal methods", "Functional programming"]
1935
+ },
1936
+ version: "0.8.0",
1937
+ logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_idris.svg",
1938
+ i18n: {
1939
+ en: {
1940
+ name: "Idris",
1941
+ description: "A dependently typed functional language focused on practical programs.",
1942
+ longDescription: "Idris is a dependently typed functional programming language that brings theorem-proving ideas into general-purpose software development. Idris 2 adds a quantitative type system, totality checking, elaborator reflection, and multiple code generation backends.\n\nIt is used for type-driven development, language research, certified programming, education, and experiments where rich types help describe program behavior precisely."
1943
+ },
1944
+ es: {
1945
+ name: "Idris",
1946
+ description: "Un lenguaje funcional con tipos dependientes enfocado en programas practicos.",
1947
+ longDescription: "Idris es un lenguaje de programacion funcional con tipos dependientes que lleva ideas de demostracion de teoremas al desarrollo general. Idris 2 agrega un sistema de tipos cuantitativo, chequeo de totalidad, reflexion de elaborador y multiples backends de generacion de codigo.\n\nSe usa en desarrollo guiado por tipos, investigacion de lenguajes, programacion certificada, educacion y experimentos donde tipos ricos ayudan a describir con precision el comportamiento de los programas."
1948
+ }
1949
+ }
1950
+ };
1951
+
1633
1952
  // src/languages/ini.ts
1634
1953
  var ini = {
1635
1954
  slug: "ini",
@@ -1657,6 +1976,35 @@ var ini = {
1657
1976
  }
1658
1977
  };
1659
1978
 
1979
+ // src/languages/janet.ts
1980
+ var janet = {
1981
+ slug: "janet",
1982
+ publishedDate: "2017-09-01",
1983
+ extensions: [".janet", ".jdn"],
1984
+ author: "Calvin Rose",
1985
+ website: "https://janet-lang.org",
1986
+ paradigms: ["functional", "imperative", "lisp", "embedded"],
1987
+ tooling: {
1988
+ runtimes: ["Janet VM"],
1989
+ packageManagers: ["jpm"],
1990
+ ecosystems: ["Scripting", "Embedded systems", "Command-line tools"]
1991
+ },
1992
+ version: "1.39.1",
1993
+ logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_janet.svg",
1994
+ i18n: {
1995
+ en: {
1996
+ name: "Janet",
1997
+ description: "A small Lisp-like language and embeddable runtime for scripting.",
1998
+ longDescription: "Janet is a small Lisp-like programming language with a compact C implementation, fibers, tables, pattern matching, macros, and an embeddable runtime. It is designed for scripting, tools, and applications that need a lightweight extension language.\n\nIt is used for command-line programs, configuration, automation, embedding in native applications, and experiments that benefit from Lisp-style metaprogramming without a large runtime."
1999
+ },
2000
+ es: {
2001
+ name: "Janet",
2002
+ description: "Un lenguaje pequeno tipo Lisp y runtime embebible para scripting.",
2003
+ longDescription: "Janet es un lenguaje de programacion pequeno tipo Lisp con una implementacion compacta en C, fibras, tablas, pattern matching, macros y un runtime embebible. Esta disenado para scripting, herramientas y aplicaciones que necesitan un lenguaje de extension liviano.\n\nSe usa en programas de linea de comandos, configuracion, automatizacion, embedding en aplicaciones nativas y experimentos que aprovechan metaprogramacion tipo Lisp sin un runtime grande."
2004
+ }
2005
+ }
2006
+ };
2007
+
1660
2008
  // src/languages/java.ts
1661
2009
  var java = {
1662
2010
  slug: "java",
@@ -1884,6 +2232,35 @@ var kotlin = {
1884
2232
  }
1885
2233
  };
1886
2234
 
2235
+ // src/languages/lean.ts
2236
+ var lean = {
2237
+ slug: "lean",
2238
+ publishedDate: "2013-06-16",
2239
+ extensions: [".lean"],
2240
+ author: "Leonardo de Moura / Microsoft Research",
2241
+ website: "https://lean-lang.org",
2242
+ paradigms: ["functional", "dependently typed", "proof-oriented", "metaprogramming"],
2243
+ tooling: {
2244
+ runtimes: ["Lean"],
2245
+ packageManagers: ["Lake", "elan"],
2246
+ ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
2247
+ },
2248
+ version: "4.29.1",
2249
+ logo: "https://cdn.simpleicons.org/leanpub/262425",
2250
+ i18n: {
2251
+ en: {
2252
+ name: "Lean",
2253
+ description: "A theorem prover and functional language for formalized mathematics and software.",
2254
+ longDescription: "Lean is a theorem prover and dependently typed functional programming language. Lean 4 includes an efficient compiler, extensible syntax, metaprogramming facilities, tactics, and tooling for large formalization projects.\n\nIt is used in formalized mathematics, program verification, theorem proving research, educational games, and software projects where proofs and executable definitions can evolve together."
2255
+ },
2256
+ es: {
2257
+ name: "Lean",
2258
+ description: "Un demostrador de teoremas y lenguaje funcional para matematica y software formalizados.",
2259
+ longDescription: "Lean es un demostrador de teoremas y lenguaje funcional con tipos dependientes. Lean 4 incluye un compilador eficiente, sintaxis extensible, metaprogramacion, tacticas y herramientas para grandes proyectos de formalizacion.\n\nSe usa en matematica formalizada, verificacion de programas, investigacion en demostracion de teoremas, juegos educativos y proyectos donde pruebas y definiciones ejecutables pueden evolucionar juntas."
2260
+ }
2261
+ }
2262
+ };
2263
+
1887
2264
  // src/languages/less.ts
1888
2265
  var less = {
1889
2266
  slug: "less",
@@ -1971,6 +2348,35 @@ var lisp = {
1971
2348
  }
1972
2349
  };
1973
2350
 
2351
+ // src/languages/llvm-ir.ts
2352
+ var llvmIr = {
2353
+ slug: "llvm-ir",
2354
+ publishedDate: "2003-10-01",
2355
+ extensions: [".ll", ".bc"],
2356
+ author: "LLVM Project",
2357
+ website: "https://llvm.org/docs/LangRef.html",
2358
+ paradigms: ["intermediate representation", "static single assignment", "compiler"],
2359
+ tooling: {
2360
+ runtimes: ["LLVM"],
2361
+ packageManagers: ["LLVM releases"],
2362
+ ecosystems: ["Compilers", "Systems programming", "Toolchains"]
2363
+ },
2364
+ version: "22.1.5",
2365
+ logo: "https://cdn.simpleicons.org/llvm/262D3A",
2366
+ i18n: {
2367
+ en: {
2368
+ name: "LLVM IR",
2369
+ description: "The typed intermediate representation used by the LLVM compiler infrastructure.",
2370
+ longDescription: "LLVM IR is the typed, low-level intermediate representation used by the LLVM compiler infrastructure. It has a textual form, bitcode form, SSA-based values, explicit control flow, and a language reference that defines instructions, types, attributes, and metadata.\n\nIt is used by compilers, optimizers, static analyzers, JIT systems, language implementations, and tools that need a portable representation between source languages and machine code."
2371
+ },
2372
+ es: {
2373
+ name: "LLVM IR",
2374
+ description: "La representacion intermedia tipada usada por la infraestructura de compiladores LLVM.",
2375
+ longDescription: "LLVM IR es la representacion intermedia tipada y de bajo nivel usada por la infraestructura de compiladores LLVM. Tiene forma textual, forma bitcode, valores basados en SSA, flujo de control explicito y una referencia que define instrucciones, tipos, atributos y metadatos.\n\nSe usa en compiladores, optimizadores, analizadores estaticos, sistemas JIT, implementaciones de lenguajes y herramientas que necesitan una representacion portable entre lenguajes fuente y codigo maquina."
2376
+ }
2377
+ }
2378
+ };
2379
+
1974
2380
  // src/languages/lua.ts
1975
2381
  var lua = {
1976
2382
  slug: "lua",
@@ -2000,6 +2406,35 @@ var lua = {
2000
2406
  }
2001
2407
  };
2002
2408
 
2409
+ // src/languages/luau.ts
2410
+ var luau = {
2411
+ slug: "luau",
2412
+ publishedDate: "2021-11-03",
2413
+ extensions: [".luau"],
2414
+ author: "Roblox",
2415
+ website: "https://luau.org",
2416
+ paradigms: ["imperative", "scripting", "gradually typed", "embeddable"],
2417
+ tooling: {
2418
+ runtimes: ["Luau VM", "Roblox"],
2419
+ packageManagers: ["Wally", "Pesde"],
2420
+ ecosystems: ["Roblox", "Games", "Embedded scripting"]
2421
+ },
2422
+ version: "0.719",
2423
+ logo: "https://cdn.simpleicons.org/roblox/000000",
2424
+ i18n: {
2425
+ en: {
2426
+ name: "Luau",
2427
+ description: "A fast Lua-derived scripting language with gradual typing.",
2428
+ longDescription: "Luau is a scripting language derived from Lua 5.1 and developed by Roblox. It adds gradual typing, performance-focused compiler and VM work, linting, type inference, and features aimed at large game codebases.\n\nIt is used in Roblox experiences, game tooling, embedded scripting, and projects that want Lua-like ergonomics with stronger static analysis and modern runtime performance."
2429
+ },
2430
+ es: {
2431
+ name: "Luau",
2432
+ description: "Un lenguaje de scripting derivado de Lua, rapido y con tipado gradual.",
2433
+ longDescription: "Luau es un lenguaje de scripting derivado de Lua 5.1 y desarrollado por Roblox. Agrega tipado gradual, trabajo de compilador y VM orientado al rendimiento, linting, inferencia de tipos y caracteristicas para grandes bases de codigo de juegos.\n\nSe usa en experiencias de Roblox, herramientas de juegos, scripting embebido y proyectos que quieren ergonomia similar a Lua con analisis estatico mas fuerte y rendimiento moderno."
2434
+ }
2435
+ }
2436
+ };
2437
+
2003
2438
  // src/languages/makefile.ts
2004
2439
  var makefile = {
2005
2440
  slug: "makefile",
@@ -2028,6 +2463,35 @@ var makefile = {
2028
2463
  }
2029
2464
  };
2030
2465
 
2466
+ // src/languages/mako.ts
2467
+ var mako = {
2468
+ slug: "mako",
2469
+ publishedDate: "2006-07-17",
2470
+ extensions: [".mako", ".mao"],
2471
+ author: "Michael Bayer / Mako contributors",
2472
+ website: "https://www.makotemplates.org",
2473
+ paradigms: ["templating", "declarative", "scripting"],
2474
+ tooling: {
2475
+ runtimes: ["Python"],
2476
+ packageManagers: ["pip", "uv", "Poetry"],
2477
+ ecosystems: ["Python", "Web", "Documentation"]
2478
+ },
2479
+ version: "1.3.10",
2480
+ logo: "https://cdn.simpleicons.org/python/3776AB",
2481
+ i18n: {
2482
+ en: {
2483
+ name: "Mako",
2484
+ description: "A Python template language for generating text, HTML, and source artifacts.",
2485
+ longDescription: "Mako is a Python template language that mixes text with expressions, control blocks, inheritance, includes, and reusable definitions. Templates compile to Python code, which keeps it close to the host language.\n\nIt is used for web views, documentation, code generation, configuration rendering, and projects that need expressive Python-backed templates."
2486
+ },
2487
+ es: {
2488
+ name: "Mako",
2489
+ description: "Un lenguaje de plantillas de Python para generar texto, HTML y artefactos fuente.",
2490
+ longDescription: "Mako es un lenguaje de plantillas de Python que mezcla texto con expresiones, bloques de control, herencia, includes y definiciones reutilizables. Las plantillas compilan a codigo Python y quedan cerca del lenguaje anfitrion.\n\nSe usa en vistas web, documentacion, generacion de codigo, renderizado de configuracion y proyectos que necesitan plantillas expresivas respaldadas por Python."
2491
+ }
2492
+ }
2493
+ };
2494
+
2031
2495
  // src/languages/markdown.ts
2032
2496
  var markdown = {
2033
2497
  slug: "markdown",
@@ -2052,6 +2516,34 @@ var markdown = {
2052
2516
  }
2053
2517
  };
2054
2518
 
2519
+ // src/languages/mathematica.ts
2520
+ var mathematica = {
2521
+ slug: "mathematica",
2522
+ publishedDate: "1988-06-23",
2523
+ extensions: [".wl", ".wls", ".nb"],
2524
+ author: "Stephen Wolfram / Wolfram Research",
2525
+ website: "https://www.wolfram.com/language/",
2526
+ paradigms: ["symbolic", "functional", "rule-based", "notebook"],
2527
+ tooling: {
2528
+ runtimes: ["Wolfram Engine", "Wolfram Cloud", "Mathematica"],
2529
+ ecosystems: ["Scientific Computing", "Symbolic Computing", "Notebooks"]
2530
+ },
2531
+ version: "14.3",
2532
+ logo: "https://cdn.simpleicons.org/wolfram/DD1100",
2533
+ i18n: {
2534
+ en: {
2535
+ name: "Wolfram Language",
2536
+ description: "A symbolic computation language used by Mathematica and Wolfram tools.",
2537
+ longDescription: "The Wolfram Language combines symbolic expressions, functional programming, pattern rules, notebooks, visualization, and a large knowledge-oriented standard library. Mathematica is its best-known interactive environment.\n\nIt is used for mathematics, modeling, data science, research notebooks, education, automation, and computational reports that benefit from symbolic and numeric workflows."
2538
+ },
2539
+ es: {
2540
+ name: "Wolfram Language",
2541
+ description: "Un lenguaje de computacion simbolica usado por Mathematica y herramientas Wolfram.",
2542
+ longDescription: "Wolfram Language combina expresiones simbolicas, programacion funcional, reglas por patrones, notebooks, visualizacion y una biblioteca estandar orientada al conocimiento. Mathematica es su entorno interactivo mas conocido.\n\nSe usa en matematicas, modelado, ciencia de datos, notebooks de investigacion, educacion, automatizacion y reportes computacionales con flujos simbolicos y numericos."
2543
+ }
2544
+ }
2545
+ };
2546
+
2055
2547
  // src/languages/matlab.ts
2056
2548
  var matlab = {
2057
2549
  slug: "matlab",
@@ -2196,6 +2688,64 @@ var metal = {
2196
2688
  }
2197
2689
  };
2198
2690
 
2691
+ // src/languages/mojo.ts
2692
+ var mojo = {
2693
+ slug: "mojo",
2694
+ publishedDate: "2023-05-02",
2695
+ extensions: [".mojo"],
2696
+ author: "Modular",
2697
+ website: "https://www.modular.com/mojo",
2698
+ paradigms: ["imperative", "systems", "statically typed", "data-oriented"],
2699
+ tooling: {
2700
+ runtimes: ["Mojo toolchain", "MAX"],
2701
+ packageManagers: ["pixi", "pip"],
2702
+ ecosystems: ["AI", "Accelerators", "Python"]
2703
+ },
2704
+ version: "0.26.1",
2705
+ logo: "https://avatars.githubusercontent.com/u/107116314?v=4",
2706
+ i18n: {
2707
+ en: {
2708
+ name: "Mojo",
2709
+ description: "A systems-oriented language for AI and accelerator-aware programming.",
2710
+ longDescription: "Mojo is a language from Modular that combines Python-friendly syntax with ownership, value semantics, low-level control, and compiler features aimed at performance-sensitive code. Its toolchain targets CPUs and accelerator workflows.\n\nIt is used in experiments around AI kernels, numeric code, systems programming, Python-adjacent libraries, and workloads that need explicit performance control."
2711
+ },
2712
+ es: {
2713
+ name: "Mojo",
2714
+ description: "Un lenguaje orientado a sistemas para IA y programacion con aceleradores.",
2715
+ longDescription: "Mojo es un lenguaje de Modular que combina una sintaxis cercana a Python con ownership, semantica de valores, control de bajo nivel y funciones de compilador pensadas para codigo sensible al rendimiento. Su toolchain apunta a CPUs y flujos con aceleradores.\n\nSe usa en experimentos con kernels de IA, codigo numerico, programacion de sistemas, bibliotecas cercanas a Python y cargas que necesitan control explicito del rendimiento."
2716
+ }
2717
+ }
2718
+ };
2719
+
2720
+ // src/languages/moonbit.ts
2721
+ var moonbit = {
2722
+ slug: "moonbit",
2723
+ publishedDate: "2023-08-18",
2724
+ extensions: [".mbt"],
2725
+ author: "MoonBit Team",
2726
+ website: "https://www.moonbitlang.com",
2727
+ paradigms: ["functional", "statically typed", "multi-paradigm", "wasm"],
2728
+ tooling: {
2729
+ runtimes: ["MoonBit toolchain", "WebAssembly", "JavaScript"],
2730
+ packageManagers: ["moon"],
2731
+ ecosystems: ["WebAssembly", "Web", "Embedded"]
2732
+ },
2733
+ version: "0.9.2",
2734
+ logo: "https://avatars.githubusercontent.com/u/124476259?v=4",
2735
+ i18n: {
2736
+ en: {
2737
+ name: "MoonBit",
2738
+ description: "A statically typed language and toolchain designed for WebAssembly output.",
2739
+ longDescription: "MoonBit is a language and toolchain built around fast feedback, algebraic data types, pattern matching, and multiple backends including WebAssembly. Its package and test tools are designed as part of the language workflow.\n\nIt is used for WebAssembly libraries, command-line experiments, web runtimes, teaching, and projects that want compact typed code with integrated tooling."
2740
+ },
2741
+ es: {
2742
+ name: "MoonBit",
2743
+ description: "Un lenguaje tipado y toolchain disenado para generar WebAssembly.",
2744
+ longDescription: "MoonBit es un lenguaje y toolchain construido alrededor de feedback rapido, tipos algebraicos, pattern matching y varios backends, incluido WebAssembly. Sus herramientas de paquetes y pruebas forman parte del flujo del lenguaje.\n\nSe usa en bibliotecas WebAssembly, experimentos de linea de comandos, runtimes web, ensenanza y proyectos que buscan codigo tipado compacto con tooling integrado."
2745
+ }
2746
+ }
2747
+ };
2748
+
2199
2749
  // src/languages/nginx.ts
2200
2750
  var nginx = {
2201
2751
  slug: "nginx",
@@ -2340,6 +2890,63 @@ var ocaml = {
2340
2890
  }
2341
2891
  };
2342
2892
 
2893
+ // src/languages/odin.ts
2894
+ var odin = {
2895
+ slug: "odin",
2896
+ publishedDate: "2016-11-05",
2897
+ extensions: [".odin"],
2898
+ author: "Ginger Bill",
2899
+ website: "https://odin-lang.org",
2900
+ paradigms: ["imperative", "procedural", "systems", "data-oriented"],
2901
+ tooling: {
2902
+ runtimes: ["Odin compiler"],
2903
+ packageManagers: ["odin"],
2904
+ ecosystems: ["Systems", "Game Development", "Native"]
2905
+ },
2906
+ version: "dev-2026-02",
2907
+ logo: "https://avatars.githubusercontent.com/u/12533910?v=4",
2908
+ i18n: {
2909
+ en: {
2910
+ name: "Odin",
2911
+ description: "A data-oriented systems language for native software and game tooling.",
2912
+ longDescription: "Odin is a procedural systems programming language with explicit memory control, packages, foreign interfaces, custom allocators, and language features oriented toward data layout. It favors straightforward native code over large runtime machinery.\n\nIt is used for engines, tools, graphics programs, native utilities, and performance-sensitive applications where predictable control over data matters."
2913
+ },
2914
+ es: {
2915
+ name: "Odin",
2916
+ description: "Un lenguaje de sistemas orientado a datos para software nativo y juegos.",
2917
+ longDescription: "Odin es un lenguaje procedural de programacion de sistemas con control explicito de memoria, paquetes, interfaces externas, allocators personalizados y funciones orientadas al layout de datos. Favorece codigo nativo directo sobre runtimes grandes.\n\nSe usa en motores, herramientas, programas graficos, utilidades nativas y aplicaciones sensibles al rendimiento donde importa el control predecible de los datos."
2918
+ }
2919
+ }
2920
+ };
2921
+
2922
+ // src/languages/opencl.ts
2923
+ var opencl = {
2924
+ slug: "opencl",
2925
+ publishedDate: "2008-12-08",
2926
+ extensions: [".cl", ".clh"],
2927
+ author: "Khronos Group",
2928
+ website: "https://www.khronos.org/opencl/",
2929
+ paradigms: ["parallel", "kernel", "data-parallel", "c-family"],
2930
+ tooling: {
2931
+ runtimes: ["OpenCL Runtime"],
2932
+ ecosystems: ["GPU Compute", "Heterogeneous Computing", "Khronos"]
2933
+ },
2934
+ version: "OpenCL C 3.0",
2935
+ logo: "https://cdn.simpleicons.org/khronosgroup/CC3333",
2936
+ i18n: {
2937
+ en: {
2938
+ name: "OpenCL C",
2939
+ description: "The C-based kernel language for OpenCL heterogeneous compute programs.",
2940
+ longDescription: "OpenCL C is the kernel programming language used by OpenCL to describe parallel work over devices such as CPUs, GPUs, and accelerators. It extends a C-family model with address spaces, vector types, work-items, and synchronization primitives.\n\nIt is used for compute kernels, image processing, simulations, numeric workloads, and portable heterogeneous programs that target OpenCL runtimes."
2941
+ },
2942
+ es: {
2943
+ name: "OpenCL C",
2944
+ description: "El lenguaje de kernels basado en C para programas de computo OpenCL.",
2945
+ longDescription: "OpenCL C es el lenguaje de kernels que usa OpenCL para describir trabajo paralelo sobre dispositivos como CPUs, GPUs y aceleradores. Extiende un modelo de la familia C con espacios de direcciones, tipos vectoriales, work-items y primitivas de sincronizacion.\n\nSe usa en kernels de computo, procesamiento de imagenes, simulaciones, cargas numericas y programas heterogeneos portables dirigidos a runtimes OpenCL."
2946
+ }
2947
+ }
2948
+ };
2949
+
2343
2950
  // src/languages/pascal.ts
2344
2951
  var pascal = {
2345
2952
  slug: "pascal",
@@ -2427,6 +3034,34 @@ var php = {
2427
3034
  }
2428
3035
  };
2429
3036
 
3037
+ // src/languages/pine-script.ts
3038
+ var pineScript = {
3039
+ slug: "pine-script",
3040
+ publishedDate: "2013-12-01",
3041
+ extensions: [".pine"],
3042
+ author: "TradingView",
3043
+ website: "https://www.tradingview.com/pine-script-docs/",
3044
+ paradigms: ["domain-specific", "time-series", "declarative", "scripting"],
3045
+ tooling: {
3046
+ runtimes: ["TradingView"],
3047
+ ecosystems: ["Charts", "Trading", "Technical Analysis"]
3048
+ },
3049
+ version: "v6",
3050
+ logo: "https://cdn.simpleicons.org/tradingview/131722",
3051
+ i18n: {
3052
+ en: {
3053
+ name: "Pine Script",
3054
+ description: "TradingView's language for indicators, strategies, and chart studies.",
3055
+ longDescription: "Pine Script is a domain-specific language for expressing calculations over chart bars, series values, indicators, alerts, and trading strategies in TradingView. Its execution model is centered on time-series data.\n\nIt is used for custom technical indicators, backtested strategies, chart overlays, alerts, and market analysis shared through TradingView."
3056
+ },
3057
+ es: {
3058
+ name: "Pine Script",
3059
+ description: "El lenguaje de TradingView para indicadores, estrategias y estudios de graficos.",
3060
+ longDescription: "Pine Script es un lenguaje de dominio especifico para expresar calculos sobre barras, series, indicadores, alertas y estrategias de trading en TradingView. Su modelo de ejecucion gira alrededor de datos temporales.\n\nSe usa en indicadores tecnicos personalizados, estrategias con backtesting, overlays de graficos, alertas y analisis de mercado compartido en TradingView."
3061
+ }
3062
+ }
3063
+ };
3064
+
2430
3065
  // src/languages/plantuml.ts
2431
3066
  var plantuml = {
2432
3067
  slug: "plantuml",
@@ -2456,6 +3091,63 @@ var plantuml = {
2456
3091
  }
2457
3092
  };
2458
3093
 
3094
+ // src/languages/plsql.ts
3095
+ var plsql = {
3096
+ slug: "plsql",
3097
+ publishedDate: "1992-01-01",
3098
+ extensions: [".pls", ".pks", ".pkb", ".plsql"],
3099
+ author: "Oracle",
3100
+ website: "https://www.oracle.com/database/technologies/appdev/plsql.html",
3101
+ paradigms: ["procedural", "database", "declarative", "imperative"],
3102
+ tooling: {
3103
+ runtimes: ["Oracle Database"],
3104
+ ecosystems: ["Oracle", "SQL", "Enterprise Data"]
3105
+ },
3106
+ version: "Oracle Database 26ai",
3107
+ logo: "https://github.com/oracle.png",
3108
+ i18n: {
3109
+ en: {
3110
+ name: "Oracle PL/SQL",
3111
+ description: "Oracle's procedural extension to SQL for database programs and packages.",
3112
+ longDescription: "PL/SQL adds blocks, variables, exceptions, procedures, functions, packages, cursors, and triggers to Oracle SQL. It keeps database logic close to data and transactional behavior inside Oracle Database.\n\nIt is used for stored procedures, migration scripts, business rules, batch jobs, packages, and enterprise database applications built on Oracle."
3113
+ },
3114
+ es: {
3115
+ name: "Oracle PL/SQL",
3116
+ description: "La extension procedural de SQL de Oracle para programas y paquetes de base de datos.",
3117
+ longDescription: "PL/SQL agrega bloques, variables, excepciones, procedimientos, funciones, paquetes, cursores y triggers a Oracle SQL. Mantiene logica de base de datos cerca de los datos y del comportamiento transaccional en Oracle Database.\n\nSe usa en stored procedures, scripts de migracion, reglas de negocio, trabajos batch, paquetes y aplicaciones empresariales construidas sobre Oracle."
3118
+ }
3119
+ }
3120
+ };
3121
+
3122
+ // src/languages/pony.ts
3123
+ var pony = {
3124
+ slug: "pony",
3125
+ publishedDate: "2015-04-29",
3126
+ extensions: [".pony"],
3127
+ author: "Sylvan Clebsch / Pony contributors",
3128
+ website: "https://www.ponylang.io",
3129
+ paradigms: ["actor-model", "object-oriented", "capability-secure", "concurrent"],
3130
+ tooling: {
3131
+ runtimes: ["Pony runtime"],
3132
+ packageManagers: ["ponyup", "corral"],
3133
+ ecosystems: ["Actors", "Native", "Distributed Systems"]
3134
+ },
3135
+ version: "0.61.1",
3136
+ logo: "https://avatars.githubusercontent.com/u/14593805?v=4",
3137
+ i18n: {
3138
+ en: {
3139
+ name: "Pony",
3140
+ description: "An actor language with reference capabilities and data-race safety.",
3141
+ longDescription: "Pony combines actors, object capabilities, static typing, and reference capabilities to make concurrent native programs explicit about aliasing and mutation. The language runtime schedules isolated actors that communicate by messages.\n\nIt is used for concurrent services, native experiments, actor systems, and programs that want compile-time guarantees around data races."
3142
+ },
3143
+ es: {
3144
+ name: "Pony",
3145
+ description: "Un lenguaje de actores con capacidades de referencia y seguridad ante data races.",
3146
+ longDescription: "Pony combina actores, object capabilities, tipado estatico y capacidades de referencia para que programas nativos concurrentes sean explicitos sobre aliasing y mutacion. El runtime agenda actores aislados que se comunican por mensajes.\n\nSe usa en servicios concurrentes, experimentos nativos, sistemas de actores y programas que buscan garantias de compilacion frente a data races."
3147
+ }
3148
+ }
3149
+ };
3150
+
2459
3151
  // src/languages/powershell.ts
2460
3152
  var powershell = {
2461
3153
  slug: "powershell",
@@ -2514,6 +3206,34 @@ var prolog = {
2514
3206
  }
2515
3207
  };
2516
3208
 
3209
+ // src/languages/promql.ts
3210
+ var promql = {
3211
+ slug: "promql",
3212
+ publishedDate: "2012-11-24",
3213
+ extensions: [".promql"],
3214
+ author: "Prometheus Authors",
3215
+ website: "https://prometheus.io/docs/prometheus/latest/querying/basics/",
3216
+ paradigms: ["query", "time-series", "declarative", "domain-specific"],
3217
+ tooling: {
3218
+ runtimes: ["Prometheus", "Thanos", "Mimir"],
3219
+ ecosystems: ["Observability", "Metrics", "Monitoring"]
3220
+ },
3221
+ version: "Prometheus 3.x",
3222
+ logo: "https://cdn.simpleicons.org/prometheus/E6522C",
3223
+ i18n: {
3224
+ en: {
3225
+ name: "PromQL",
3226
+ description: "The Prometheus query language for selecting and aggregating metrics.",
3227
+ longDescription: "PromQL is the expression language used by Prometheus to select instant vectors, range vectors, scalars, and strings from time-series data. It includes label matching, arithmetic, aggregation, and functions for metric analysis.\n\nIt is used in dashboards, alerts, recording rules, troubleshooting, capacity analysis, and observability systems compatible with Prometheus queries."
3228
+ },
3229
+ es: {
3230
+ name: "PromQL",
3231
+ description: "El lenguaje de consulta de Prometheus para seleccionar y agregar metricas.",
3232
+ longDescription: "PromQL es el lenguaje de expresiones que usa Prometheus para seleccionar vectores instantaneos, rangos, escalares y cadenas desde datos de series temporales. Incluye matching de labels, aritmetica, agregaciones y funciones para analizar metricas.\n\nSe usa en dashboards, alertas, recording rules, troubleshooting, analisis de capacidad y sistemas de observabilidad compatibles con consultas Prometheus."
3233
+ }
3234
+ }
3235
+ };
3236
+
2517
3237
  // src/languages/protobuf.ts
2518
3238
  var protobuf = {
2519
3239
  slug: "protobuf",
@@ -2572,6 +3292,35 @@ var pug = {
2572
3292
  }
2573
3293
  };
2574
3294
 
3295
+ // src/languages/purescript.ts
3296
+ var purescript = {
3297
+ slug: "purescript",
3298
+ publishedDate: "2013-09-01",
3299
+ extensions: [".purs"],
3300
+ author: "Phil Freeman / PureScript contributors",
3301
+ website: "https://www.purescript.org",
3302
+ paradigms: ["functional", "pure", "statically typed", "declarative"],
3303
+ tooling: {
3304
+ runtimes: ["JavaScript", "Node.js"],
3305
+ packageManagers: ["Spago", "npm"],
3306
+ ecosystems: ["Web", "Functional Programming", "JavaScript"]
3307
+ },
3308
+ version: "0.15.15",
3309
+ logo: "https://cdn.simpleicons.org/purescript/14161A",
3310
+ i18n: {
3311
+ en: {
3312
+ name: "PureScript",
3313
+ description: "A strongly typed purely functional language that compiles to JavaScript.",
3314
+ longDescription: "PureScript brings algebraic data types, type classes, effects, modules, row polymorphism, and a Haskell-influenced functional model to JavaScript targets. Its compiler emits readable JavaScript and works with foreign JavaScript modules.\n\nIt is used for front-end applications, libraries, typed domain models, functional architecture, and JavaScript projects that want explicit effect handling."
3315
+ },
3316
+ es: {
3317
+ name: "PureScript",
3318
+ description: "Un lenguaje funcional puro y fuertemente tipado que compila a JavaScript.",
3319
+ longDescription: "PureScript lleva tipos algebraicos, type classes, efectos, modulos, row polymorphism y un modelo funcional influido por Haskell a objetivos JavaScript. Su compilador emite JavaScript legible e interoperable con modulos externos.\n\nSe usa en aplicaciones front-end, bibliotecas, modelos de dominio tipados, arquitectura funcional y proyectos JavaScript que buscan manejo explicito de efectos."
3320
+ }
3321
+ }
3322
+ };
3323
+
2575
3324
  // src/languages/python.ts
2576
3325
  var python = {
2577
3326
  slug: "python",
@@ -2630,6 +3379,35 @@ var qml = {
2630
3379
  }
2631
3380
  };
2632
3381
 
3382
+ // src/languages/qsharp.ts
3383
+ var qsharp = {
3384
+ slug: "qsharp",
3385
+ publishedDate: "2017-12-11",
3386
+ extensions: [".qs"],
3387
+ author: "Microsoft",
3388
+ website: "https://learn.microsoft.com/azure/quantum/qsharp-overview",
3389
+ paradigms: ["quantum", "domain-specific", "functional", "imperative"],
3390
+ tooling: {
3391
+ runtimes: ["Azure Quantum", "Q# compiler"],
3392
+ packageManagers: ["NuGet", "Python"],
3393
+ ecosystems: ["Quantum Computing", "Azure"]
3394
+ },
3395
+ version: "Q# 1.0",
3396
+ logo: "https://github.com/microsoft.png",
3397
+ i18n: {
3398
+ en: {
3399
+ name: "Q#",
3400
+ description: "Microsoft's language for expressing quantum programs and operations.",
3401
+ longDescription: "Q# is a quantum programming language for declaring operations, functions, qubit use, measurement, adjoints, controlled operations, and classical control around quantum routines. It is designed to model quantum algorithms separately from hardware details.\n\nIt is used for quantum algorithm development, simulation, teaching, Azure Quantum workflows, and hybrid experiments that combine classical and quantum code."
3402
+ },
3403
+ es: {
3404
+ name: "Q#",
3405
+ description: "El lenguaje de Microsoft para expresar programas y operaciones cuanticas.",
3406
+ longDescription: "Q# es un lenguaje de programacion cuantica para declarar operaciones, funciones, uso de qubits, mediciones, adjoints, operaciones controladas y control clasico alrededor de rutinas cuanticas. Modela algoritmos cuanticos separados de detalles de hardware.\n\nSe usa en desarrollo de algoritmos cuanticos, simulacion, ensenanza, flujos de Azure Quantum y experimentos hibridos que combinan codigo clasico y cuantico."
3407
+ }
3408
+ }
3409
+ };
3410
+
2633
3411
  // src/languages/r.ts
2634
3412
  var r = {
2635
3413
  slug: "r",
@@ -2688,6 +3466,35 @@ var racket = {
2688
3466
  }
2689
3467
  };
2690
3468
 
3469
+ // src/languages/raku.ts
3470
+ var raku = {
3471
+ slug: "raku",
3472
+ publishedDate: "2015-12-25",
3473
+ extensions: [".raku", ".rakumod", ".rakudoc", ".rakutest", ".p6", ".pm6"],
3474
+ author: "Raku Community",
3475
+ website: "https://raku.org",
3476
+ paradigms: ["multi-paradigm", "object-oriented", "functional", "concurrent"],
3477
+ tooling: {
3478
+ runtimes: ["Rakudo", "MoarVM"],
3479
+ packageManagers: ["zef"],
3480
+ ecosystems: ["Raku", "CLI", "Text Processing"]
3481
+ },
3482
+ version: "6.d",
3483
+ logo: "https://github.com/Raku.png",
3484
+ i18n: {
3485
+ en: {
3486
+ name: "Raku",
3487
+ description: "A multi-paradigm language with grammars, concurrency, and rich dispatch.",
3488
+ longDescription: "Raku is a sibling of Perl with gradual typing, signatures, multiple dispatch, grammars, junctions, concurrency primitives, and expressive operators. It is designed for both small scripts and larger language-oriented programs.\n\nIt is used for text processing, command-line tools, parsers, automation, experimentation, and applications that benefit from built-in grammar support."
3489
+ },
3490
+ es: {
3491
+ name: "Raku",
3492
+ description: "Un lenguaje multiparadigma con grammars, concurrencia y dispatch expresivo.",
3493
+ longDescription: "Raku es un lenguaje hermano de Perl con tipado gradual, firmas, multiple dispatch, grammars, junctions, primitivas concurrentes y operadores expresivos. Sirve tanto para scripts pequenos como para programas orientados a lenguajes.\n\nSe usa en procesamiento de texto, herramientas de linea de comandos, parsers, automatizacion, experimentacion y aplicaciones que aprovechan soporte integrado para grammars."
3494
+ }
3495
+ }
3496
+ };
3497
+
2691
3498
  // src/languages/razor.ts
2692
3499
  var razor = {
2693
3500
  slug: "razor",
@@ -2717,6 +3524,35 @@ var razor = {
2717
3524
  }
2718
3525
  };
2719
3526
 
3527
+ // src/languages/reasonml.ts
3528
+ var reasonml = {
3529
+ slug: "reasonml",
3530
+ publishedDate: "2016-05-13",
3531
+ extensions: [".re", ".rei"],
3532
+ author: "Jordan Walke / Reason contributors",
3533
+ website: "https://reasonml.github.io",
3534
+ paradigms: ["functional", "statically typed", "multi-paradigm"],
3535
+ tooling: {
3536
+ runtimes: ["OCaml", "JavaScript"],
3537
+ packageManagers: ["opam", "npm"],
3538
+ ecosystems: ["OCaml", "JavaScript", "Web"]
3539
+ },
3540
+ version: "3.13.0",
3541
+ logo: "https://cdn.simpleicons.org/reason/DD4B39",
3542
+ i18n: {
3543
+ en: {
3544
+ name: "ReasonML",
3545
+ description: "A JavaScript-like syntax for OCaml and typed functional programming.",
3546
+ longDescription: "ReasonML is a syntax layer for OCaml that presents familiar braces and punctuation while retaining OCaml's modules, pattern matching, type inference, and functional foundations. It has been used with native OCaml and JavaScript compilation workflows.\n\nIt is used in OCaml-adjacent projects, typed UI code, libraries, and codebases that prefer Reason syntax over traditional OCaml syntax."
3547
+ },
3548
+ es: {
3549
+ name: "ReasonML",
3550
+ description: "Una sintaxis cercana a JavaScript para OCaml y programacion funcional tipada.",
3551
+ longDescription: "ReasonML es una capa de sintaxis para OCaml que presenta llaves y puntuacion familiares conservando modulos, pattern matching, inferencia de tipos y bases funcionales de OCaml. Se ha usado con flujos nativos y de compilacion a JavaScript.\n\nSe usa en proyectos cercanos a OCaml, UI tipada, bibliotecas y codebases que prefieren la sintaxis Reason frente a la sintaxis tradicional de OCaml."
3552
+ }
3553
+ }
3554
+ };
3555
+
2720
3556
  // src/languages/rego.ts
2721
3557
  var rego = {
2722
3558
  slug: "rego",
@@ -2746,6 +3582,64 @@ var rego = {
2746
3582
  }
2747
3583
  };
2748
3584
 
3585
+ // src/languages/rescript.ts
3586
+ var rescript = {
3587
+ slug: "rescript",
3588
+ publishedDate: "2020-07-01",
3589
+ extensions: [".res", ".resi"],
3590
+ author: "ReScript Association",
3591
+ website: "https://rescript-lang.org",
3592
+ paradigms: ["functional", "statically typed", "multi-paradigm", "javascript-targeted"],
3593
+ tooling: {
3594
+ runtimes: ["JavaScript", "Node.js", "Browser"],
3595
+ packageManagers: ["npm", "pnpm", "Yarn"],
3596
+ ecosystems: ["Web", "React", "JavaScript"]
3597
+ },
3598
+ version: "12.0.0",
3599
+ logo: "https://cdn.simpleicons.org/rescript/E6484A",
3600
+ i18n: {
3601
+ en: {
3602
+ name: "ReScript",
3603
+ description: "A typed language and compiler focused on ergonomic JavaScript output.",
3604
+ longDescription: "ReScript is a statically typed language for JavaScript targets with pattern matching, variants, modules, records, interop annotations, and a syntax tuned for web development. Its compiler and build tools focus on predictable generated JavaScript.\n\nIt is used in front-end applications, React codebases, shared libraries, and JavaScript projects that want compact type-safe source with explicit interop."
3605
+ },
3606
+ es: {
3607
+ name: "ReScript",
3608
+ description: "Un lenguaje tipado y compilador enfocado en generar JavaScript ergonomico.",
3609
+ longDescription: "ReScript es un lenguaje de tipado estatico para objetivos JavaScript con pattern matching, variants, modulos, records, anotaciones de interop y una sintaxis ajustada al desarrollo web. Su compilador y herramientas buscan JavaScript generado predecible.\n\nSe usa en aplicaciones front-end, codebases React, bibliotecas compartidas y proyectos JavaScript que buscan fuente compacta y segura con interop explicito."
3610
+ }
3611
+ }
3612
+ };
3613
+
3614
+ // src/languages/restructuredtext.ts
3615
+ var restructuredtext = {
3616
+ slug: "restructuredtext",
3617
+ publishedDate: "2001-06-01",
3618
+ extensions: [".rst", ".rest"],
3619
+ author: "David Goodger / Docutils contributors",
3620
+ website: "https://docutils.sourceforge.io/rst.html",
3621
+ paradigms: ["markup", "declarative", "documentation"],
3622
+ tooling: {
3623
+ runtimes: ["Docutils", "Sphinx"],
3624
+ packageManagers: ["pip"],
3625
+ ecosystems: ["Python", "Documentation", "Publishing"]
3626
+ },
3627
+ version: "Docutils 0.22.2",
3628
+ logo: "https://cdn.simpleicons.org/readthedocs/8CA1AF",
3629
+ i18n: {
3630
+ en: {
3631
+ name: "reStructuredText",
3632
+ description: "A plain-text markup format used by Docutils and Sphinx documentation.",
3633
+ longDescription: "reStructuredText is a structured plain-text markup language with sections, directives, roles, references, tables, lists, and extension points. Docutils defines the parser model and Sphinx extends it for technical documentation.\n\nIt is used for Python documentation, manuals, API references, books, project notes, and publishing workflows that need semantic markup from readable text."
3634
+ },
3635
+ es: {
3636
+ name: "reStructuredText",
3637
+ description: "Un formato de marcado en texto plano usado por Docutils y Sphinx.",
3638
+ longDescription: "reStructuredText es un lenguaje de marcado estructurado en texto plano con secciones, directives, roles, referencias, tablas, listas y puntos de extension. Docutils define su modelo de parser y Sphinx lo extiende para documentacion tecnica.\n\nSe usa en documentacion Python, manuales, referencias API, libros, notas de proyectos y flujos de publicacion que necesitan marcado semantico desde texto legible."
3639
+ }
3640
+ }
3641
+ };
3642
+
2749
3643
  // src/languages/ruby.ts
2750
3644
  var ruby = {
2751
3645
  slug: "ruby",
@@ -2804,6 +3698,34 @@ var rust = {
2804
3698
  }
2805
3699
  };
2806
3700
 
3701
+ // src/languages/sas.ts
3702
+ var sas = {
3703
+ slug: "sas",
3704
+ publishedDate: "1976-01-01",
3705
+ extensions: [".sas"],
3706
+ author: "SAS Institute",
3707
+ website: "https://www.sas.com",
3708
+ paradigms: ["data-step", "procedural", "statistical", "domain-specific"],
3709
+ tooling: {
3710
+ runtimes: ["SAS 9", "SAS Viya"],
3711
+ ecosystems: ["Analytics", "Statistics", "Enterprise Data"]
3712
+ },
3713
+ version: "SAS 9.4",
3714
+ logo: "https://upload.wikimedia.org/wikipedia/commons/1/10/SAS_logo_horiz.svg",
3715
+ i18n: {
3716
+ en: {
3717
+ name: "SAS",
3718
+ description: "A language and system for statistical analysis and data processing.",
3719
+ longDescription: "SAS programs combine DATA steps, procedures, macros, formats, libraries, and analytics-oriented statements to transform and analyze data. The language is tightly linked to the SAS platform and its statistical tooling.\n\nIt is used in analytics, regulated reporting, clinical workflows, data preparation, forecasting, and enterprise statistical systems."
3720
+ },
3721
+ es: {
3722
+ name: "SAS",
3723
+ description: "Un lenguaje y sistema para analisis estadistico y procesamiento de datos.",
3724
+ longDescription: "Los programas SAS combinan DATA steps, procedimientos, macros, formatos, libraries y sentencias orientadas a analitica para transformar y analizar datos. El lenguaje esta ligado a la plataforma SAS y su tooling estadistico.\n\nSe usa en analitica, reportes regulados, flujos clinicos, preparacion de datos, pronosticos y sistemas estadisticos empresariales."
3725
+ }
3726
+ }
3727
+ };
3728
+
2807
3729
  // src/languages/scala.ts
2808
3730
  var scala = {
2809
3731
  slug: "scala",
@@ -2833,6 +3755,34 @@ var scala = {
2833
3755
  }
2834
3756
  };
2835
3757
 
3758
+ // src/languages/scheme.ts
3759
+ var scheme = {
3760
+ slug: "scheme",
3761
+ publishedDate: "1975-12-01",
3762
+ extensions: [".scm", ".ss", ".sld", ".sls"],
3763
+ author: "Guy L. Steele Jr. / Gerald Jay Sussman",
3764
+ website: "https://www.scheme.org",
3765
+ paradigms: ["functional", "lisp", "minimal", "multi-paradigm"],
3766
+ tooling: {
3767
+ runtimes: ["Chez Scheme", "Guile", "Racket", "Chicken"],
3768
+ ecosystems: ["Lisp", "Education", "Language Research"]
3769
+ },
3770
+ version: "R7RS small",
3771
+ logo: "https://cdn.simpleicons.org/racket/9F1D20",
3772
+ i18n: {
3773
+ en: {
3774
+ name: "Scheme",
3775
+ description: "A small Lisp family language centered on lexical scope and procedures.",
3776
+ longDescription: "Scheme is a Lisp dialect known for a compact core, lexical scoping, first-class procedures, macros, continuations, and a tradition of language experimentation. Standards define a portable base while implementations add libraries and tooling.\n\nIt is used in teaching, compilers, scripting, research, embedded extension systems, and programs that value a small expressive language core."
3777
+ },
3778
+ es: {
3779
+ name: "Scheme",
3780
+ description: "Un lenguaje de la familia Lisp centrado en alcance lexico y procedimientos.",
3781
+ longDescription: "Scheme es un dialecto Lisp conocido por un nucleo compacto, alcance lexico, procedimientos de primera clase, macros, continuations y una tradicion de experimentacion con lenguajes. Los estandares definen una base portable mientras las implementaciones agregan bibliotecas.\n\nSe usa en ensenanza, compiladores, scripting, investigacion, sistemas de extension embebidos y programas que valoran un nucleo expresivo pequeno."
3782
+ }
3783
+ }
3784
+ };
3785
+
2836
3786
  // src/languages/scss.ts
2837
3787
  var scss = {
2838
3788
  slug: "scss",
@@ -2862,6 +3812,63 @@ var scss = {
2862
3812
  }
2863
3813
  };
2864
3814
 
3815
+ // src/languages/smalltalk.ts
3816
+ var smalltalk = {
3817
+ slug: "smalltalk",
3818
+ publishedDate: "1972-01-01",
3819
+ extensions: [".st"],
3820
+ author: "Alan Kay / Dan Ingalls / Adele Goldberg",
3821
+ website: "https://squeak.org",
3822
+ paradigms: ["object-oriented", "message-passing", "reflective", "dynamic"],
3823
+ tooling: {
3824
+ runtimes: ["Pharo", "Squeak", "GNU Smalltalk"],
3825
+ ecosystems: ["Images", "Education", "Object Systems"]
3826
+ },
3827
+ version: "ANSI INCITS 319-1998",
3828
+ logo: "https://commons.wikimedia.org/wiki/Special:FilePath/Smalltalk_Balloon.svg",
3829
+ i18n: {
3830
+ en: {
3831
+ name: "Smalltalk",
3832
+ description: "A message-oriented object language with live image-based environments.",
3833
+ longDescription: "Smalltalk helped define object-oriented programming through message sends, classes, blocks, reflection, and interactive image environments. Many implementations pair the language with live browsers, inspectors, and debuggers.\n\nIt is used for education, research, long-lived business systems, simulations, and exploratory programming inside live object images."
3834
+ },
3835
+ es: {
3836
+ name: "Smalltalk",
3837
+ description: "Un lenguaje orientado a mensajes y objetos con entornos de imagen vivos.",
3838
+ longDescription: "Smalltalk ayudo a definir la programacion orientada a objetos mediante mensajes, clases, bloques, reflexion y entornos interactivos basados en imagenes. Muchas implementaciones combinan el lenguaje con browsers, inspectors y debuggers vivos.\n\nSe usa en educacion, investigacion, sistemas de negocio longevos, simulaciones y programacion exploratoria dentro de imagenes de objetos."
3839
+ }
3840
+ }
3841
+ };
3842
+
3843
+ // src/languages/smarty.ts
3844
+ var smarty = {
3845
+ slug: "smarty",
3846
+ publishedDate: "2001-01-01",
3847
+ extensions: [".tpl", ".smarty"],
3848
+ author: "Monte Ohrt / Andrei Zmievski / Smarty contributors",
3849
+ website: "https://www.smarty.net",
3850
+ paradigms: ["templating", "declarative", "markup"],
3851
+ tooling: {
3852
+ runtimes: ["PHP"],
3853
+ packageManagers: ["Composer"],
3854
+ ecosystems: ["PHP", "Web"]
3855
+ },
3856
+ version: "5.5.1",
3857
+ logo: "https://www.smarty.net/images/logo_print.gif",
3858
+ i18n: {
3859
+ en: {
3860
+ name: "Smarty",
3861
+ description: "A PHP template language for presentation logic and reusable views.",
3862
+ longDescription: "Smarty is a PHP templating system with tags, modifiers, functions, plugins, inheritance, and caching features for separating presentation templates from application code. Templates are compiled for execution by PHP.\n\nIt is used in PHP applications, themes, CMS views, emails, and server-rendered web projects that maintain separate template files."
3863
+ },
3864
+ es: {
3865
+ name: "Smarty",
3866
+ description: "Un lenguaje de plantillas PHP para logica de presentacion y vistas reutilizables.",
3867
+ longDescription: "Smarty es un sistema de plantillas PHP con tags, modifiers, funciones, plugins, herencia y cache para separar plantillas de presentacion del codigo de aplicacion. Las plantillas se compilan para ejecutarse con PHP.\n\nSe usa en aplicaciones PHP, temas, vistas de CMS, emails y proyectos web renderizados en servidor que mantienen archivos de plantillas separados."
3868
+ }
3869
+ }
3870
+ };
3871
+
2865
3872
  // src/languages/solidity.ts
2866
3873
  var solidity = {
2867
3874
  slug: "solidity",
@@ -2915,6 +3922,34 @@ var sql = {
2915
3922
  }
2916
3923
  };
2917
3924
 
3925
+ // src/languages/standard-ml.ts
3926
+ var standardMl = {
3927
+ slug: "standard-ml",
3928
+ publishedDate: "1990-01-01",
3929
+ extensions: [".sml", ".sig", ".fun"],
3930
+ author: "Robin Milner and collaborators",
3931
+ website: "https://smlfamily.github.io",
3932
+ paradigms: ["functional", "statically typed", "module-oriented"],
3933
+ tooling: {
3934
+ runtimes: ["MLton", "Standard ML of New Jersey", "Poly/ML"],
3935
+ ecosystems: ["ML", "Compilers", "Research"]
3936
+ },
3937
+ version: "The Definition 1997",
3938
+ logo: "https://avatars.githubusercontent.com/u/62883579?v=4",
3939
+ i18n: {
3940
+ en: {
3941
+ name: "Standard ML",
3942
+ description: "A statically typed ML language with modules and pattern matching.",
3943
+ longDescription: "Standard ML defines a strict functional language with algebraic datatypes, pattern matching, type inference, exceptions, and a strong module system with signatures and functors. Its formal definition shaped much ML-family work.\n\nIt is used in compilers, theorem tools, teaching, research, and projects that need a small typed functional core with robust modules."
3944
+ },
3945
+ es: {
3946
+ name: "Standard ML",
3947
+ description: "Un lenguaje ML tipado con modulos y pattern matching.",
3948
+ longDescription: "Standard ML define un lenguaje funcional estricto con datatypes algebraicos, pattern matching, inferencia de tipos, excepciones y un sistema fuerte de modulos con signatures y functors. Su definicion formal influyo mucho en la familia ML.\n\nSe usa en compiladores, herramientas de teoremas, ensenanza, investigacion y proyectos que necesitan un nucleo funcional tipado con modulos robustos."
3949
+ }
3950
+ }
3951
+ };
3952
+
2918
3953
  // src/languages/starlark.ts
2919
3954
  var starlark = {
2920
3955
  slug: "starlark",
@@ -2944,6 +3979,63 @@ var starlark = {
2944
3979
  }
2945
3980
  };
2946
3981
 
3982
+ // src/languages/stata.ts
3983
+ var stata = {
3984
+ slug: "stata",
3985
+ publishedDate: "1985-01-01",
3986
+ extensions: [".do", ".ado", ".mata"],
3987
+ author: "StataCorp",
3988
+ website: "https://www.stata.com",
3989
+ paradigms: ["statistical", "scripting", "data-analysis", "domain-specific"],
3990
+ tooling: {
3991
+ runtimes: ["Stata"],
3992
+ ecosystems: ["Statistics", "Econometrics", "Research"]
3993
+ },
3994
+ version: "19",
3995
+ logo: "https://www.stata.com/includes/images/stata-logo-blue.svg",
3996
+ i18n: {
3997
+ en: {
3998
+ name: "Stata",
3999
+ description: "A command language for statistical analysis, data management, and graphics.",
4000
+ longDescription: "Stata commands and do-files cover data preparation, estimation, graphics, reporting, and programmable workflows, with Mata available for matrix-oriented programming. The language is tied to the Stata statistical environment.\n\nIt is used in economics, public health, social science, policy analysis, teaching, and reproducible statistical research."
4001
+ },
4002
+ es: {
4003
+ name: "Stata",
4004
+ description: "Un lenguaje de comandos para analisis estadistico, datos y graficos.",
4005
+ longDescription: "Los comandos y do-files de Stata cubren preparacion de datos, estimacion, graficos, reportes y flujos programables, con Mata para programacion orientada a matrices. El lenguaje esta ligado al entorno estadistico Stata.\n\nSe usa en economia, salud publica, ciencias sociales, analisis de politicas, ensenanza e investigacion estadistica reproducible."
4006
+ }
4007
+ }
4008
+ };
4009
+
4010
+ // src/languages/stylus.ts
4011
+ var stylus = {
4012
+ slug: "stylus",
4013
+ publishedDate: "2010-12-01",
4014
+ extensions: [".styl"],
4015
+ author: "TJ Holowaychuk / Stylus contributors",
4016
+ website: "https://stylus-lang.com",
4017
+ paradigms: ["stylesheet", "declarative", "preprocessor"],
4018
+ tooling: {
4019
+ runtimes: ["Node.js"],
4020
+ packageManagers: ["npm", "pnpm", "Yarn"],
4021
+ ecosystems: ["CSS", "Web"]
4022
+ },
4023
+ version: "0.64.0",
4024
+ logo: "https://cdn.simpleicons.org/stylus/333333",
4025
+ i18n: {
4026
+ en: {
4027
+ name: "Stylus",
4028
+ description: "A flexible CSS preprocessor with optional punctuation and indentation syntax.",
4029
+ longDescription: "Stylus extends stylesheet authoring with variables, mixins, functions, imports, nesting, and a syntax that can omit braces, colons, and semicolons. It compiles authoring files into CSS.\n\nIt is used in web styling pipelines, design systems, legacy front-end builds, and projects that prefer concise stylesheet syntax."
4030
+ },
4031
+ es: {
4032
+ name: "Stylus",
4033
+ description: "Un preprocesador CSS flexible con puntuacion opcional y sintaxis por indentacion.",
4034
+ longDescription: "Stylus extiende la autoria de estilos con variables, mixins, funciones, imports, nesting y una sintaxis que puede omitir llaves, dos puntos y punto y coma. Compila archivos de autoria hacia CSS.\n\nSe usa en pipelines de estilos web, sistemas de diseno, builds front-end heredados y proyectos que prefieren sintaxis de hojas de estilo concisa."
4035
+ }
4036
+ }
4037
+ };
4038
+
2947
4039
  // src/languages/svelte.ts
2948
4040
  var svelte = {
2949
4041
  slug: "svelte",
@@ -3116,6 +4208,63 @@ var tex = {
3116
4208
  }
3117
4209
  };
3118
4210
 
4211
+ // src/languages/thrift.ts
4212
+ var thrift = {
4213
+ slug: "thrift",
4214
+ publishedDate: "2007-04-01",
4215
+ extensions: [".thrift"],
4216
+ author: "Facebook / Apache Software Foundation",
4217
+ website: "https://thrift.apache.org",
4218
+ paradigms: ["interface-definition", "schema", "declarative", "rpc"],
4219
+ tooling: {
4220
+ runtimes: ["Apache Thrift Runtime"],
4221
+ packageManagers: ["Maven", "npm", "PyPI", "Go modules"],
4222
+ ecosystems: ["RPC", "APIs", "Distributed Systems"]
4223
+ },
4224
+ version: "0.22.0",
4225
+ logo: "https://cdn.simpleicons.org/apache/D22128",
4226
+ i18n: {
4227
+ en: {
4228
+ name: "Apache Thrift",
4229
+ description: "An IDL for cross-language services and serializable data types.",
4230
+ longDescription: "Thrift files define services, structs, fields, enums, exceptions, namespaces, and wire-level choices that generators turn into code for many languages. The project includes protocols and transports for RPC use.\n\nIt is used for service contracts, schema sharing, code generation, distributed systems, and cross-language APIs."
4231
+ },
4232
+ es: {
4233
+ name: "Apache Thrift",
4234
+ description: "Un IDL para servicios entre lenguajes y tipos de datos serializables.",
4235
+ longDescription: "Los archivos Thrift definen servicios, structs, campos, enums, excepciones, namespaces y decisiones de wire que los generadores convierten en codigo para muchos lenguajes. El proyecto incluye protocolos y transports para RPC.\n\nSe usa en contratos de servicios, schemas compartidos, generacion de codigo, sistemas distribuidos y APIs entre lenguajes."
4236
+ }
4237
+ }
4238
+ };
4239
+
4240
+ // src/languages/tla-plus.ts
4241
+ var tlaPlus = {
4242
+ slug: "tla-plus",
4243
+ publishedDate: "1999-01-01",
4244
+ extensions: [".tla"],
4245
+ author: "Leslie Lamport",
4246
+ website: "https://lamport.azurewebsites.net/tla/tla.html",
4247
+ paradigms: ["specification", "formal-methods", "temporal-logic", "declarative"],
4248
+ tooling: {
4249
+ runtimes: ["TLC", "TLA+ Toolbox", "Apalache"],
4250
+ ecosystems: ["Formal Methods", "Distributed Systems", "Verification"]
4251
+ },
4252
+ version: "TLA+ 2",
4253
+ logo: "https://avatars.githubusercontent.com/u/315978?v=4",
4254
+ i18n: {
4255
+ en: {
4256
+ name: "TLA+",
4257
+ description: "A formal specification language for state machines and temporal properties.",
4258
+ longDescription: "TLA+ describes systems as mathematical state transitions with actions, invariants, temporal formulas, modules, and refinement-oriented specifications. Tooling such as TLC explores behaviors to check models.\n\nIt is used to reason about distributed algorithms, protocols, concurrency, safety properties, design reviews, and systems where a precise specification catches failures early."
4259
+ },
4260
+ es: {
4261
+ name: "TLA+",
4262
+ description: "Un lenguaje de especificacion formal para estados y propiedades temporales.",
4263
+ longDescription: "TLA+ describe sistemas como transiciones matematicas de estado con acciones, invariantes, formulas temporales, modulos y especificaciones orientadas a refinamiento. Herramientas como TLC exploran comportamientos para revisar modelos.\n\nSe usa para razonar sobre algoritmos distribuidos, protocolos, concurrencia, propiedades de seguridad, revisiones de diseno y sistemas donde una especificacion precisa detecta fallos temprano."
4264
+ }
4265
+ }
4266
+ };
4267
+
3119
4268
  // src/languages/toml.ts
3120
4269
  var toml = {
3121
4270
  slug: "toml",
@@ -3227,6 +4376,64 @@ var typst = {
3227
4376
  }
3228
4377
  };
3229
4378
 
4379
+ // src/languages/v.ts
4380
+ var v = {
4381
+ slug: "v",
4382
+ publishedDate: "2019-06-20",
4383
+ extensions: [".v", ".vsh"],
4384
+ author: "Alexander Medvednikov / V contributors",
4385
+ website: "https://vlang.io",
4386
+ paradigms: ["imperative", "systems", "multi-paradigm", "statically typed"],
4387
+ tooling: {
4388
+ runtimes: ["V compiler"],
4389
+ packageManagers: ["vpm"],
4390
+ ecosystems: ["Native", "Web", "Systems"]
4391
+ },
4392
+ version: "weekly.2025.49",
4393
+ logo: "https://cdn.simpleicons.org/v/5D87BF",
4394
+ i18n: {
4395
+ en: {
4396
+ name: "V",
4397
+ description: "A compiled statically typed language for simple native application builds.",
4398
+ longDescription: "V is a compiled language with modules, sum types, generics, concurrency syntax, C interop, and a toolchain that emphasizes quick compilation and small deployment workflows. It targets C and native outputs through its compiler.\n\nIt is used for command-line tools, native applications, experiments, web services, and projects that prefer an integrated lightweight toolchain."
4399
+ },
4400
+ es: {
4401
+ name: "V",
4402
+ description: "Un lenguaje compilado y tipado para construir aplicaciones nativas simples.",
4403
+ longDescription: "V es un lenguaje compilado con modulos, sum types, generics, sintaxis concurrente, interop con C y un toolchain que enfatiza compilacion rapida y despliegues pequenos. Su compilador apunta a C y salidas nativas.\n\nSe usa en herramientas de linea de comandos, aplicaciones nativas, experimentos, servicios web y proyectos que prefieren un toolchain ligero e integrado."
4404
+ }
4405
+ }
4406
+ };
4407
+
4408
+ // src/languages/vala.ts
4409
+ var vala = {
4410
+ slug: "vala",
4411
+ publishedDate: "2006-07-15",
4412
+ extensions: [".vala", ".vapi"],
4413
+ author: "Jurg Billeter / GNOME contributors",
4414
+ website: "https://vala.dev",
4415
+ paradigms: ["object-oriented", "statically typed", "gnome", "c-targeted"],
4416
+ tooling: {
4417
+ runtimes: ["GLib", "GObject"],
4418
+ packageManagers: ["Meson", "pkg-config"],
4419
+ ecosystems: ["GNOME", "GTK", "Native"]
4420
+ },
4421
+ version: "0.56.18",
4422
+ logo: "https://cdn.simpleicons.org/gnome/4A86CF",
4423
+ i18n: {
4424
+ en: {
4425
+ name: "Vala",
4426
+ description: "A GNOME-oriented language that compiles high-level syntax to C.",
4427
+ longDescription: "Vala provides classes, interfaces, properties, generics, signals, and async syntax over GLib and GObject conventions, compiling source into C. VAPI files describe bindings to existing C libraries.\n\nIt is used for GTK applications, GNOME libraries, native tools, bindings, and projects that want high-level source while integrating with C APIs."
4428
+ },
4429
+ es: {
4430
+ name: "Vala",
4431
+ description: "Un lenguaje orientado a GNOME que compila sintaxis de alto nivel a C.",
4432
+ longDescription: "Vala ofrece clases, interfaces, propiedades, generics, signals y sintaxis async sobre las convenciones de GLib y GObject, compilando fuente hacia C. Los archivos VAPI describen bindings a bibliotecas C existentes.\n\nSe usa en aplicaciones GTK, bibliotecas GNOME, herramientas nativas, bindings y proyectos que buscan fuente de alto nivel integrada con APIs C."
4433
+ }
4434
+ }
4435
+ };
4436
+
3230
4437
  // src/languages/verilog.ts
3231
4438
  var verilog = {
3232
4439
  slug: "verilog",
@@ -3343,6 +4550,35 @@ var vue = {
3343
4550
  }
3344
4551
  };
3345
4552
 
4553
+ // src/languages/vyper.ts
4554
+ var vyper = {
4555
+ slug: "vyper",
4556
+ publishedDate: "2017-07-19",
4557
+ extensions: [".vy"],
4558
+ author: "Vyper contributors",
4559
+ website: "https://vyperlang.org",
4560
+ paradigms: ["smart-contract", "statically typed", "domain-specific", "imperative"],
4561
+ tooling: {
4562
+ runtimes: ["Ethereum Virtual Machine"],
4563
+ packageManagers: ["pip", "uv"],
4564
+ ecosystems: ["Ethereum", "Smart Contracts", "Web3"]
4565
+ },
4566
+ version: "0.4.3",
4567
+ logo: "https://avatars.githubusercontent.com/u/37288461?v=4",
4568
+ i18n: {
4569
+ en: {
4570
+ name: "Vyper",
4571
+ description: "A Pythonic smart contract language for the Ethereum Virtual Machine.",
4572
+ longDescription: "Vyper is a contract language for Ethereum that favors explicit behavior, bounds, and auditability over broad language surface area. Its syntax is Python-like while its compiler emits EVM bytecode.\n\nIt is used for Ethereum smart contracts, financial protocols, on-chain experiments, and codebases that prefer a deliberately constrained contract language."
4573
+ },
4574
+ es: {
4575
+ name: "Vyper",
4576
+ description: "Un lenguaje de smart contracts con sintaxis Python para Ethereum.",
4577
+ longDescription: "Vyper es un lenguaje de contratos para Ethereum que favorece comportamiento explicito, limites y auditabilidad sobre una superficie amplia del lenguaje. Su sintaxis es parecida a Python y su compilador emite bytecode EVM.\n\nSe usa en smart contracts de Ethereum, protocolos financieros, experimentos on-chain y codebases que prefieren un lenguaje de contratos deliberadamente restringido."
4578
+ }
4579
+ }
4580
+ };
4581
+
3346
4582
  // src/languages/webassembly.ts
3347
4583
  var webassembly = {
3348
4584
  slug: "webassembly",
@@ -3401,6 +4637,34 @@ var wgsl = {
3401
4637
  }
3402
4638
  };
3403
4639
 
4640
+ // src/languages/wren.ts
4641
+ var wren = {
4642
+ slug: "wren",
4643
+ publishedDate: "2013-10-31",
4644
+ extensions: [".wren"],
4645
+ author: "Bob Nystrom / Wren contributors",
4646
+ website: "https://wren.io",
4647
+ paradigms: ["object-oriented", "scripting", "class-based", "dynamic"],
4648
+ tooling: {
4649
+ runtimes: ["Wren VM"],
4650
+ ecosystems: ["Embedding", "Games", "Scripting"]
4651
+ },
4652
+ version: "0.4.0",
4653
+ logo: "https://avatars.githubusercontent.com/u/8763410?v=4",
4654
+ i18n: {
4655
+ en: {
4656
+ name: "Wren",
4657
+ description: "A small class-based scripting language designed for embedding.",
4658
+ longDescription: "Wren is a compact dynamic language with classes, fibers, modules, closures, and a VM intended to embed cleanly in host applications. Its syntax keeps scripting programs short while preserving an object-oriented model.\n\nIt is used for embedded scripting, game experiments, tools, teaching, and applications that need a small embeddable language runtime."
4659
+ },
4660
+ es: {
4661
+ name: "Wren",
4662
+ description: "Un lenguaje pequeno de scripting basado en clases y pensado para embeberse.",
4663
+ longDescription: "Wren es un lenguaje dinamico compacto con clases, fibers, modulos, closures y una VM pensada para integrarse limpiamente en aplicaciones anfitrionas. Su sintaxis mantiene scripts breves y conserva un modelo orientado a objetos.\n\nSe usa en scripting embebido, experimentos de juegos, herramientas, ensenanza y aplicaciones que necesitan un runtime de lenguaje pequeno."
4664
+ }
4665
+ }
4666
+ };
4667
+
3404
4668
  // src/languages/xaml.ts
3405
4669
  var xaml = {
3406
4670
  slug: "xaml",
@@ -3535,6 +4799,35 @@ var yaml = {
3535
4799
  }
3536
4800
  };
3537
4801
 
4802
+ // src/languages/zeek.ts
4803
+ var zeek = {
4804
+ slug: "zeek",
4805
+ publishedDate: "1995-01-01",
4806
+ extensions: [".zeek", ".bro"],
4807
+ author: "Vern Paxson / Zeek Project",
4808
+ website: "https://zeek.org",
4809
+ paradigms: ["event-driven", "network-analysis", "domain-specific", "scripting"],
4810
+ tooling: {
4811
+ runtimes: ["Zeek"],
4812
+ packageManagers: ["zkg"],
4813
+ ecosystems: ["Network Security", "Observability", "Incident Response"]
4814
+ },
4815
+ version: "8.0.4",
4816
+ logo: "https://avatars.githubusercontent.com/u/10666805?v=4",
4817
+ i18n: {
4818
+ en: {
4819
+ name: "Zeek",
4820
+ description: "An event-driven scripting language for network analysis and security policy.",
4821
+ longDescription: "Zeek scripts describe events, records, analyzers, notices, logging, and policy logic over network traffic observed by the Zeek monitor. The language lets analysts extend protocol and detection behavior.\n\nIt is used in network security monitoring, incident response, traffic analysis, telemetry pipelines, and site-specific security policy."
4822
+ },
4823
+ es: {
4824
+ name: "Zeek",
4825
+ description: "Un lenguaje event-driven para analisis de red y politicas de seguridad.",
4826
+ longDescription: "Los scripts Zeek describen eventos, records, analyzers, notices, logging y logica de politica sobre trafico de red observado por el monitor Zeek. El lenguaje permite extender comportamiento de protocolos y deteccion.\n\nSe usa en monitoreo de seguridad de red, respuesta a incidentes, analisis de trafico, pipelines de telemetria y politicas de seguridad especificas del sitio."
4827
+ }
4828
+ }
4829
+ };
4830
+
3538
4831
  // src/languages/zig.ts
3539
4832
  var zig = {
3540
4833
  slug: "zig",
@@ -3564,6 +4857,34 @@ var zig = {
3564
4857
  }
3565
4858
  };
3566
4859
 
4860
+ // src/languages/ziggy.ts
4861
+ var ziggy = {
4862
+ slug: "ziggy",
4863
+ publishedDate: "2023-10-02",
4864
+ extensions: [".ziggy", ".ziggy-schema"],
4865
+ author: "Loris Cro",
4866
+ website: "https://ziggy-lang.io",
4867
+ paradigms: ["data-notation", "schema", "declarative", "configuration"],
4868
+ tooling: {
4869
+ runtimes: ["Ziggy CLI"],
4870
+ ecosystems: ["Configuration", "Data Formats", "Zig"]
4871
+ },
4872
+ version: "0.1.0",
4873
+ logo: "https://avatars.githubusercontent.com/u/1642052?v=4",
4874
+ i18n: {
4875
+ en: {
4876
+ name: "Ziggy",
4877
+ description: "A data notation and schema language for configuration-style documents.",
4878
+ longDescription: "Ziggy is a data language for readable structured documents with a companion schema form for describing expected shapes. It targets configuration and data interchange workflows with tooling around Zig ecosystems.\n\nIt is used for configuration files, schema-checked data documents, tooling experiments, and projects that want a compact typed data notation."
4879
+ },
4880
+ es: {
4881
+ name: "Ziggy",
4882
+ description: "Una notacion de datos y schemas para documentos de configuracion.",
4883
+ longDescription: "Ziggy es un lenguaje de datos para documentos estructurados legibles con una forma de schema complementaria para describir shapes esperados. Apunta a configuracion e intercambio de datos con tooling cercano al ecosistema Zig.\n\nSe usa en archivos de configuracion, documentos de datos validados por schemas, experimentos de tooling y proyectos que buscan una notacion de datos compacta y tipada."
4884
+ }
4885
+ }
4886
+ };
4887
+
3567
4888
  // src/languages/zsh.ts
3568
4889
  var zsh = {
3569
4890
  slug: "zsh",
@@ -3598,6 +4919,7 @@ var languages = [
3598
4919
  abap,
3599
4920
  actionscript,
3600
4921
  ada,
4922
+ agda,
3601
4923
  antlr,
3602
4924
  apex,
3603
4925
  apl,
@@ -3615,11 +4937,15 @@ var languages = [
3615
4937
  bicep,
3616
4938
  blade,
3617
4939
  c,
4940
+ carbon,
4941
+ chapel,
4942
+ circom,
3618
4943
  cmake,
3619
4944
  clojure,
3620
4945
  coffeescript,
3621
4946
  coldfusion,
3622
4947
  cobol,
4948
+ coq,
3623
4949
  cpp,
3624
4950
  csharp,
3625
4951
  crystal,
@@ -3629,7 +4955,10 @@ var languages = [
3629
4955
  cython,
3630
4956
  d,
3631
4957
  dart,
4958
+ dhall,
4959
+ dita,
3632
4960
  dockerfile,
4961
+ earthly,
3633
4962
  elixir,
3634
4963
  elm,
3635
4964
  erb,
@@ -3647,79 +4976,117 @@ var languages = [
3647
4976
  graphql,
3648
4977
  groovy,
3649
4978
  handlebars,
4979
+ hack,
4980
+ haml,
3650
4981
  haskell,
3651
4982
  haxe,
3652
4983
  hcl,
3653
4984
  hlsl,
3654
4985
  html,
4986
+ idris,
3655
4987
  ini,
3656
4988
  java,
3657
4989
  javascript,
4990
+ janet,
3658
4991
  jinja,
3659
4992
  json,
3660
4993
  jsonnet,
3661
4994
  jupyterNotebook,
3662
4995
  julia,
3663
4996
  kotlin,
4997
+ lean,
3664
4998
  less,
3665
4999
  liquid,
3666
5000
  lisp,
5001
+ llvmIr,
3667
5002
  lua,
5003
+ luau,
5004
+ mako,
3668
5005
  makefile,
5006
+ mathematica,
3669
5007
  matlab,
3670
5008
  markdown,
3671
5009
  mdx,
3672
5010
  mermaid,
3673
5011
  meson,
3674
5012
  metal,
5013
+ mojo,
5014
+ moonbit,
3675
5015
  svn,
3676
5016
  nginx,
3677
5017
  nim,
3678
5018
  nix,
3679
5019
  ocaml,
3680
5020
  objectiveC,
5021
+ odin,
5022
+ opencl,
3681
5023
  pascal,
3682
5024
  perl,
3683
5025
  php,
5026
+ pineScript,
3684
5027
  plantuml,
5028
+ plsql,
5029
+ pony,
3685
5030
  powershell,
3686
5031
  prolog,
5032
+ promql,
3687
5033
  protobuf,
3688
5034
  pug,
5035
+ purescript,
3689
5036
  python,
3690
5037
  qml,
5038
+ qsharp,
3691
5039
  r,
5040
+ raku,
3692
5041
  racket,
3693
5042
  razor,
5043
+ reasonml,
3694
5044
  rego,
5045
+ rescript,
5046
+ restructuredtext,
3695
5047
  ruby,
3696
5048
  rust,
5049
+ sas,
3697
5050
  scala,
3698
5051
  scss,
5052
+ scheme,
5053
+ smalltalk,
5054
+ smarty,
3699
5055
  solidity,
3700
5056
  sql,
5057
+ standardMl,
3701
5058
  starlark,
5059
+ stata,
5060
+ stylus,
3702
5061
  svg,
3703
5062
  svelte,
3704
5063
  swift,
3705
5064
  tcl,
3706
5065
  tex,
5066
+ thrift,
5067
+ tlaPlus,
3707
5068
  toml,
3708
5069
  twig,
3709
5070
  typescript,
3710
5071
  typst,
5072
+ v,
5073
+ vala,
3711
5074
  verilog,
3712
5075
  vhdl,
3713
5076
  visualBasic,
3714
5077
  vue,
5078
+ vyper,
3715
5079
  webassembly,
3716
5080
  wgsl,
5081
+ wren,
3717
5082
  xaml,
3718
5083
  xml,
3719
5084
  xquery,
3720
5085
  xslt,
3721
5086
  yaml,
5087
+ zeek,
3722
5088
  zig,
5089
+ ziggy,
3723
5090
  zsh
3724
5091
  ];
3725
5092