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
@@ -0,0 +1,33 @@
1
+ 'use strict';
2
+
3
+ // src/languages/tla-plus.ts
4
+ var tlaPlus = {
5
+ slug: "tla-plus",
6
+ publishedDate: "1999-01-01",
7
+ extensions: [".tla"],
8
+ author: "Leslie Lamport",
9
+ website: "https://lamport.azurewebsites.net/tla/tla.html",
10
+ paradigms: ["specification", "formal-methods", "temporal-logic", "declarative"],
11
+ tooling: {
12
+ runtimes: ["TLC", "TLA+ Toolbox", "Apalache"],
13
+ ecosystems: ["Formal Methods", "Distributed Systems", "Verification"]
14
+ },
15
+ version: "TLA+ 2",
16
+ logo: "https://avatars.githubusercontent.com/u/315978?v=4",
17
+ i18n: {
18
+ en: {
19
+ name: "TLA+",
20
+ description: "A formal specification language for state machines and temporal properties.",
21
+ 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."
22
+ },
23
+ es: {
24
+ name: "TLA+",
25
+ description: "Un lenguaje de especificacion formal para estados y propiedades temporales.",
26
+ 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."
27
+ }
28
+ }
29
+ };
30
+
31
+ exports.tlaPlus = tlaPlus;
32
+ //# sourceMappingURL=tla-plus.cjs.map
33
+ //# sourceMappingURL=tla-plus.cjs.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../src/languages/tla-plus.ts"],"names":[],"mappings":";;;AAEO,IAAM,OAAA,GAAU;AAAA,EACrB,IAAA,EAAM,UAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,MAAM,CAAA;AAAA,EACnB,MAAA,EAAQ,gBAAA;AAAA,EACR,OAAA,EAAS,gDAAA;AAAA,EACT,SAAA,EAAW,CAAC,eAAA,EAAiB,gBAAA,EAAkB,kBAAkB,aAAa,CAAA;AAAA,EAC9E,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,KAAA,EAAO,cAAA,EAAgB,UAAU,CAAA;AAAA,IAC5C,UAAA,EAAY,CAAC,gBAAA,EAAkB,qBAAA,EAAuB,cAAc;AAAA,GACtE;AAAA,EACA,OAAA,EAAS,QAAA;AAAA,EACT,IAAA,EAAM,oDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,6EAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,6EAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"tla-plus.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const tlaPlus = {\n slug: \"tla-plus\",\n publishedDate: \"1999-01-01\",\n extensions: [\".tla\"],\n author: \"Leslie Lamport\",\n website: \"https://lamport.azurewebsites.net/tla/tla.html\",\n paradigms: [\"specification\", \"formal-methods\", \"temporal-logic\", \"declarative\"],\n tooling: {\n runtimes: [\"TLC\", \"TLA+ Toolbox\", \"Apalache\"],\n ecosystems: [\"Formal Methods\", \"Distributed Systems\", \"Verification\"],\n },\n version: \"TLA+ 2\",\n logo: \"https://avatars.githubusercontent.com/u/315978?v=4\",\n i18n: {\n en: {\n name: \"TLA+\",\n description: \"A formal specification language for state machines and temporal properties.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"TLA+\",\n description: \"Un lenguaje de especificacion formal para estados y propiedades temporales.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
@@ -0,0 +1,28 @@
1
+ declare const tlaPlus: {
2
+ slug: string;
3
+ publishedDate: string;
4
+ extensions: string[];
5
+ author: string;
6
+ website: string;
7
+ paradigms: string[];
8
+ tooling: {
9
+ runtimes: string[];
10
+ ecosystems: string[];
11
+ };
12
+ version: string;
13
+ logo: string;
14
+ i18n: {
15
+ en: {
16
+ name: string;
17
+ description: string;
18
+ longDescription: string;
19
+ };
20
+ es: {
21
+ name: string;
22
+ description: string;
23
+ longDescription: string;
24
+ };
25
+ };
26
+ };
27
+
28
+ export { tlaPlus };
@@ -0,0 +1,28 @@
1
+ declare const tlaPlus: {
2
+ slug: string;
3
+ publishedDate: string;
4
+ extensions: string[];
5
+ author: string;
6
+ website: string;
7
+ paradigms: string[];
8
+ tooling: {
9
+ runtimes: string[];
10
+ ecosystems: string[];
11
+ };
12
+ version: string;
13
+ logo: string;
14
+ i18n: {
15
+ en: {
16
+ name: string;
17
+ description: string;
18
+ longDescription: string;
19
+ };
20
+ es: {
21
+ name: string;
22
+ description: string;
23
+ longDescription: string;
24
+ };
25
+ };
26
+ };
27
+
28
+ export { tlaPlus };
@@ -0,0 +1,31 @@
1
+ // src/languages/tla-plus.ts
2
+ var tlaPlus = {
3
+ slug: "tla-plus",
4
+ publishedDate: "1999-01-01",
5
+ extensions: [".tla"],
6
+ author: "Leslie Lamport",
7
+ website: "https://lamport.azurewebsites.net/tla/tla.html",
8
+ paradigms: ["specification", "formal-methods", "temporal-logic", "declarative"],
9
+ tooling: {
10
+ runtimes: ["TLC", "TLA+ Toolbox", "Apalache"],
11
+ ecosystems: ["Formal Methods", "Distributed Systems", "Verification"]
12
+ },
13
+ version: "TLA+ 2",
14
+ logo: "https://avatars.githubusercontent.com/u/315978?v=4",
15
+ i18n: {
16
+ en: {
17
+ name: "TLA+",
18
+ description: "A formal specification language for state machines and temporal properties.",
19
+ 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."
20
+ },
21
+ es: {
22
+ name: "TLA+",
23
+ description: "Un lenguaje de especificacion formal para estados y propiedades temporales.",
24
+ 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."
25
+ }
26
+ }
27
+ };
28
+
29
+ export { tlaPlus };
30
+ //# sourceMappingURL=tla-plus.js.map
31
+ //# sourceMappingURL=tla-plus.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../src/languages/tla-plus.ts"],"names":[],"mappings":";AAEO,IAAM,OAAA,GAAU;AAAA,EACrB,IAAA,EAAM,UAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,MAAM,CAAA;AAAA,EACnB,MAAA,EAAQ,gBAAA;AAAA,EACR,OAAA,EAAS,gDAAA;AAAA,EACT,SAAA,EAAW,CAAC,eAAA,EAAiB,gBAAA,EAAkB,kBAAkB,aAAa,CAAA;AAAA,EAC9E,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,KAAA,EAAO,cAAA,EAAgB,UAAU,CAAA;AAAA,IAC5C,UAAA,EAAY,CAAC,gBAAA,EAAkB,qBAAA,EAAuB,cAAc;AAAA,GACtE;AAAA,EACA,OAAA,EAAS,QAAA;AAAA,EACT,IAAA,EAAM,oDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,6EAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,6EAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"tla-plus.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const tlaPlus = {\n slug: \"tla-plus\",\n publishedDate: \"1999-01-01\",\n extensions: [\".tla\"],\n author: \"Leslie Lamport\",\n website: \"https://lamport.azurewebsites.net/tla/tla.html\",\n paradigms: [\"specification\", \"formal-methods\", \"temporal-logic\", \"declarative\"],\n tooling: {\n runtimes: [\"TLC\", \"TLA+ Toolbox\", \"Apalache\"],\n ecosystems: [\"Formal Methods\", \"Distributed Systems\", \"Verification\"],\n },\n version: \"TLA+ 2\",\n logo: \"https://avatars.githubusercontent.com/u/315978?v=4\",\n i18n: {\n en: {\n name: \"TLA+\",\n description: \"A formal specification language for state machines and temporal properties.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"TLA+\",\n description: \"Un lenguaje de especificacion formal para estados y propiedades temporales.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
@@ -0,0 +1,34 @@
1
+ 'use strict';
2
+
3
+ // src/languages/v.ts
4
+ var v = {
5
+ slug: "v",
6
+ publishedDate: "2019-06-20",
7
+ extensions: [".v", ".vsh"],
8
+ author: "Alexander Medvednikov / V contributors",
9
+ website: "https://vlang.io",
10
+ paradigms: ["imperative", "systems", "multi-paradigm", "statically typed"],
11
+ tooling: {
12
+ runtimes: ["V compiler"],
13
+ packageManagers: ["vpm"],
14
+ ecosystems: ["Native", "Web", "Systems"]
15
+ },
16
+ version: "weekly.2025.49",
17
+ logo: "https://cdn.simpleicons.org/v/5D87BF",
18
+ i18n: {
19
+ en: {
20
+ name: "V",
21
+ description: "A compiled statically typed language for simple native application builds.",
22
+ 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."
23
+ },
24
+ es: {
25
+ name: "V",
26
+ description: "Un lenguaje compilado y tipado para construir aplicaciones nativas simples.",
27
+ 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."
28
+ }
29
+ }
30
+ };
31
+
32
+ exports.v = v;
33
+ //# sourceMappingURL=v.cjs.map
34
+ //# sourceMappingURL=v.cjs.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../src/languages/v.ts"],"names":[],"mappings":";;;AAEO,IAAM,CAAA,GAAI;AAAA,EACf,IAAA,EAAM,GAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,IAAA,EAAM,MAAM,CAAA;AAAA,EACzB,MAAA,EAAQ,wCAAA;AAAA,EACR,OAAA,EAAS,kBAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,SAAA,EAAW,kBAAkB,kBAAkB,CAAA;AAAA,EACzE,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,YAAY,CAAA;AAAA,IACvB,eAAA,EAAiB,CAAC,KAAK,CAAA;AAAA,IACvB,UAAA,EAAY,CAAC,QAAA,EAAU,KAAA,EAAO,SAAS;AAAA,GACzC;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,IAAA,EAAM,sCAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,GAAA;AAAA,MACN,WAAA,EAAa,4EAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,GAAA;AAAA,MACN,WAAA,EAAa,6EAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"v.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const v = {\n slug: \"v\",\n publishedDate: \"2019-06-20\",\n extensions: [\".v\", \".vsh\"],\n author: \"Alexander Medvednikov / V contributors\",\n website: \"https://vlang.io\",\n paradigms: [\"imperative\", \"systems\", \"multi-paradigm\", \"statically typed\"],\n tooling: {\n runtimes: [\"V compiler\"],\n packageManagers: [\"vpm\"],\n ecosystems: [\"Native\", \"Web\", \"Systems\"],\n },\n version: \"weekly.2025.49\",\n logo: \"https://cdn.simpleicons.org/v/5D87BF\",\n i18n: {\n en: {\n name: \"V\",\n description: \"A compiled statically typed language for simple native application builds.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"V\",\n description: \"Un lenguaje compilado y tipado para construir aplicaciones nativas simples.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
@@ -0,0 +1,29 @@
1
+ declare const v: {
2
+ slug: string;
3
+ publishedDate: string;
4
+ extensions: string[];
5
+ author: string;
6
+ website: string;
7
+ paradigms: string[];
8
+ tooling: {
9
+ runtimes: string[];
10
+ packageManagers: string[];
11
+ ecosystems: string[];
12
+ };
13
+ version: string;
14
+ logo: string;
15
+ i18n: {
16
+ en: {
17
+ name: string;
18
+ description: string;
19
+ longDescription: string;
20
+ };
21
+ es: {
22
+ name: string;
23
+ description: string;
24
+ longDescription: string;
25
+ };
26
+ };
27
+ };
28
+
29
+ export { v };
@@ -0,0 +1,29 @@
1
+ declare const v: {
2
+ slug: string;
3
+ publishedDate: string;
4
+ extensions: string[];
5
+ author: string;
6
+ website: string;
7
+ paradigms: string[];
8
+ tooling: {
9
+ runtimes: string[];
10
+ packageManagers: string[];
11
+ ecosystems: string[];
12
+ };
13
+ version: string;
14
+ logo: string;
15
+ i18n: {
16
+ en: {
17
+ name: string;
18
+ description: string;
19
+ longDescription: string;
20
+ };
21
+ es: {
22
+ name: string;
23
+ description: string;
24
+ longDescription: string;
25
+ };
26
+ };
27
+ };
28
+
29
+ export { v };
@@ -0,0 +1,32 @@
1
+ // src/languages/v.ts
2
+ var v = {
3
+ slug: "v",
4
+ publishedDate: "2019-06-20",
5
+ extensions: [".v", ".vsh"],
6
+ author: "Alexander Medvednikov / V contributors",
7
+ website: "https://vlang.io",
8
+ paradigms: ["imperative", "systems", "multi-paradigm", "statically typed"],
9
+ tooling: {
10
+ runtimes: ["V compiler"],
11
+ packageManagers: ["vpm"],
12
+ ecosystems: ["Native", "Web", "Systems"]
13
+ },
14
+ version: "weekly.2025.49",
15
+ logo: "https://cdn.simpleicons.org/v/5D87BF",
16
+ i18n: {
17
+ en: {
18
+ name: "V",
19
+ description: "A compiled statically typed language for simple native application builds.",
20
+ 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."
21
+ },
22
+ es: {
23
+ name: "V",
24
+ description: "Un lenguaje compilado y tipado para construir aplicaciones nativas simples.",
25
+ 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."
26
+ }
27
+ }
28
+ };
29
+
30
+ export { v };
31
+ //# sourceMappingURL=v.js.map
32
+ //# sourceMappingURL=v.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../src/languages/v.ts"],"names":[],"mappings":";AAEO,IAAM,CAAA,GAAI;AAAA,EACf,IAAA,EAAM,GAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,IAAA,EAAM,MAAM,CAAA;AAAA,EACzB,MAAA,EAAQ,wCAAA;AAAA,EACR,OAAA,EAAS,kBAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,SAAA,EAAW,kBAAkB,kBAAkB,CAAA;AAAA,EACzE,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,YAAY,CAAA;AAAA,IACvB,eAAA,EAAiB,CAAC,KAAK,CAAA;AAAA,IACvB,UAAA,EAAY,CAAC,QAAA,EAAU,KAAA,EAAO,SAAS;AAAA,GACzC;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,IAAA,EAAM,sCAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,GAAA;AAAA,MACN,WAAA,EAAa,4EAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,GAAA;AAAA,MACN,WAAA,EAAa,6EAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"v.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const v = {\n slug: \"v\",\n publishedDate: \"2019-06-20\",\n extensions: [\".v\", \".vsh\"],\n author: \"Alexander Medvednikov / V contributors\",\n website: \"https://vlang.io\",\n paradigms: [\"imperative\", \"systems\", \"multi-paradigm\", \"statically typed\"],\n tooling: {\n runtimes: [\"V compiler\"],\n packageManagers: [\"vpm\"],\n ecosystems: [\"Native\", \"Web\", \"Systems\"],\n },\n version: \"weekly.2025.49\",\n logo: \"https://cdn.simpleicons.org/v/5D87BF\",\n i18n: {\n en: {\n name: \"V\",\n description: \"A compiled statically typed language for simple native application builds.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"V\",\n description: \"Un lenguaje compilado y tipado para construir aplicaciones nativas simples.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
@@ -0,0 +1,34 @@
1
+ 'use strict';
2
+
3
+ // src/languages/vala.ts
4
+ var vala = {
5
+ slug: "vala",
6
+ publishedDate: "2006-07-15",
7
+ extensions: [".vala", ".vapi"],
8
+ author: "Jurg Billeter / GNOME contributors",
9
+ website: "https://vala.dev",
10
+ paradigms: ["object-oriented", "statically typed", "gnome", "c-targeted"],
11
+ tooling: {
12
+ runtimes: ["GLib", "GObject"],
13
+ packageManagers: ["Meson", "pkg-config"],
14
+ ecosystems: ["GNOME", "GTK", "Native"]
15
+ },
16
+ version: "0.56.18",
17
+ logo: "https://cdn.simpleicons.org/gnome/4A86CF",
18
+ i18n: {
19
+ en: {
20
+ name: "Vala",
21
+ description: "A GNOME-oriented language that compiles high-level syntax to C.",
22
+ 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."
23
+ },
24
+ es: {
25
+ name: "Vala",
26
+ description: "Un lenguaje orientado a GNOME que compila sintaxis de alto nivel a C.",
27
+ 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."
28
+ }
29
+ }
30
+ };
31
+
32
+ exports.vala = vala;
33
+ //# sourceMappingURL=vala.cjs.map
34
+ //# sourceMappingURL=vala.cjs.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../src/languages/vala.ts"],"names":[],"mappings":";;;AAEO,IAAM,IAAA,GAAO;AAAA,EAClB,IAAA,EAAM,MAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,OAAA,EAAS,OAAO,CAAA;AAAA,EAC7B,MAAA,EAAQ,oCAAA;AAAA,EACR,OAAA,EAAS,kBAAA;AAAA,EACT,SAAA,EAAW,CAAC,iBAAA,EAAmB,kBAAA,EAAoB,SAAS,YAAY,CAAA;AAAA,EACxE,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,MAAA,EAAQ,SAAS,CAAA;AAAA,IAC5B,eAAA,EAAiB,CAAC,OAAA,EAAS,YAAY,CAAA;AAAA,IACvC,UAAA,EAAY,CAAC,OAAA,EAAS,KAAA,EAAO,QAAQ;AAAA,GACvC;AAAA,EACA,OAAA,EAAS,SAAA;AAAA,EACT,IAAA,EAAM,0CAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,iEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,uEAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"vala.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const vala = {\n slug: \"vala\",\n publishedDate: \"2006-07-15\",\n extensions: [\".vala\", \".vapi\"],\n author: \"Jurg Billeter / GNOME contributors\",\n website: \"https://vala.dev\",\n paradigms: [\"object-oriented\", \"statically typed\", \"gnome\", \"c-targeted\"],\n tooling: {\n runtimes: [\"GLib\", \"GObject\"],\n packageManagers: [\"Meson\", \"pkg-config\"],\n ecosystems: [\"GNOME\", \"GTK\", \"Native\"],\n },\n version: \"0.56.18\",\n logo: \"https://cdn.simpleicons.org/gnome/4A86CF\",\n i18n: {\n en: {\n name: \"Vala\",\n description: \"A GNOME-oriented language that compiles high-level syntax to C.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Vala\",\n description: \"Un lenguaje orientado a GNOME que compila sintaxis de alto nivel a C.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
@@ -0,0 +1,29 @@
1
+ declare const vala: {
2
+ slug: string;
3
+ publishedDate: string;
4
+ extensions: string[];
5
+ author: string;
6
+ website: string;
7
+ paradigms: string[];
8
+ tooling: {
9
+ runtimes: string[];
10
+ packageManagers: string[];
11
+ ecosystems: string[];
12
+ };
13
+ version: string;
14
+ logo: string;
15
+ i18n: {
16
+ en: {
17
+ name: string;
18
+ description: string;
19
+ longDescription: string;
20
+ };
21
+ es: {
22
+ name: string;
23
+ description: string;
24
+ longDescription: string;
25
+ };
26
+ };
27
+ };
28
+
29
+ export { vala };
@@ -0,0 +1,29 @@
1
+ declare const vala: {
2
+ slug: string;
3
+ publishedDate: string;
4
+ extensions: string[];
5
+ author: string;
6
+ website: string;
7
+ paradigms: string[];
8
+ tooling: {
9
+ runtimes: string[];
10
+ packageManagers: string[];
11
+ ecosystems: string[];
12
+ };
13
+ version: string;
14
+ logo: string;
15
+ i18n: {
16
+ en: {
17
+ name: string;
18
+ description: string;
19
+ longDescription: string;
20
+ };
21
+ es: {
22
+ name: string;
23
+ description: string;
24
+ longDescription: string;
25
+ };
26
+ };
27
+ };
28
+
29
+ export { vala };
@@ -0,0 +1,32 @@
1
+ // src/languages/vala.ts
2
+ var vala = {
3
+ slug: "vala",
4
+ publishedDate: "2006-07-15",
5
+ extensions: [".vala", ".vapi"],
6
+ author: "Jurg Billeter / GNOME contributors",
7
+ website: "https://vala.dev",
8
+ paradigms: ["object-oriented", "statically typed", "gnome", "c-targeted"],
9
+ tooling: {
10
+ runtimes: ["GLib", "GObject"],
11
+ packageManagers: ["Meson", "pkg-config"],
12
+ ecosystems: ["GNOME", "GTK", "Native"]
13
+ },
14
+ version: "0.56.18",
15
+ logo: "https://cdn.simpleicons.org/gnome/4A86CF",
16
+ i18n: {
17
+ en: {
18
+ name: "Vala",
19
+ description: "A GNOME-oriented language that compiles high-level syntax to C.",
20
+ 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."
21
+ },
22
+ es: {
23
+ name: "Vala",
24
+ description: "Un lenguaje orientado a GNOME que compila sintaxis de alto nivel a C.",
25
+ 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."
26
+ }
27
+ }
28
+ };
29
+
30
+ export { vala };
31
+ //# sourceMappingURL=vala.js.map
32
+ //# sourceMappingURL=vala.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../src/languages/vala.ts"],"names":[],"mappings":";AAEO,IAAM,IAAA,GAAO;AAAA,EAClB,IAAA,EAAM,MAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,OAAA,EAAS,OAAO,CAAA;AAAA,EAC7B,MAAA,EAAQ,oCAAA;AAAA,EACR,OAAA,EAAS,kBAAA;AAAA,EACT,SAAA,EAAW,CAAC,iBAAA,EAAmB,kBAAA,EAAoB,SAAS,YAAY,CAAA;AAAA,EACxE,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,MAAA,EAAQ,SAAS,CAAA;AAAA,IAC5B,eAAA,EAAiB,CAAC,OAAA,EAAS,YAAY,CAAA;AAAA,IACvC,UAAA,EAAY,CAAC,OAAA,EAAS,KAAA,EAAO,QAAQ;AAAA,GACvC;AAAA,EACA,OAAA,EAAS,SAAA;AAAA,EACT,IAAA,EAAM,0CAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,iEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,uEAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"vala.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const vala = {\n slug: \"vala\",\n publishedDate: \"2006-07-15\",\n extensions: [\".vala\", \".vapi\"],\n author: \"Jurg Billeter / GNOME contributors\",\n website: \"https://vala.dev\",\n paradigms: [\"object-oriented\", \"statically typed\", \"gnome\", \"c-targeted\"],\n tooling: {\n runtimes: [\"GLib\", \"GObject\"],\n packageManagers: [\"Meson\", \"pkg-config\"],\n ecosystems: [\"GNOME\", \"GTK\", \"Native\"],\n },\n version: \"0.56.18\",\n logo: \"https://cdn.simpleicons.org/gnome/4A86CF\",\n i18n: {\n en: {\n name: \"Vala\",\n description: \"A GNOME-oriented language that compiles high-level syntax to C.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Vala\",\n description: \"Un lenguaje orientado a GNOME que compila sintaxis de alto nivel a C.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
@@ -0,0 +1,34 @@
1
+ 'use strict';
2
+
3
+ // src/languages/vyper.ts
4
+ var vyper = {
5
+ slug: "vyper",
6
+ publishedDate: "2017-07-19",
7
+ extensions: [".vy"],
8
+ author: "Vyper contributors",
9
+ website: "https://vyperlang.org",
10
+ paradigms: ["smart-contract", "statically typed", "domain-specific", "imperative"],
11
+ tooling: {
12
+ runtimes: ["Ethereum Virtual Machine"],
13
+ packageManagers: ["pip", "uv"],
14
+ ecosystems: ["Ethereum", "Smart Contracts", "Web3"]
15
+ },
16
+ version: "0.4.3",
17
+ logo: "https://avatars.githubusercontent.com/u/37288461?v=4",
18
+ i18n: {
19
+ en: {
20
+ name: "Vyper",
21
+ description: "A Pythonic smart contract language for the Ethereum Virtual Machine.",
22
+ 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."
23
+ },
24
+ es: {
25
+ name: "Vyper",
26
+ description: "Un lenguaje de smart contracts con sintaxis Python para Ethereum.",
27
+ 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."
28
+ }
29
+ }
30
+ };
31
+
32
+ exports.vyper = vyper;
33
+ //# sourceMappingURL=vyper.cjs.map
34
+ //# sourceMappingURL=vyper.cjs.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../src/languages/vyper.ts"],"names":[],"mappings":";;;AAEO,IAAM,KAAA,GAAQ;AAAA,EACnB,IAAA,EAAM,OAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,KAAK,CAAA;AAAA,EAClB,MAAA,EAAQ,oBAAA;AAAA,EACR,OAAA,EAAS,uBAAA;AAAA,EACT,SAAA,EAAW,CAAC,gBAAA,EAAkB,kBAAA,EAAoB,mBAAmB,YAAY,CAAA;AAAA,EACjF,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,0BAA0B,CAAA;AAAA,IACrC,eAAA,EAAiB,CAAC,KAAA,EAAO,IAAI,CAAA;AAAA,IAC7B,UAAA,EAAY,CAAC,UAAA,EAAY,iBAAA,EAAmB,MAAM;AAAA,GACpD;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,sDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,sEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,mEAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"vyper.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const vyper = {\n slug: \"vyper\",\n publishedDate: \"2017-07-19\",\n extensions: [\".vy\"],\n author: \"Vyper contributors\",\n website: \"https://vyperlang.org\",\n paradigms: [\"smart-contract\", \"statically typed\", \"domain-specific\", \"imperative\"],\n tooling: {\n runtimes: [\"Ethereum Virtual Machine\"],\n packageManagers: [\"pip\", \"uv\"],\n ecosystems: [\"Ethereum\", \"Smart Contracts\", \"Web3\"],\n },\n version: \"0.4.3\",\n logo: \"https://avatars.githubusercontent.com/u/37288461?v=4\",\n i18n: {\n en: {\n name: \"Vyper\",\n description: \"A Pythonic smart contract language for the Ethereum Virtual Machine.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Vyper\",\n description: \"Un lenguaje de smart contracts con sintaxis Python para Ethereum.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
@@ -0,0 +1,29 @@
1
+ declare const vyper: {
2
+ slug: string;
3
+ publishedDate: string;
4
+ extensions: string[];
5
+ author: string;
6
+ website: string;
7
+ paradigms: string[];
8
+ tooling: {
9
+ runtimes: string[];
10
+ packageManagers: string[];
11
+ ecosystems: string[];
12
+ };
13
+ version: string;
14
+ logo: string;
15
+ i18n: {
16
+ en: {
17
+ name: string;
18
+ description: string;
19
+ longDescription: string;
20
+ };
21
+ es: {
22
+ name: string;
23
+ description: string;
24
+ longDescription: string;
25
+ };
26
+ };
27
+ };
28
+
29
+ export { vyper };
@@ -0,0 +1,29 @@
1
+ declare const vyper: {
2
+ slug: string;
3
+ publishedDate: string;
4
+ extensions: string[];
5
+ author: string;
6
+ website: string;
7
+ paradigms: string[];
8
+ tooling: {
9
+ runtimes: string[];
10
+ packageManagers: string[];
11
+ ecosystems: string[];
12
+ };
13
+ version: string;
14
+ logo: string;
15
+ i18n: {
16
+ en: {
17
+ name: string;
18
+ description: string;
19
+ longDescription: string;
20
+ };
21
+ es: {
22
+ name: string;
23
+ description: string;
24
+ longDescription: string;
25
+ };
26
+ };
27
+ };
28
+
29
+ export { vyper };
@@ -0,0 +1,32 @@
1
+ // src/languages/vyper.ts
2
+ var vyper = {
3
+ slug: "vyper",
4
+ publishedDate: "2017-07-19",
5
+ extensions: [".vy"],
6
+ author: "Vyper contributors",
7
+ website: "https://vyperlang.org",
8
+ paradigms: ["smart-contract", "statically typed", "domain-specific", "imperative"],
9
+ tooling: {
10
+ runtimes: ["Ethereum Virtual Machine"],
11
+ packageManagers: ["pip", "uv"],
12
+ ecosystems: ["Ethereum", "Smart Contracts", "Web3"]
13
+ },
14
+ version: "0.4.3",
15
+ logo: "https://avatars.githubusercontent.com/u/37288461?v=4",
16
+ i18n: {
17
+ en: {
18
+ name: "Vyper",
19
+ description: "A Pythonic smart contract language for the Ethereum Virtual Machine.",
20
+ 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."
21
+ },
22
+ es: {
23
+ name: "Vyper",
24
+ description: "Un lenguaje de smart contracts con sintaxis Python para Ethereum.",
25
+ 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."
26
+ }
27
+ }
28
+ };
29
+
30
+ export { vyper };
31
+ //# sourceMappingURL=vyper.js.map
32
+ //# sourceMappingURL=vyper.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../src/languages/vyper.ts"],"names":[],"mappings":";AAEO,IAAM,KAAA,GAAQ;AAAA,EACnB,IAAA,EAAM,OAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,KAAK,CAAA;AAAA,EAClB,MAAA,EAAQ,oBAAA;AAAA,EACR,OAAA,EAAS,uBAAA;AAAA,EACT,SAAA,EAAW,CAAC,gBAAA,EAAkB,kBAAA,EAAoB,mBAAmB,YAAY,CAAA;AAAA,EACjF,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,0BAA0B,CAAA;AAAA,IACrC,eAAA,EAAiB,CAAC,KAAA,EAAO,IAAI,CAAA;AAAA,IAC7B,UAAA,EAAY,CAAC,UAAA,EAAY,iBAAA,EAAmB,MAAM;AAAA,GACpD;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,sDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,sEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,mEAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"vyper.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const vyper = {\n slug: \"vyper\",\n publishedDate: \"2017-07-19\",\n extensions: [\".vy\"],\n author: \"Vyper contributors\",\n website: \"https://vyperlang.org\",\n paradigms: [\"smart-contract\", \"statically typed\", \"domain-specific\", \"imperative\"],\n tooling: {\n runtimes: [\"Ethereum Virtual Machine\"],\n packageManagers: [\"pip\", \"uv\"],\n ecosystems: [\"Ethereum\", \"Smart Contracts\", \"Web3\"],\n },\n version: \"0.4.3\",\n logo: \"https://avatars.githubusercontent.com/u/37288461?v=4\",\n i18n: {\n en: {\n name: \"Vyper\",\n description: \"A Pythonic smart contract language for the Ethereum Virtual Machine.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Vyper\",\n description: \"Un lenguaje de smart contracts con sintaxis Python para Ethereum.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
@@ -0,0 +1,33 @@
1
+ 'use strict';
2
+
3
+ // src/languages/wren.ts
4
+ var wren = {
5
+ slug: "wren",
6
+ publishedDate: "2013-10-31",
7
+ extensions: [".wren"],
8
+ author: "Bob Nystrom / Wren contributors",
9
+ website: "https://wren.io",
10
+ paradigms: ["object-oriented", "scripting", "class-based", "dynamic"],
11
+ tooling: {
12
+ runtimes: ["Wren VM"],
13
+ ecosystems: ["Embedding", "Games", "Scripting"]
14
+ },
15
+ version: "0.4.0",
16
+ logo: "https://avatars.githubusercontent.com/u/8763410?v=4",
17
+ i18n: {
18
+ en: {
19
+ name: "Wren",
20
+ description: "A small class-based scripting language designed for embedding.",
21
+ 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."
22
+ },
23
+ es: {
24
+ name: "Wren",
25
+ description: "Un lenguaje pequeno de scripting basado en clases y pensado para embeberse.",
26
+ 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."
27
+ }
28
+ }
29
+ };
30
+
31
+ exports.wren = wren;
32
+ //# sourceMappingURL=wren.cjs.map
33
+ //# sourceMappingURL=wren.cjs.map
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../../src/languages/wren.ts"],"names":[],"mappings":";;;AAEO,IAAM,IAAA,GAAO;AAAA,EAClB,IAAA,EAAM,MAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,OAAO,CAAA;AAAA,EACpB,MAAA,EAAQ,iCAAA;AAAA,EACR,OAAA,EAAS,iBAAA;AAAA,EACT,SAAA,EAAW,CAAC,iBAAA,EAAmB,WAAA,EAAa,eAAe,SAAS,CAAA;AAAA,EACpE,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,SAAS,CAAA;AAAA,IACpB,UAAA,EAAY,CAAC,WAAA,EAAa,OAAA,EAAS,WAAW;AAAA,GAChD;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,qDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,gEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,6EAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"wren.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const wren = {\n slug: \"wren\",\n publishedDate: \"2013-10-31\",\n extensions: [\".wren\"],\n author: \"Bob Nystrom / Wren contributors\",\n website: \"https://wren.io\",\n paradigms: [\"object-oriented\", \"scripting\", \"class-based\", \"dynamic\"],\n tooling: {\n runtimes: [\"Wren VM\"],\n ecosystems: [\"Embedding\", \"Games\", \"Scripting\"],\n },\n version: \"0.4.0\",\n logo: \"https://avatars.githubusercontent.com/u/8763410?v=4\",\n i18n: {\n en: {\n name: \"Wren\",\n description: \"A small class-based scripting language designed for embedding.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Wren\",\n description: \"Un lenguaje pequeno de scripting basado en clases y pensado para embeberse.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}