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.
- package/README.md +234 -3
- package/dist/api.cjs +1923 -4
- package/dist/api.cjs.map +1 -1
- package/dist/api.d.cts +1353 -124
- package/dist/api.d.ts +1353 -124
- package/dist/api.js +1923 -4
- package/dist/api.js.map +1 -1
- package/dist/detect.cjs +1367 -0
- package/dist/detect.cjs.map +1 -1
- package/dist/detect.js +1367 -0
- package/dist/detect.js.map +1 -1
- package/dist/index.cjs +2064 -80
- package/dist/index.cjs.map +1 -1
- package/dist/index.d.cts +1259 -11
- package/dist/index.d.ts +1259 -11
- package/dist/index.js +1989 -5
- package/dist/index.js.map +1 -1
- package/dist/languages/agda.cjs +34 -0
- package/dist/languages/agda.cjs.map +1 -0
- package/dist/languages/agda.d.cts +29 -0
- package/dist/languages/agda.d.ts +29 -0
- package/dist/languages/agda.js +32 -0
- package/dist/languages/agda.js.map +1 -0
- package/dist/languages/carbon.cjs +34 -0
- package/dist/languages/carbon.cjs.map +1 -0
- package/dist/languages/carbon.d.cts +29 -0
- package/dist/languages/carbon.d.ts +29 -0
- package/dist/languages/carbon.js +32 -0
- package/dist/languages/carbon.js.map +1 -0
- package/dist/languages/chapel.cjs +34 -0
- package/dist/languages/chapel.cjs.map +1 -0
- package/dist/languages/chapel.d.cts +29 -0
- package/dist/languages/chapel.d.ts +29 -0
- package/dist/languages/chapel.js +32 -0
- package/dist/languages/chapel.js.map +1 -0
- package/dist/languages/circom.cjs +34 -0
- package/dist/languages/circom.cjs.map +1 -0
- package/dist/languages/circom.d.cts +29 -0
- package/dist/languages/circom.d.ts +29 -0
- package/dist/languages/circom.js +32 -0
- package/dist/languages/circom.js.map +1 -0
- package/dist/languages/coq.cjs +34 -0
- package/dist/languages/coq.cjs.map +1 -0
- package/dist/languages/coq.d.cts +29 -0
- package/dist/languages/coq.d.ts +29 -0
- package/dist/languages/coq.js +32 -0
- package/dist/languages/coq.js.map +1 -0
- package/dist/languages/dhall.cjs +34 -0
- package/dist/languages/dhall.cjs.map +1 -0
- package/dist/languages/dhall.d.cts +29 -0
- package/dist/languages/dhall.d.ts +29 -0
- package/dist/languages/dhall.js +32 -0
- package/dist/languages/dhall.js.map +1 -0
- package/dist/languages/dita.cjs +34 -0
- package/dist/languages/dita.cjs.map +1 -0
- package/dist/languages/dita.d.cts +29 -0
- package/dist/languages/dita.d.ts +29 -0
- package/dist/languages/dita.js +32 -0
- package/dist/languages/dita.js.map +1 -0
- package/dist/languages/earthly.cjs +34 -0
- package/dist/languages/earthly.cjs.map +1 -0
- package/dist/languages/earthly.d.cts +29 -0
- package/dist/languages/earthly.d.ts +29 -0
- package/dist/languages/earthly.js +32 -0
- package/dist/languages/earthly.js.map +1 -0
- package/dist/languages/hack.cjs +34 -0
- package/dist/languages/hack.cjs.map +1 -0
- package/dist/languages/hack.d.cts +29 -0
- package/dist/languages/hack.d.ts +29 -0
- package/dist/languages/hack.js +32 -0
- package/dist/languages/hack.js.map +1 -0
- package/dist/languages/haml.cjs +34 -0
- package/dist/languages/haml.cjs.map +1 -0
- package/dist/languages/haml.d.cts +29 -0
- package/dist/languages/haml.d.ts +29 -0
- package/dist/languages/haml.js +32 -0
- package/dist/languages/haml.js.map +1 -0
- package/dist/languages/idris.cjs +34 -0
- package/dist/languages/idris.cjs.map +1 -0
- package/dist/languages/idris.d.cts +29 -0
- package/dist/languages/idris.d.ts +29 -0
- package/dist/languages/idris.js +32 -0
- package/dist/languages/idris.js.map +1 -0
- package/dist/languages/janet.cjs +34 -0
- package/dist/languages/janet.cjs.map +1 -0
- package/dist/languages/janet.d.cts +29 -0
- package/dist/languages/janet.d.ts +29 -0
- package/dist/languages/janet.js +32 -0
- package/dist/languages/janet.js.map +1 -0
- package/dist/languages/lean.cjs +34 -0
- package/dist/languages/lean.cjs.map +1 -0
- package/dist/languages/lean.d.cts +29 -0
- package/dist/languages/lean.d.ts +29 -0
- package/dist/languages/lean.js +32 -0
- package/dist/languages/lean.js.map +1 -0
- package/dist/languages/llvm-ir.cjs +34 -0
- package/dist/languages/llvm-ir.cjs.map +1 -0
- package/dist/languages/llvm-ir.d.cts +29 -0
- package/dist/languages/llvm-ir.d.ts +29 -0
- package/dist/languages/llvm-ir.js +32 -0
- package/dist/languages/llvm-ir.js.map +1 -0
- package/dist/languages/luau.cjs +34 -0
- package/dist/languages/luau.cjs.map +1 -0
- package/dist/languages/luau.d.cts +29 -0
- package/dist/languages/luau.d.ts +29 -0
- package/dist/languages/luau.js +32 -0
- package/dist/languages/luau.js.map +1 -0
- package/dist/languages/mako.cjs +34 -0
- package/dist/languages/mako.cjs.map +1 -0
- package/dist/languages/mako.d.cts +29 -0
- package/dist/languages/mako.d.ts +29 -0
- package/dist/languages/mako.js +32 -0
- package/dist/languages/mako.js.map +1 -0
- package/dist/languages/mathematica.cjs +33 -0
- package/dist/languages/mathematica.cjs.map +1 -0
- package/dist/languages/mathematica.d.cts +28 -0
- package/dist/languages/mathematica.d.ts +28 -0
- package/dist/languages/mathematica.js +31 -0
- package/dist/languages/mathematica.js.map +1 -0
- package/dist/languages/mojo.cjs +34 -0
- package/dist/languages/mojo.cjs.map +1 -0
- package/dist/languages/mojo.d.cts +29 -0
- package/dist/languages/mojo.d.ts +29 -0
- package/dist/languages/mojo.js +32 -0
- package/dist/languages/mojo.js.map +1 -0
- package/dist/languages/moonbit.cjs +34 -0
- package/dist/languages/moonbit.cjs.map +1 -0
- package/dist/languages/moonbit.d.cts +29 -0
- package/dist/languages/moonbit.d.ts +29 -0
- package/dist/languages/moonbit.js +32 -0
- package/dist/languages/moonbit.js.map +1 -0
- package/dist/languages/odin.cjs +34 -0
- package/dist/languages/odin.cjs.map +1 -0
- package/dist/languages/odin.d.cts +29 -0
- package/dist/languages/odin.d.ts +29 -0
- package/dist/languages/odin.js +32 -0
- package/dist/languages/odin.js.map +1 -0
- package/dist/languages/opencl.cjs +33 -0
- package/dist/languages/opencl.cjs.map +1 -0
- package/dist/languages/opencl.d.cts +28 -0
- package/dist/languages/opencl.d.ts +28 -0
- package/dist/languages/opencl.js +31 -0
- package/dist/languages/opencl.js.map +1 -0
- package/dist/languages/pine-script.cjs +33 -0
- package/dist/languages/pine-script.cjs.map +1 -0
- package/dist/languages/pine-script.d.cts +28 -0
- package/dist/languages/pine-script.d.ts +28 -0
- package/dist/languages/pine-script.js +31 -0
- package/dist/languages/pine-script.js.map +1 -0
- package/dist/languages/plsql.cjs +33 -0
- package/dist/languages/plsql.cjs.map +1 -0
- package/dist/languages/plsql.d.cts +28 -0
- package/dist/languages/plsql.d.ts +28 -0
- package/dist/languages/plsql.js +31 -0
- package/dist/languages/plsql.js.map +1 -0
- package/dist/languages/pony.cjs +34 -0
- package/dist/languages/pony.cjs.map +1 -0
- package/dist/languages/pony.d.cts +29 -0
- package/dist/languages/pony.d.ts +29 -0
- package/dist/languages/pony.js +32 -0
- package/dist/languages/pony.js.map +1 -0
- package/dist/languages/promql.cjs +33 -0
- package/dist/languages/promql.cjs.map +1 -0
- package/dist/languages/promql.d.cts +28 -0
- package/dist/languages/promql.d.ts +28 -0
- package/dist/languages/promql.js +31 -0
- package/dist/languages/promql.js.map +1 -0
- package/dist/languages/purescript.cjs +34 -0
- package/dist/languages/purescript.cjs.map +1 -0
- package/dist/languages/purescript.d.cts +29 -0
- package/dist/languages/purescript.d.ts +29 -0
- package/dist/languages/purescript.js +32 -0
- package/dist/languages/purescript.js.map +1 -0
- package/dist/languages/qsharp.cjs +34 -0
- package/dist/languages/qsharp.cjs.map +1 -0
- package/dist/languages/qsharp.d.cts +29 -0
- package/dist/languages/qsharp.d.ts +29 -0
- package/dist/languages/qsharp.js +32 -0
- package/dist/languages/qsharp.js.map +1 -0
- package/dist/languages/raku.cjs +34 -0
- package/dist/languages/raku.cjs.map +1 -0
- package/dist/languages/raku.d.cts +29 -0
- package/dist/languages/raku.d.ts +29 -0
- package/dist/languages/raku.js +32 -0
- package/dist/languages/raku.js.map +1 -0
- package/dist/languages/reasonml.cjs +34 -0
- package/dist/languages/reasonml.cjs.map +1 -0
- package/dist/languages/reasonml.d.cts +29 -0
- package/dist/languages/reasonml.d.ts +29 -0
- package/dist/languages/reasonml.js +32 -0
- package/dist/languages/reasonml.js.map +1 -0
- package/dist/languages/rescript.cjs +34 -0
- package/dist/languages/rescript.cjs.map +1 -0
- package/dist/languages/rescript.d.cts +29 -0
- package/dist/languages/rescript.d.ts +29 -0
- package/dist/languages/rescript.js +32 -0
- package/dist/languages/rescript.js.map +1 -0
- package/dist/languages/restructuredtext.cjs +34 -0
- package/dist/languages/restructuredtext.cjs.map +1 -0
- package/dist/languages/restructuredtext.d.cts +29 -0
- package/dist/languages/restructuredtext.d.ts +29 -0
- package/dist/languages/restructuredtext.js +32 -0
- package/dist/languages/restructuredtext.js.map +1 -0
- package/dist/languages/sas.cjs +33 -0
- package/dist/languages/sas.cjs.map +1 -0
- package/dist/languages/sas.d.cts +28 -0
- package/dist/languages/sas.d.ts +28 -0
- package/dist/languages/sas.js +31 -0
- package/dist/languages/sas.js.map +1 -0
- package/dist/languages/scheme.cjs +33 -0
- package/dist/languages/scheme.cjs.map +1 -0
- package/dist/languages/scheme.d.cts +28 -0
- package/dist/languages/scheme.d.ts +28 -0
- package/dist/languages/scheme.js +31 -0
- package/dist/languages/scheme.js.map +1 -0
- package/dist/languages/smalltalk.cjs +33 -0
- package/dist/languages/smalltalk.cjs.map +1 -0
- package/dist/languages/smalltalk.d.cts +28 -0
- package/dist/languages/smalltalk.d.ts +28 -0
- package/dist/languages/smalltalk.js +31 -0
- package/dist/languages/smalltalk.js.map +1 -0
- package/dist/languages/smarty.cjs +34 -0
- package/dist/languages/smarty.cjs.map +1 -0
- package/dist/languages/smarty.d.cts +29 -0
- package/dist/languages/smarty.d.ts +29 -0
- package/dist/languages/smarty.js +32 -0
- package/dist/languages/smarty.js.map +1 -0
- package/dist/languages/standard-ml.cjs +33 -0
- package/dist/languages/standard-ml.cjs.map +1 -0
- package/dist/languages/standard-ml.d.cts +28 -0
- package/dist/languages/standard-ml.d.ts +28 -0
- package/dist/languages/standard-ml.js +31 -0
- package/dist/languages/standard-ml.js.map +1 -0
- package/dist/languages/stata.cjs +33 -0
- package/dist/languages/stata.cjs.map +1 -0
- package/dist/languages/stata.d.cts +28 -0
- package/dist/languages/stata.d.ts +28 -0
- package/dist/languages/stata.js +31 -0
- package/dist/languages/stata.js.map +1 -0
- package/dist/languages/stylus.cjs +34 -0
- package/dist/languages/stylus.cjs.map +1 -0
- package/dist/languages/stylus.d.cts +29 -0
- package/dist/languages/stylus.d.ts +29 -0
- package/dist/languages/stylus.js +32 -0
- package/dist/languages/stylus.js.map +1 -0
- package/dist/languages/thrift.cjs +34 -0
- package/dist/languages/thrift.cjs.map +1 -0
- package/dist/languages/thrift.d.cts +29 -0
- package/dist/languages/thrift.d.ts +29 -0
- package/dist/languages/thrift.js +32 -0
- package/dist/languages/thrift.js.map +1 -0
- package/dist/languages/tla-plus.cjs +33 -0
- package/dist/languages/tla-plus.cjs.map +1 -0
- package/dist/languages/tla-plus.d.cts +28 -0
- package/dist/languages/tla-plus.d.ts +28 -0
- package/dist/languages/tla-plus.js +31 -0
- package/dist/languages/tla-plus.js.map +1 -0
- package/dist/languages/v.cjs +34 -0
- package/dist/languages/v.cjs.map +1 -0
- package/dist/languages/v.d.cts +29 -0
- package/dist/languages/v.d.ts +29 -0
- package/dist/languages/v.js +32 -0
- package/dist/languages/v.js.map +1 -0
- package/dist/languages/vala.cjs +34 -0
- package/dist/languages/vala.cjs.map +1 -0
- package/dist/languages/vala.d.cts +29 -0
- package/dist/languages/vala.d.ts +29 -0
- package/dist/languages/vala.js +32 -0
- package/dist/languages/vala.js.map +1 -0
- package/dist/languages/vyper.cjs +34 -0
- package/dist/languages/vyper.cjs.map +1 -0
- package/dist/languages/vyper.d.cts +29 -0
- package/dist/languages/vyper.d.ts +29 -0
- package/dist/languages/vyper.js +32 -0
- package/dist/languages/vyper.js.map +1 -0
- package/dist/languages/wren.cjs +33 -0
- package/dist/languages/wren.cjs.map +1 -0
- package/dist/languages/wren.d.cts +28 -0
- package/dist/languages/wren.d.ts +28 -0
- package/dist/languages/wren.js +31 -0
- package/dist/languages/wren.js.map +1 -0
- package/dist/languages/zeek.cjs +34 -0
- package/dist/languages/zeek.cjs.map +1 -0
- package/dist/languages/zeek.d.cts +29 -0
- package/dist/languages/zeek.d.ts +29 -0
- package/dist/languages/zeek.js +32 -0
- package/dist/languages/zeek.js.map +1 -0
- package/dist/languages/ziggy.cjs +33 -0
- package/dist/languages/ziggy.cjs.map +1 -0
- package/dist/languages/ziggy.d.cts +28 -0
- package/dist/languages/ziggy.d.ts +28 -0
- package/dist/languages/ziggy.js +31 -0
- package/dist/languages/ziggy.js.map +1 -0
- 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
|
|