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.cjs
CHANGED
|
@@ -85,6 +85,35 @@ var ada = {
|
|
|
85
85
|
}
|
|
86
86
|
};
|
|
87
87
|
|
|
88
|
+
// src/languages/agda.ts
|
|
89
|
+
var agda = {
|
|
90
|
+
slug: "agda",
|
|
91
|
+
publishedDate: "2007-01-01",
|
|
92
|
+
extensions: [".agda", ".lagda", ".lagda.md", ".lagda.rst", ".lagda.tex"],
|
|
93
|
+
author: "Ulf Norell / Chalmers University of Technology",
|
|
94
|
+
website: "https://wiki.portal.chalmers.se/agda/",
|
|
95
|
+
paradigms: ["functional", "dependently typed", "total", "proof-oriented"],
|
|
96
|
+
tooling: {
|
|
97
|
+
runtimes: ["GHC", "JavaScript"],
|
|
98
|
+
packageManagers: ["Cabal", "Stack"],
|
|
99
|
+
ecosystems: ["Haskell", "Formal methods", "Proof assistants"]
|
|
100
|
+
},
|
|
101
|
+
version: "2.8.0",
|
|
102
|
+
logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_agda.svg",
|
|
103
|
+
i18n: {
|
|
104
|
+
en: {
|
|
105
|
+
name: "Agda",
|
|
106
|
+
description: "A dependently typed functional language and proof assistant.",
|
|
107
|
+
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."
|
|
108
|
+
},
|
|
109
|
+
es: {
|
|
110
|
+
name: "Agda",
|
|
111
|
+
description: "Un lenguaje funcional con tipos dependientes y asistente de pruebas.",
|
|
112
|
+
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."
|
|
113
|
+
}
|
|
114
|
+
}
|
|
115
|
+
};
|
|
116
|
+
|
|
88
117
|
// src/languages/antlr.ts
|
|
89
118
|
var antlr = {
|
|
90
119
|
slug: "antlr",
|
|
@@ -574,6 +603,93 @@ var c = {
|
|
|
574
603
|
}
|
|
575
604
|
};
|
|
576
605
|
|
|
606
|
+
// src/languages/carbon.ts
|
|
607
|
+
var carbon = {
|
|
608
|
+
slug: "carbon",
|
|
609
|
+
publishedDate: "2022-07-19",
|
|
610
|
+
extensions: [".carbon"],
|
|
611
|
+
author: "Carbon Language Project",
|
|
612
|
+
website: "https://docs.carbon-lang.dev",
|
|
613
|
+
paradigms: ["imperative", "object-oriented", "generic", "statically typed"],
|
|
614
|
+
tooling: {
|
|
615
|
+
runtimes: ["LLVM"],
|
|
616
|
+
packageManagers: ["Bazel"],
|
|
617
|
+
ecosystems: ["C++", "Systems programming"]
|
|
618
|
+
},
|
|
619
|
+
version: "0.0.0 nightly",
|
|
620
|
+
logo: "https://upload.wikimedia.org/wikipedia/commons/e/e1/Carbon_logo.png",
|
|
621
|
+
i18n: {
|
|
622
|
+
en: {
|
|
623
|
+
name: "Carbon",
|
|
624
|
+
description: "An experimental successor language for C++ interoperability and migration.",
|
|
625
|
+
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."
|
|
626
|
+
},
|
|
627
|
+
es: {
|
|
628
|
+
name: "Carbon",
|
|
629
|
+
description: "Un lenguaje experimental sucesor para interoperabilidad y migracion desde C++.",
|
|
630
|
+
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."
|
|
631
|
+
}
|
|
632
|
+
}
|
|
633
|
+
};
|
|
634
|
+
|
|
635
|
+
// src/languages/chapel.ts
|
|
636
|
+
var chapel = {
|
|
637
|
+
slug: "chapel",
|
|
638
|
+
publishedDate: "2009-04-01",
|
|
639
|
+
extensions: [".chpl"],
|
|
640
|
+
author: "Cray Inc. / Hewlett Packard Enterprise",
|
|
641
|
+
website: "https://chapel-lang.org",
|
|
642
|
+
paradigms: ["parallel", "imperative", "object-oriented", "generic"],
|
|
643
|
+
tooling: {
|
|
644
|
+
runtimes: ["Chapel runtime"],
|
|
645
|
+
packageManagers: ["Mason"],
|
|
646
|
+
ecosystems: ["High-performance computing", "Parallel computing"]
|
|
647
|
+
},
|
|
648
|
+
version: "2.6.0",
|
|
649
|
+
logo: "https://chapel-lang.org/images/chapel-logo.png",
|
|
650
|
+
i18n: {
|
|
651
|
+
en: {
|
|
652
|
+
name: "Chapel",
|
|
653
|
+
description: "A productive parallel programming language for scalable systems.",
|
|
654
|
+
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."
|
|
655
|
+
},
|
|
656
|
+
es: {
|
|
657
|
+
name: "Chapel",
|
|
658
|
+
description: "Un lenguaje de programacion paralela productivo para sistemas escalables.",
|
|
659
|
+
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."
|
|
660
|
+
}
|
|
661
|
+
}
|
|
662
|
+
};
|
|
663
|
+
|
|
664
|
+
// src/languages/circom.ts
|
|
665
|
+
var circom = {
|
|
666
|
+
slug: "circom",
|
|
667
|
+
publishedDate: "2018-01-01",
|
|
668
|
+
extensions: [".circom"],
|
|
669
|
+
author: "iden3",
|
|
670
|
+
website: "https://docs.circom.io",
|
|
671
|
+
paradigms: ["declarative", "constraint-based", "domain-specific"],
|
|
672
|
+
tooling: {
|
|
673
|
+
runtimes: ["circom compiler", "WebAssembly", "C++"],
|
|
674
|
+
packageManagers: ["npm", "Cargo"],
|
|
675
|
+
ecosystems: ["Zero-knowledge proofs", "Ethereum", "zkSNARKs"]
|
|
676
|
+
},
|
|
677
|
+
version: "2.2.3",
|
|
678
|
+
logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_circom.svg",
|
|
679
|
+
i18n: {
|
|
680
|
+
en: {
|
|
681
|
+
name: "Circom",
|
|
682
|
+
description: "A DSL for writing arithmetic circuits used in zero-knowledge proofs.",
|
|
683
|
+
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."
|
|
684
|
+
},
|
|
685
|
+
es: {
|
|
686
|
+
name: "Circom",
|
|
687
|
+
description: "Un DSL para escribir circuitos aritmeticos usados en pruebas de conocimiento cero.",
|
|
688
|
+
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."
|
|
689
|
+
}
|
|
690
|
+
}
|
|
691
|
+
};
|
|
692
|
+
|
|
577
693
|
// src/languages/clojure.ts
|
|
578
694
|
var clojure = {
|
|
579
695
|
slug: "clojure",
|
|
@@ -717,6 +833,35 @@ var coldfusion = {
|
|
|
717
833
|
}
|
|
718
834
|
};
|
|
719
835
|
|
|
836
|
+
// src/languages/coq.ts
|
|
837
|
+
var coq = {
|
|
838
|
+
slug: "coq",
|
|
839
|
+
publishedDate: "1989-01-01",
|
|
840
|
+
extensions: [".v"],
|
|
841
|
+
author: "INRIA / Rocq Prover Development Team",
|
|
842
|
+
website: "https://rocq-prover.org",
|
|
843
|
+
paradigms: ["functional", "dependently typed", "proof-oriented", "tactic-based"],
|
|
844
|
+
tooling: {
|
|
845
|
+
runtimes: ["Rocq Prover", "OCaml"],
|
|
846
|
+
packageManagers: ["opam", "Rocq Platform"],
|
|
847
|
+
ecosystems: ["Formal methods", "Proof assistants", "OCaml"]
|
|
848
|
+
},
|
|
849
|
+
version: "9.2.0",
|
|
850
|
+
logo: "https://avatars.githubusercontent.com/u/621198?v=4",
|
|
851
|
+
i18n: {
|
|
852
|
+
en: {
|
|
853
|
+
name: "Coq / Rocq",
|
|
854
|
+
description: "A proof assistant and dependently typed language for certified mathematics and software.",
|
|
855
|
+
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."
|
|
856
|
+
},
|
|
857
|
+
es: {
|
|
858
|
+
name: "Coq / Rocq",
|
|
859
|
+
description: "Un asistente de pruebas y lenguaje con tipos dependientes para software certificado.",
|
|
860
|
+
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."
|
|
861
|
+
}
|
|
862
|
+
}
|
|
863
|
+
};
|
|
864
|
+
|
|
720
865
|
// src/languages/cpp.ts
|
|
721
866
|
var cpp = {
|
|
722
867
|
slug: "cpp",
|
|
@@ -973,6 +1118,64 @@ var dart = {
|
|
|
973
1118
|
}
|
|
974
1119
|
};
|
|
975
1120
|
|
|
1121
|
+
// src/languages/dhall.ts
|
|
1122
|
+
var dhall = {
|
|
1123
|
+
slug: "dhall",
|
|
1124
|
+
publishedDate: "2016-12-22",
|
|
1125
|
+
extensions: [".dhall"],
|
|
1126
|
+
author: "Gabriel Gonzalez",
|
|
1127
|
+
website: "https://dhall-lang.org",
|
|
1128
|
+
paradigms: ["functional", "declarative", "statically typed", "configuration"],
|
|
1129
|
+
tooling: {
|
|
1130
|
+
runtimes: ["dhall"],
|
|
1131
|
+
packageManagers: ["Cabal", "Stack", "Nix"],
|
|
1132
|
+
ecosystems: ["Configuration", "Haskell", "DevOps"]
|
|
1133
|
+
},
|
|
1134
|
+
version: "23.1.0",
|
|
1135
|
+
logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_dhall.svg",
|
|
1136
|
+
i18n: {
|
|
1137
|
+
en: {
|
|
1138
|
+
name: "Dhall",
|
|
1139
|
+
description: "A programmable, typed configuration language that normalizes safely.",
|
|
1140
|
+
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."
|
|
1141
|
+
},
|
|
1142
|
+
es: {
|
|
1143
|
+
name: "Dhall",
|
|
1144
|
+
description: "Un lenguaje de configuracion programable, tipado y de normalizacion segura.",
|
|
1145
|
+
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."
|
|
1146
|
+
}
|
|
1147
|
+
}
|
|
1148
|
+
};
|
|
1149
|
+
|
|
1150
|
+
// src/languages/dita.ts
|
|
1151
|
+
var dita = {
|
|
1152
|
+
slug: "dita",
|
|
1153
|
+
publishedDate: "2005-05-03",
|
|
1154
|
+
extensions: [".dita", ".ditamap", ".ditaval"],
|
|
1155
|
+
author: "OASIS",
|
|
1156
|
+
website: "https://www.oasis-open.org/standard/dita/",
|
|
1157
|
+
paradigms: ["markup", "structured authoring", "XML-based", "documentation"],
|
|
1158
|
+
tooling: {
|
|
1159
|
+
runtimes: ["DITA Open Toolkit"],
|
|
1160
|
+
packageManagers: ["npm", "Maven"],
|
|
1161
|
+
ecosystems: ["Technical writing", "XML", "Publishing"]
|
|
1162
|
+
},
|
|
1163
|
+
version: "1.3",
|
|
1164
|
+
logo: "https://avatars.githubusercontent.com/u/20116735?v=4",
|
|
1165
|
+
i18n: {
|
|
1166
|
+
en: {
|
|
1167
|
+
name: "DITA",
|
|
1168
|
+
description: "An XML-based architecture for structured technical documentation.",
|
|
1169
|
+
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."
|
|
1170
|
+
},
|
|
1171
|
+
es: {
|
|
1172
|
+
name: "DITA",
|
|
1173
|
+
description: "Una arquitectura basada en XML para documentacion tecnica estructurada.",
|
|
1174
|
+
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."
|
|
1175
|
+
}
|
|
1176
|
+
}
|
|
1177
|
+
};
|
|
1178
|
+
|
|
976
1179
|
// src/languages/dockerfile.ts
|
|
977
1180
|
var dockerfile = {
|
|
978
1181
|
slug: "dockerfile",
|
|
@@ -1001,6 +1204,35 @@ var dockerfile = {
|
|
|
1001
1204
|
}
|
|
1002
1205
|
};
|
|
1003
1206
|
|
|
1207
|
+
// src/languages/earthly.ts
|
|
1208
|
+
var earthly = {
|
|
1209
|
+
slug: "earthly",
|
|
1210
|
+
publishedDate: "2020-04-15",
|
|
1211
|
+
extensions: ["Earthfile"],
|
|
1212
|
+
author: "Earthly Technologies",
|
|
1213
|
+
website: "https://earthly.dev",
|
|
1214
|
+
paradigms: ["declarative", "build automation", "container-based"],
|
|
1215
|
+
tooling: {
|
|
1216
|
+
runtimes: ["Earthly", "BuildKit", "Docker"],
|
|
1217
|
+
packageManagers: ["Docker"],
|
|
1218
|
+
ecosystems: ["CI/CD", "Containers", "DevOps"]
|
|
1219
|
+
},
|
|
1220
|
+
version: "0.8.16",
|
|
1221
|
+
logo: "https://avatars.githubusercontent.com/u/63060917?v=4",
|
|
1222
|
+
i18n: {
|
|
1223
|
+
en: {
|
|
1224
|
+
name: "Earthly",
|
|
1225
|
+
description: "A container-oriented build language for repeatable CI/CD pipelines.",
|
|
1226
|
+
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."
|
|
1227
|
+
},
|
|
1228
|
+
es: {
|
|
1229
|
+
name: "Earthly",
|
|
1230
|
+
description: "Un lenguaje de builds orientado a contenedores para pipelines CI/CD repetibles.",
|
|
1231
|
+
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."
|
|
1232
|
+
}
|
|
1233
|
+
}
|
|
1234
|
+
};
|
|
1235
|
+
|
|
1004
1236
|
// src/languages/elixir.ts
|
|
1005
1237
|
var elixir = {
|
|
1006
1238
|
slug: "elixir",
|
|
@@ -1463,6 +1695,64 @@ var groovy = {
|
|
|
1463
1695
|
}
|
|
1464
1696
|
};
|
|
1465
1697
|
|
|
1698
|
+
// src/languages/hack.ts
|
|
1699
|
+
var hack = {
|
|
1700
|
+
slug: "hack",
|
|
1701
|
+
publishedDate: "2014-03-20",
|
|
1702
|
+
extensions: [".hack", ".hh", ".hhi"],
|
|
1703
|
+
author: "Meta",
|
|
1704
|
+
website: "https://docs.hhvm.com/hack/",
|
|
1705
|
+
paradigms: ["object-oriented", "functional", "gradually typed", "imperative"],
|
|
1706
|
+
tooling: {
|
|
1707
|
+
runtimes: ["HHVM"],
|
|
1708
|
+
packageManagers: ["Composer"],
|
|
1709
|
+
ecosystems: ["HHVM", "Web", "PHP"]
|
|
1710
|
+
},
|
|
1711
|
+
version: "HHVM 4.x",
|
|
1712
|
+
logo: "https://upload.wikimedia.org/wikipedia/commons/a/a7/Hack_%28programming_language%29_logo.svg",
|
|
1713
|
+
i18n: {
|
|
1714
|
+
en: {
|
|
1715
|
+
name: "Hack",
|
|
1716
|
+
description: "A gradually typed language for HHVM with PHP heritage.",
|
|
1717
|
+
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."
|
|
1718
|
+
},
|
|
1719
|
+
es: {
|
|
1720
|
+
name: "Hack",
|
|
1721
|
+
description: "Un lenguaje con tipado gradual para HHVM con herencia de PHP.",
|
|
1722
|
+
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."
|
|
1723
|
+
}
|
|
1724
|
+
}
|
|
1725
|
+
};
|
|
1726
|
+
|
|
1727
|
+
// src/languages/haml.ts
|
|
1728
|
+
var haml = {
|
|
1729
|
+
slug: "haml",
|
|
1730
|
+
publishedDate: "2006-10-01",
|
|
1731
|
+
extensions: [".haml"],
|
|
1732
|
+
author: "Hampton Catlin",
|
|
1733
|
+
website: "https://haml.info",
|
|
1734
|
+
paradigms: ["template", "markup", "declarative"],
|
|
1735
|
+
tooling: {
|
|
1736
|
+
runtimes: ["Ruby"],
|
|
1737
|
+
packageManagers: ["RubyGems", "Bundler"],
|
|
1738
|
+
ecosystems: ["Ruby", "Ruby on Rails", "Web"]
|
|
1739
|
+
},
|
|
1740
|
+
version: "7.2.0",
|
|
1741
|
+
logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_haml.svg",
|
|
1742
|
+
i18n: {
|
|
1743
|
+
en: {
|
|
1744
|
+
name: "Haml",
|
|
1745
|
+
description: "A whitespace-sensitive template language for writing HTML tersely.",
|
|
1746
|
+
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."
|
|
1747
|
+
},
|
|
1748
|
+
es: {
|
|
1749
|
+
name: "Haml",
|
|
1750
|
+
description: "Un lenguaje de templates sensible a espacios para escribir HTML de forma concisa.",
|
|
1751
|
+
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."
|
|
1752
|
+
}
|
|
1753
|
+
}
|
|
1754
|
+
};
|
|
1755
|
+
|
|
1466
1756
|
// src/languages/handlebars.ts
|
|
1467
1757
|
var handlebars = {
|
|
1468
1758
|
slug: "handlebars",
|
|
@@ -1632,6 +1922,35 @@ var html = {
|
|
|
1632
1922
|
}
|
|
1633
1923
|
};
|
|
1634
1924
|
|
|
1925
|
+
// src/languages/idris.ts
|
|
1926
|
+
var idris = {
|
|
1927
|
+
slug: "idris",
|
|
1928
|
+
publishedDate: "2009-01-01",
|
|
1929
|
+
extensions: [".idr", ".lidr", ".ipkg"],
|
|
1930
|
+
author: "Edwin Brady",
|
|
1931
|
+
website: "https://www.idris-lang.org",
|
|
1932
|
+
paradigms: ["functional", "dependently typed", "total", "statically typed"],
|
|
1933
|
+
tooling: {
|
|
1934
|
+
runtimes: ["Chez Scheme", "Racket", "JavaScript", "Node.js"],
|
|
1935
|
+
packageManagers: ["pack", "idris2"],
|
|
1936
|
+
ecosystems: ["Formal methods", "Functional programming"]
|
|
1937
|
+
},
|
|
1938
|
+
version: "0.8.0",
|
|
1939
|
+
logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_idris.svg",
|
|
1940
|
+
i18n: {
|
|
1941
|
+
en: {
|
|
1942
|
+
name: "Idris",
|
|
1943
|
+
description: "A dependently typed functional language focused on practical programs.",
|
|
1944
|
+
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."
|
|
1945
|
+
},
|
|
1946
|
+
es: {
|
|
1947
|
+
name: "Idris",
|
|
1948
|
+
description: "Un lenguaje funcional con tipos dependientes enfocado en programas practicos.",
|
|
1949
|
+
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."
|
|
1950
|
+
}
|
|
1951
|
+
}
|
|
1952
|
+
};
|
|
1953
|
+
|
|
1635
1954
|
// src/languages/ini.ts
|
|
1636
1955
|
var ini = {
|
|
1637
1956
|
slug: "ini",
|
|
@@ -1659,6 +1978,35 @@ var ini = {
|
|
|
1659
1978
|
}
|
|
1660
1979
|
};
|
|
1661
1980
|
|
|
1981
|
+
// src/languages/janet.ts
|
|
1982
|
+
var janet = {
|
|
1983
|
+
slug: "janet",
|
|
1984
|
+
publishedDate: "2017-09-01",
|
|
1985
|
+
extensions: [".janet", ".jdn"],
|
|
1986
|
+
author: "Calvin Rose",
|
|
1987
|
+
website: "https://janet-lang.org",
|
|
1988
|
+
paradigms: ["functional", "imperative", "lisp", "embedded"],
|
|
1989
|
+
tooling: {
|
|
1990
|
+
runtimes: ["Janet VM"],
|
|
1991
|
+
packageManagers: ["jpm"],
|
|
1992
|
+
ecosystems: ["Scripting", "Embedded systems", "Command-line tools"]
|
|
1993
|
+
},
|
|
1994
|
+
version: "1.39.1",
|
|
1995
|
+
logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_janet.svg",
|
|
1996
|
+
i18n: {
|
|
1997
|
+
en: {
|
|
1998
|
+
name: "Janet",
|
|
1999
|
+
description: "A small Lisp-like language and embeddable runtime for scripting.",
|
|
2000
|
+
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."
|
|
2001
|
+
},
|
|
2002
|
+
es: {
|
|
2003
|
+
name: "Janet",
|
|
2004
|
+
description: "Un lenguaje pequeno tipo Lisp y runtime embebible para scripting.",
|
|
2005
|
+
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."
|
|
2006
|
+
}
|
|
2007
|
+
}
|
|
2008
|
+
};
|
|
2009
|
+
|
|
1662
2010
|
// src/languages/java.ts
|
|
1663
2011
|
var java = {
|
|
1664
2012
|
slug: "java",
|
|
@@ -1886,6 +2234,35 @@ var kotlin = {
|
|
|
1886
2234
|
}
|
|
1887
2235
|
};
|
|
1888
2236
|
|
|
2237
|
+
// src/languages/lean.ts
|
|
2238
|
+
var lean = {
|
|
2239
|
+
slug: "lean",
|
|
2240
|
+
publishedDate: "2013-06-16",
|
|
2241
|
+
extensions: [".lean"],
|
|
2242
|
+
author: "Leonardo de Moura / Microsoft Research",
|
|
2243
|
+
website: "https://lean-lang.org",
|
|
2244
|
+
paradigms: ["functional", "dependently typed", "proof-oriented", "metaprogramming"],
|
|
2245
|
+
tooling: {
|
|
2246
|
+
runtimes: ["Lean"],
|
|
2247
|
+
packageManagers: ["Lake", "elan"],
|
|
2248
|
+
ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
|
|
2249
|
+
},
|
|
2250
|
+
version: "4.29.1",
|
|
2251
|
+
logo: "https://cdn.simpleicons.org/leanpub/262425",
|
|
2252
|
+
i18n: {
|
|
2253
|
+
en: {
|
|
2254
|
+
name: "Lean",
|
|
2255
|
+
description: "A theorem prover and functional language for formalized mathematics and software.",
|
|
2256
|
+
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."
|
|
2257
|
+
},
|
|
2258
|
+
es: {
|
|
2259
|
+
name: "Lean",
|
|
2260
|
+
description: "Un demostrador de teoremas y lenguaje funcional para matematica y software formalizados.",
|
|
2261
|
+
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."
|
|
2262
|
+
}
|
|
2263
|
+
}
|
|
2264
|
+
};
|
|
2265
|
+
|
|
1889
2266
|
// src/languages/less.ts
|
|
1890
2267
|
var less = {
|
|
1891
2268
|
slug: "less",
|
|
@@ -1973,6 +2350,35 @@ var lisp = {
|
|
|
1973
2350
|
}
|
|
1974
2351
|
};
|
|
1975
2352
|
|
|
2353
|
+
// src/languages/llvm-ir.ts
|
|
2354
|
+
var llvmIr = {
|
|
2355
|
+
slug: "llvm-ir",
|
|
2356
|
+
publishedDate: "2003-10-01",
|
|
2357
|
+
extensions: [".ll", ".bc"],
|
|
2358
|
+
author: "LLVM Project",
|
|
2359
|
+
website: "https://llvm.org/docs/LangRef.html",
|
|
2360
|
+
paradigms: ["intermediate representation", "static single assignment", "compiler"],
|
|
2361
|
+
tooling: {
|
|
2362
|
+
runtimes: ["LLVM"],
|
|
2363
|
+
packageManagers: ["LLVM releases"],
|
|
2364
|
+
ecosystems: ["Compilers", "Systems programming", "Toolchains"]
|
|
2365
|
+
},
|
|
2366
|
+
version: "22.1.5",
|
|
2367
|
+
logo: "https://cdn.simpleicons.org/llvm/262D3A",
|
|
2368
|
+
i18n: {
|
|
2369
|
+
en: {
|
|
2370
|
+
name: "LLVM IR",
|
|
2371
|
+
description: "The typed intermediate representation used by the LLVM compiler infrastructure.",
|
|
2372
|
+
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."
|
|
2373
|
+
},
|
|
2374
|
+
es: {
|
|
2375
|
+
name: "LLVM IR",
|
|
2376
|
+
description: "La representacion intermedia tipada usada por la infraestructura de compiladores LLVM.",
|
|
2377
|
+
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."
|
|
2378
|
+
}
|
|
2379
|
+
}
|
|
2380
|
+
};
|
|
2381
|
+
|
|
1976
2382
|
// src/languages/lua.ts
|
|
1977
2383
|
var lua = {
|
|
1978
2384
|
slug: "lua",
|
|
@@ -2002,6 +2408,35 @@ var lua = {
|
|
|
2002
2408
|
}
|
|
2003
2409
|
};
|
|
2004
2410
|
|
|
2411
|
+
// src/languages/luau.ts
|
|
2412
|
+
var luau = {
|
|
2413
|
+
slug: "luau",
|
|
2414
|
+
publishedDate: "2021-11-03",
|
|
2415
|
+
extensions: [".luau"],
|
|
2416
|
+
author: "Roblox",
|
|
2417
|
+
website: "https://luau.org",
|
|
2418
|
+
paradigms: ["imperative", "scripting", "gradually typed", "embeddable"],
|
|
2419
|
+
tooling: {
|
|
2420
|
+
runtimes: ["Luau VM", "Roblox"],
|
|
2421
|
+
packageManagers: ["Wally", "Pesde"],
|
|
2422
|
+
ecosystems: ["Roblox", "Games", "Embedded scripting"]
|
|
2423
|
+
},
|
|
2424
|
+
version: "0.719",
|
|
2425
|
+
logo: "https://cdn.simpleicons.org/roblox/000000",
|
|
2426
|
+
i18n: {
|
|
2427
|
+
en: {
|
|
2428
|
+
name: "Luau",
|
|
2429
|
+
description: "A fast Lua-derived scripting language with gradual typing.",
|
|
2430
|
+
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."
|
|
2431
|
+
},
|
|
2432
|
+
es: {
|
|
2433
|
+
name: "Luau",
|
|
2434
|
+
description: "Un lenguaje de scripting derivado de Lua, rapido y con tipado gradual.",
|
|
2435
|
+
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."
|
|
2436
|
+
}
|
|
2437
|
+
}
|
|
2438
|
+
};
|
|
2439
|
+
|
|
2005
2440
|
// src/languages/makefile.ts
|
|
2006
2441
|
var makefile = {
|
|
2007
2442
|
slug: "makefile",
|
|
@@ -2030,6 +2465,35 @@ var makefile = {
|
|
|
2030
2465
|
}
|
|
2031
2466
|
};
|
|
2032
2467
|
|
|
2468
|
+
// src/languages/mako.ts
|
|
2469
|
+
var mako = {
|
|
2470
|
+
slug: "mako",
|
|
2471
|
+
publishedDate: "2006-07-17",
|
|
2472
|
+
extensions: [".mako", ".mao"],
|
|
2473
|
+
author: "Michael Bayer / Mako contributors",
|
|
2474
|
+
website: "https://www.makotemplates.org",
|
|
2475
|
+
paradigms: ["templating", "declarative", "scripting"],
|
|
2476
|
+
tooling: {
|
|
2477
|
+
runtimes: ["Python"],
|
|
2478
|
+
packageManagers: ["pip", "uv", "Poetry"],
|
|
2479
|
+
ecosystems: ["Python", "Web", "Documentation"]
|
|
2480
|
+
},
|
|
2481
|
+
version: "1.3.10",
|
|
2482
|
+
logo: "https://cdn.simpleicons.org/python/3776AB",
|
|
2483
|
+
i18n: {
|
|
2484
|
+
en: {
|
|
2485
|
+
name: "Mako",
|
|
2486
|
+
description: "A Python template language for generating text, HTML, and source artifacts.",
|
|
2487
|
+
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."
|
|
2488
|
+
},
|
|
2489
|
+
es: {
|
|
2490
|
+
name: "Mako",
|
|
2491
|
+
description: "Un lenguaje de plantillas de Python para generar texto, HTML y artefactos fuente.",
|
|
2492
|
+
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."
|
|
2493
|
+
}
|
|
2494
|
+
}
|
|
2495
|
+
};
|
|
2496
|
+
|
|
2033
2497
|
// src/languages/markdown.ts
|
|
2034
2498
|
var markdown = {
|
|
2035
2499
|
slug: "markdown",
|
|
@@ -2054,6 +2518,34 @@ var markdown = {
|
|
|
2054
2518
|
}
|
|
2055
2519
|
};
|
|
2056
2520
|
|
|
2521
|
+
// src/languages/mathematica.ts
|
|
2522
|
+
var mathematica = {
|
|
2523
|
+
slug: "mathematica",
|
|
2524
|
+
publishedDate: "1988-06-23",
|
|
2525
|
+
extensions: [".wl", ".wls", ".nb"],
|
|
2526
|
+
author: "Stephen Wolfram / Wolfram Research",
|
|
2527
|
+
website: "https://www.wolfram.com/language/",
|
|
2528
|
+
paradigms: ["symbolic", "functional", "rule-based", "notebook"],
|
|
2529
|
+
tooling: {
|
|
2530
|
+
runtimes: ["Wolfram Engine", "Wolfram Cloud", "Mathematica"],
|
|
2531
|
+
ecosystems: ["Scientific Computing", "Symbolic Computing", "Notebooks"]
|
|
2532
|
+
},
|
|
2533
|
+
version: "14.3",
|
|
2534
|
+
logo: "https://cdn.simpleicons.org/wolfram/DD1100",
|
|
2535
|
+
i18n: {
|
|
2536
|
+
en: {
|
|
2537
|
+
name: "Wolfram Language",
|
|
2538
|
+
description: "A symbolic computation language used by Mathematica and Wolfram tools.",
|
|
2539
|
+
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."
|
|
2540
|
+
},
|
|
2541
|
+
es: {
|
|
2542
|
+
name: "Wolfram Language",
|
|
2543
|
+
description: "Un lenguaje de computacion simbolica usado por Mathematica y herramientas Wolfram.",
|
|
2544
|
+
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."
|
|
2545
|
+
}
|
|
2546
|
+
}
|
|
2547
|
+
};
|
|
2548
|
+
|
|
2057
2549
|
// src/languages/matlab.ts
|
|
2058
2550
|
var matlab = {
|
|
2059
2551
|
slug: "matlab",
|
|
@@ -2198,6 +2690,64 @@ var metal = {
|
|
|
2198
2690
|
}
|
|
2199
2691
|
};
|
|
2200
2692
|
|
|
2693
|
+
// src/languages/mojo.ts
|
|
2694
|
+
var mojo = {
|
|
2695
|
+
slug: "mojo",
|
|
2696
|
+
publishedDate: "2023-05-02",
|
|
2697
|
+
extensions: [".mojo"],
|
|
2698
|
+
author: "Modular",
|
|
2699
|
+
website: "https://www.modular.com/mojo",
|
|
2700
|
+
paradigms: ["imperative", "systems", "statically typed", "data-oriented"],
|
|
2701
|
+
tooling: {
|
|
2702
|
+
runtimes: ["Mojo toolchain", "MAX"],
|
|
2703
|
+
packageManagers: ["pixi", "pip"],
|
|
2704
|
+
ecosystems: ["AI", "Accelerators", "Python"]
|
|
2705
|
+
},
|
|
2706
|
+
version: "0.26.1",
|
|
2707
|
+
logo: "https://avatars.githubusercontent.com/u/107116314?v=4",
|
|
2708
|
+
i18n: {
|
|
2709
|
+
en: {
|
|
2710
|
+
name: "Mojo",
|
|
2711
|
+
description: "A systems-oriented language for AI and accelerator-aware programming.",
|
|
2712
|
+
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."
|
|
2713
|
+
},
|
|
2714
|
+
es: {
|
|
2715
|
+
name: "Mojo",
|
|
2716
|
+
description: "Un lenguaje orientado a sistemas para IA y programacion con aceleradores.",
|
|
2717
|
+
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."
|
|
2718
|
+
}
|
|
2719
|
+
}
|
|
2720
|
+
};
|
|
2721
|
+
|
|
2722
|
+
// src/languages/moonbit.ts
|
|
2723
|
+
var moonbit = {
|
|
2724
|
+
slug: "moonbit",
|
|
2725
|
+
publishedDate: "2023-08-18",
|
|
2726
|
+
extensions: [".mbt"],
|
|
2727
|
+
author: "MoonBit Team",
|
|
2728
|
+
website: "https://www.moonbitlang.com",
|
|
2729
|
+
paradigms: ["functional", "statically typed", "multi-paradigm", "wasm"],
|
|
2730
|
+
tooling: {
|
|
2731
|
+
runtimes: ["MoonBit toolchain", "WebAssembly", "JavaScript"],
|
|
2732
|
+
packageManagers: ["moon"],
|
|
2733
|
+
ecosystems: ["WebAssembly", "Web", "Embedded"]
|
|
2734
|
+
},
|
|
2735
|
+
version: "0.9.2",
|
|
2736
|
+
logo: "https://avatars.githubusercontent.com/u/124476259?v=4",
|
|
2737
|
+
i18n: {
|
|
2738
|
+
en: {
|
|
2739
|
+
name: "MoonBit",
|
|
2740
|
+
description: "A statically typed language and toolchain designed for WebAssembly output.",
|
|
2741
|
+
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."
|
|
2742
|
+
},
|
|
2743
|
+
es: {
|
|
2744
|
+
name: "MoonBit",
|
|
2745
|
+
description: "Un lenguaje tipado y toolchain disenado para generar WebAssembly.",
|
|
2746
|
+
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."
|
|
2747
|
+
}
|
|
2748
|
+
}
|
|
2749
|
+
};
|
|
2750
|
+
|
|
2201
2751
|
// src/languages/nginx.ts
|
|
2202
2752
|
var nginx = {
|
|
2203
2753
|
slug: "nginx",
|
|
@@ -2342,6 +2892,63 @@ var ocaml = {
|
|
|
2342
2892
|
}
|
|
2343
2893
|
};
|
|
2344
2894
|
|
|
2895
|
+
// src/languages/odin.ts
|
|
2896
|
+
var odin = {
|
|
2897
|
+
slug: "odin",
|
|
2898
|
+
publishedDate: "2016-11-05",
|
|
2899
|
+
extensions: [".odin"],
|
|
2900
|
+
author: "Ginger Bill",
|
|
2901
|
+
website: "https://odin-lang.org",
|
|
2902
|
+
paradigms: ["imperative", "procedural", "systems", "data-oriented"],
|
|
2903
|
+
tooling: {
|
|
2904
|
+
runtimes: ["Odin compiler"],
|
|
2905
|
+
packageManagers: ["odin"],
|
|
2906
|
+
ecosystems: ["Systems", "Game Development", "Native"]
|
|
2907
|
+
},
|
|
2908
|
+
version: "dev-2026-02",
|
|
2909
|
+
logo: "https://avatars.githubusercontent.com/u/12533910?v=4",
|
|
2910
|
+
i18n: {
|
|
2911
|
+
en: {
|
|
2912
|
+
name: "Odin",
|
|
2913
|
+
description: "A data-oriented systems language for native software and game tooling.",
|
|
2914
|
+
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."
|
|
2915
|
+
},
|
|
2916
|
+
es: {
|
|
2917
|
+
name: "Odin",
|
|
2918
|
+
description: "Un lenguaje de sistemas orientado a datos para software nativo y juegos.",
|
|
2919
|
+
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."
|
|
2920
|
+
}
|
|
2921
|
+
}
|
|
2922
|
+
};
|
|
2923
|
+
|
|
2924
|
+
// src/languages/opencl.ts
|
|
2925
|
+
var opencl = {
|
|
2926
|
+
slug: "opencl",
|
|
2927
|
+
publishedDate: "2008-12-08",
|
|
2928
|
+
extensions: [".cl", ".clh"],
|
|
2929
|
+
author: "Khronos Group",
|
|
2930
|
+
website: "https://www.khronos.org/opencl/",
|
|
2931
|
+
paradigms: ["parallel", "kernel", "data-parallel", "c-family"],
|
|
2932
|
+
tooling: {
|
|
2933
|
+
runtimes: ["OpenCL Runtime"],
|
|
2934
|
+
ecosystems: ["GPU Compute", "Heterogeneous Computing", "Khronos"]
|
|
2935
|
+
},
|
|
2936
|
+
version: "OpenCL C 3.0",
|
|
2937
|
+
logo: "https://cdn.simpleicons.org/khronosgroup/CC3333",
|
|
2938
|
+
i18n: {
|
|
2939
|
+
en: {
|
|
2940
|
+
name: "OpenCL C",
|
|
2941
|
+
description: "The C-based kernel language for OpenCL heterogeneous compute programs.",
|
|
2942
|
+
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."
|
|
2943
|
+
},
|
|
2944
|
+
es: {
|
|
2945
|
+
name: "OpenCL C",
|
|
2946
|
+
description: "El lenguaje de kernels basado en C para programas de computo OpenCL.",
|
|
2947
|
+
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."
|
|
2948
|
+
}
|
|
2949
|
+
}
|
|
2950
|
+
};
|
|
2951
|
+
|
|
2345
2952
|
// src/languages/pascal.ts
|
|
2346
2953
|
var pascal = {
|
|
2347
2954
|
slug: "pascal",
|
|
@@ -2429,6 +3036,34 @@ var php = {
|
|
|
2429
3036
|
}
|
|
2430
3037
|
};
|
|
2431
3038
|
|
|
3039
|
+
// src/languages/pine-script.ts
|
|
3040
|
+
var pineScript = {
|
|
3041
|
+
slug: "pine-script",
|
|
3042
|
+
publishedDate: "2013-12-01",
|
|
3043
|
+
extensions: [".pine"],
|
|
3044
|
+
author: "TradingView",
|
|
3045
|
+
website: "https://www.tradingview.com/pine-script-docs/",
|
|
3046
|
+
paradigms: ["domain-specific", "time-series", "declarative", "scripting"],
|
|
3047
|
+
tooling: {
|
|
3048
|
+
runtimes: ["TradingView"],
|
|
3049
|
+
ecosystems: ["Charts", "Trading", "Technical Analysis"]
|
|
3050
|
+
},
|
|
3051
|
+
version: "v6",
|
|
3052
|
+
logo: "https://cdn.simpleicons.org/tradingview/131722",
|
|
3053
|
+
i18n: {
|
|
3054
|
+
en: {
|
|
3055
|
+
name: "Pine Script",
|
|
3056
|
+
description: "TradingView's language for indicators, strategies, and chart studies.",
|
|
3057
|
+
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."
|
|
3058
|
+
},
|
|
3059
|
+
es: {
|
|
3060
|
+
name: "Pine Script",
|
|
3061
|
+
description: "El lenguaje de TradingView para indicadores, estrategias y estudios de graficos.",
|
|
3062
|
+
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."
|
|
3063
|
+
}
|
|
3064
|
+
}
|
|
3065
|
+
};
|
|
3066
|
+
|
|
2432
3067
|
// src/languages/plantuml.ts
|
|
2433
3068
|
var plantuml = {
|
|
2434
3069
|
slug: "plantuml",
|
|
@@ -2458,6 +3093,63 @@ var plantuml = {
|
|
|
2458
3093
|
}
|
|
2459
3094
|
};
|
|
2460
3095
|
|
|
3096
|
+
// src/languages/plsql.ts
|
|
3097
|
+
var plsql = {
|
|
3098
|
+
slug: "plsql",
|
|
3099
|
+
publishedDate: "1992-01-01",
|
|
3100
|
+
extensions: [".pls", ".pks", ".pkb", ".plsql"],
|
|
3101
|
+
author: "Oracle",
|
|
3102
|
+
website: "https://www.oracle.com/database/technologies/appdev/plsql.html",
|
|
3103
|
+
paradigms: ["procedural", "database", "declarative", "imperative"],
|
|
3104
|
+
tooling: {
|
|
3105
|
+
runtimes: ["Oracle Database"],
|
|
3106
|
+
ecosystems: ["Oracle", "SQL", "Enterprise Data"]
|
|
3107
|
+
},
|
|
3108
|
+
version: "Oracle Database 26ai",
|
|
3109
|
+
logo: "https://github.com/oracle.png",
|
|
3110
|
+
i18n: {
|
|
3111
|
+
en: {
|
|
3112
|
+
name: "Oracle PL/SQL",
|
|
3113
|
+
description: "Oracle's procedural extension to SQL for database programs and packages.",
|
|
3114
|
+
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."
|
|
3115
|
+
},
|
|
3116
|
+
es: {
|
|
3117
|
+
name: "Oracle PL/SQL",
|
|
3118
|
+
description: "La extension procedural de SQL de Oracle para programas y paquetes de base de datos.",
|
|
3119
|
+
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."
|
|
3120
|
+
}
|
|
3121
|
+
}
|
|
3122
|
+
};
|
|
3123
|
+
|
|
3124
|
+
// src/languages/pony.ts
|
|
3125
|
+
var pony = {
|
|
3126
|
+
slug: "pony",
|
|
3127
|
+
publishedDate: "2015-04-29",
|
|
3128
|
+
extensions: [".pony"],
|
|
3129
|
+
author: "Sylvan Clebsch / Pony contributors",
|
|
3130
|
+
website: "https://www.ponylang.io",
|
|
3131
|
+
paradigms: ["actor-model", "object-oriented", "capability-secure", "concurrent"],
|
|
3132
|
+
tooling: {
|
|
3133
|
+
runtimes: ["Pony runtime"],
|
|
3134
|
+
packageManagers: ["ponyup", "corral"],
|
|
3135
|
+
ecosystems: ["Actors", "Native", "Distributed Systems"]
|
|
3136
|
+
},
|
|
3137
|
+
version: "0.61.1",
|
|
3138
|
+
logo: "https://avatars.githubusercontent.com/u/14593805?v=4",
|
|
3139
|
+
i18n: {
|
|
3140
|
+
en: {
|
|
3141
|
+
name: "Pony",
|
|
3142
|
+
description: "An actor language with reference capabilities and data-race safety.",
|
|
3143
|
+
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."
|
|
3144
|
+
},
|
|
3145
|
+
es: {
|
|
3146
|
+
name: "Pony",
|
|
3147
|
+
description: "Un lenguaje de actores con capacidades de referencia y seguridad ante data races.",
|
|
3148
|
+
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."
|
|
3149
|
+
}
|
|
3150
|
+
}
|
|
3151
|
+
};
|
|
3152
|
+
|
|
2461
3153
|
// src/languages/powershell.ts
|
|
2462
3154
|
var powershell = {
|
|
2463
3155
|
slug: "powershell",
|
|
@@ -2516,6 +3208,34 @@ var prolog = {
|
|
|
2516
3208
|
}
|
|
2517
3209
|
};
|
|
2518
3210
|
|
|
3211
|
+
// src/languages/promql.ts
|
|
3212
|
+
var promql = {
|
|
3213
|
+
slug: "promql",
|
|
3214
|
+
publishedDate: "2012-11-24",
|
|
3215
|
+
extensions: [".promql"],
|
|
3216
|
+
author: "Prometheus Authors",
|
|
3217
|
+
website: "https://prometheus.io/docs/prometheus/latest/querying/basics/",
|
|
3218
|
+
paradigms: ["query", "time-series", "declarative", "domain-specific"],
|
|
3219
|
+
tooling: {
|
|
3220
|
+
runtimes: ["Prometheus", "Thanos", "Mimir"],
|
|
3221
|
+
ecosystems: ["Observability", "Metrics", "Monitoring"]
|
|
3222
|
+
},
|
|
3223
|
+
version: "Prometheus 3.x",
|
|
3224
|
+
logo: "https://cdn.simpleicons.org/prometheus/E6522C",
|
|
3225
|
+
i18n: {
|
|
3226
|
+
en: {
|
|
3227
|
+
name: "PromQL",
|
|
3228
|
+
description: "The Prometheus query language for selecting and aggregating metrics.",
|
|
3229
|
+
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."
|
|
3230
|
+
},
|
|
3231
|
+
es: {
|
|
3232
|
+
name: "PromQL",
|
|
3233
|
+
description: "El lenguaje de consulta de Prometheus para seleccionar y agregar metricas.",
|
|
3234
|
+
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."
|
|
3235
|
+
}
|
|
3236
|
+
}
|
|
3237
|
+
};
|
|
3238
|
+
|
|
2519
3239
|
// src/languages/protobuf.ts
|
|
2520
3240
|
var protobuf = {
|
|
2521
3241
|
slug: "protobuf",
|
|
@@ -2574,6 +3294,35 @@ var pug = {
|
|
|
2574
3294
|
}
|
|
2575
3295
|
};
|
|
2576
3296
|
|
|
3297
|
+
// src/languages/purescript.ts
|
|
3298
|
+
var purescript = {
|
|
3299
|
+
slug: "purescript",
|
|
3300
|
+
publishedDate: "2013-09-01",
|
|
3301
|
+
extensions: [".purs"],
|
|
3302
|
+
author: "Phil Freeman / PureScript contributors",
|
|
3303
|
+
website: "https://www.purescript.org",
|
|
3304
|
+
paradigms: ["functional", "pure", "statically typed", "declarative"],
|
|
3305
|
+
tooling: {
|
|
3306
|
+
runtimes: ["JavaScript", "Node.js"],
|
|
3307
|
+
packageManagers: ["Spago", "npm"],
|
|
3308
|
+
ecosystems: ["Web", "Functional Programming", "JavaScript"]
|
|
3309
|
+
},
|
|
3310
|
+
version: "0.15.15",
|
|
3311
|
+
logo: "https://cdn.simpleicons.org/purescript/14161A",
|
|
3312
|
+
i18n: {
|
|
3313
|
+
en: {
|
|
3314
|
+
name: "PureScript",
|
|
3315
|
+
description: "A strongly typed purely functional language that compiles to JavaScript.",
|
|
3316
|
+
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."
|
|
3317
|
+
},
|
|
3318
|
+
es: {
|
|
3319
|
+
name: "PureScript",
|
|
3320
|
+
description: "Un lenguaje funcional puro y fuertemente tipado que compila a JavaScript.",
|
|
3321
|
+
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."
|
|
3322
|
+
}
|
|
3323
|
+
}
|
|
3324
|
+
};
|
|
3325
|
+
|
|
2577
3326
|
// src/languages/python.ts
|
|
2578
3327
|
var python = {
|
|
2579
3328
|
slug: "python",
|
|
@@ -2632,6 +3381,35 @@ var qml = {
|
|
|
2632
3381
|
}
|
|
2633
3382
|
};
|
|
2634
3383
|
|
|
3384
|
+
// src/languages/qsharp.ts
|
|
3385
|
+
var qsharp = {
|
|
3386
|
+
slug: "qsharp",
|
|
3387
|
+
publishedDate: "2017-12-11",
|
|
3388
|
+
extensions: [".qs"],
|
|
3389
|
+
author: "Microsoft",
|
|
3390
|
+
website: "https://learn.microsoft.com/azure/quantum/qsharp-overview",
|
|
3391
|
+
paradigms: ["quantum", "domain-specific", "functional", "imperative"],
|
|
3392
|
+
tooling: {
|
|
3393
|
+
runtimes: ["Azure Quantum", "Q# compiler"],
|
|
3394
|
+
packageManagers: ["NuGet", "Python"],
|
|
3395
|
+
ecosystems: ["Quantum Computing", "Azure"]
|
|
3396
|
+
},
|
|
3397
|
+
version: "Q# 1.0",
|
|
3398
|
+
logo: "https://github.com/microsoft.png",
|
|
3399
|
+
i18n: {
|
|
3400
|
+
en: {
|
|
3401
|
+
name: "Q#",
|
|
3402
|
+
description: "Microsoft's language for expressing quantum programs and operations.",
|
|
3403
|
+
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."
|
|
3404
|
+
},
|
|
3405
|
+
es: {
|
|
3406
|
+
name: "Q#",
|
|
3407
|
+
description: "El lenguaje de Microsoft para expresar programas y operaciones cuanticas.",
|
|
3408
|
+
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."
|
|
3409
|
+
}
|
|
3410
|
+
}
|
|
3411
|
+
};
|
|
3412
|
+
|
|
2635
3413
|
// src/languages/r.ts
|
|
2636
3414
|
var r = {
|
|
2637
3415
|
slug: "r",
|
|
@@ -2690,6 +3468,35 @@ var racket = {
|
|
|
2690
3468
|
}
|
|
2691
3469
|
};
|
|
2692
3470
|
|
|
3471
|
+
// src/languages/raku.ts
|
|
3472
|
+
var raku = {
|
|
3473
|
+
slug: "raku",
|
|
3474
|
+
publishedDate: "2015-12-25",
|
|
3475
|
+
extensions: [".raku", ".rakumod", ".rakudoc", ".rakutest", ".p6", ".pm6"],
|
|
3476
|
+
author: "Raku Community",
|
|
3477
|
+
website: "https://raku.org",
|
|
3478
|
+
paradigms: ["multi-paradigm", "object-oriented", "functional", "concurrent"],
|
|
3479
|
+
tooling: {
|
|
3480
|
+
runtimes: ["Rakudo", "MoarVM"],
|
|
3481
|
+
packageManagers: ["zef"],
|
|
3482
|
+
ecosystems: ["Raku", "CLI", "Text Processing"]
|
|
3483
|
+
},
|
|
3484
|
+
version: "6.d",
|
|
3485
|
+
logo: "https://github.com/Raku.png",
|
|
3486
|
+
i18n: {
|
|
3487
|
+
en: {
|
|
3488
|
+
name: "Raku",
|
|
3489
|
+
description: "A multi-paradigm language with grammars, concurrency, and rich dispatch.",
|
|
3490
|
+
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."
|
|
3491
|
+
},
|
|
3492
|
+
es: {
|
|
3493
|
+
name: "Raku",
|
|
3494
|
+
description: "Un lenguaje multiparadigma con grammars, concurrencia y dispatch expresivo.",
|
|
3495
|
+
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."
|
|
3496
|
+
}
|
|
3497
|
+
}
|
|
3498
|
+
};
|
|
3499
|
+
|
|
2693
3500
|
// src/languages/razor.ts
|
|
2694
3501
|
var razor = {
|
|
2695
3502
|
slug: "razor",
|
|
@@ -2719,6 +3526,35 @@ var razor = {
|
|
|
2719
3526
|
}
|
|
2720
3527
|
};
|
|
2721
3528
|
|
|
3529
|
+
// src/languages/reasonml.ts
|
|
3530
|
+
var reasonml = {
|
|
3531
|
+
slug: "reasonml",
|
|
3532
|
+
publishedDate: "2016-05-13",
|
|
3533
|
+
extensions: [".re", ".rei"],
|
|
3534
|
+
author: "Jordan Walke / Reason contributors",
|
|
3535
|
+
website: "https://reasonml.github.io",
|
|
3536
|
+
paradigms: ["functional", "statically typed", "multi-paradigm"],
|
|
3537
|
+
tooling: {
|
|
3538
|
+
runtimes: ["OCaml", "JavaScript"],
|
|
3539
|
+
packageManagers: ["opam", "npm"],
|
|
3540
|
+
ecosystems: ["OCaml", "JavaScript", "Web"]
|
|
3541
|
+
},
|
|
3542
|
+
version: "3.13.0",
|
|
3543
|
+
logo: "https://cdn.simpleicons.org/reason/DD4B39",
|
|
3544
|
+
i18n: {
|
|
3545
|
+
en: {
|
|
3546
|
+
name: "ReasonML",
|
|
3547
|
+
description: "A JavaScript-like syntax for OCaml and typed functional programming.",
|
|
3548
|
+
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."
|
|
3549
|
+
},
|
|
3550
|
+
es: {
|
|
3551
|
+
name: "ReasonML",
|
|
3552
|
+
description: "Una sintaxis cercana a JavaScript para OCaml y programacion funcional tipada.",
|
|
3553
|
+
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."
|
|
3554
|
+
}
|
|
3555
|
+
}
|
|
3556
|
+
};
|
|
3557
|
+
|
|
2722
3558
|
// src/languages/rego.ts
|
|
2723
3559
|
var rego = {
|
|
2724
3560
|
slug: "rego",
|
|
@@ -2748,6 +3584,64 @@ var rego = {
|
|
|
2748
3584
|
}
|
|
2749
3585
|
};
|
|
2750
3586
|
|
|
3587
|
+
// src/languages/rescript.ts
|
|
3588
|
+
var rescript = {
|
|
3589
|
+
slug: "rescript",
|
|
3590
|
+
publishedDate: "2020-07-01",
|
|
3591
|
+
extensions: [".res", ".resi"],
|
|
3592
|
+
author: "ReScript Association",
|
|
3593
|
+
website: "https://rescript-lang.org",
|
|
3594
|
+
paradigms: ["functional", "statically typed", "multi-paradigm", "javascript-targeted"],
|
|
3595
|
+
tooling: {
|
|
3596
|
+
runtimes: ["JavaScript", "Node.js", "Browser"],
|
|
3597
|
+
packageManagers: ["npm", "pnpm", "Yarn"],
|
|
3598
|
+
ecosystems: ["Web", "React", "JavaScript"]
|
|
3599
|
+
},
|
|
3600
|
+
version: "12.0.0",
|
|
3601
|
+
logo: "https://cdn.simpleicons.org/rescript/E6484A",
|
|
3602
|
+
i18n: {
|
|
3603
|
+
en: {
|
|
3604
|
+
name: "ReScript",
|
|
3605
|
+
description: "A typed language and compiler focused on ergonomic JavaScript output.",
|
|
3606
|
+
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."
|
|
3607
|
+
},
|
|
3608
|
+
es: {
|
|
3609
|
+
name: "ReScript",
|
|
3610
|
+
description: "Un lenguaje tipado y compilador enfocado en generar JavaScript ergonomico.",
|
|
3611
|
+
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."
|
|
3612
|
+
}
|
|
3613
|
+
}
|
|
3614
|
+
};
|
|
3615
|
+
|
|
3616
|
+
// src/languages/restructuredtext.ts
|
|
3617
|
+
var restructuredtext = {
|
|
3618
|
+
slug: "restructuredtext",
|
|
3619
|
+
publishedDate: "2001-06-01",
|
|
3620
|
+
extensions: [".rst", ".rest"],
|
|
3621
|
+
author: "David Goodger / Docutils contributors",
|
|
3622
|
+
website: "https://docutils.sourceforge.io/rst.html",
|
|
3623
|
+
paradigms: ["markup", "declarative", "documentation"],
|
|
3624
|
+
tooling: {
|
|
3625
|
+
runtimes: ["Docutils", "Sphinx"],
|
|
3626
|
+
packageManagers: ["pip"],
|
|
3627
|
+
ecosystems: ["Python", "Documentation", "Publishing"]
|
|
3628
|
+
},
|
|
3629
|
+
version: "Docutils 0.22.2",
|
|
3630
|
+
logo: "https://cdn.simpleicons.org/readthedocs/8CA1AF",
|
|
3631
|
+
i18n: {
|
|
3632
|
+
en: {
|
|
3633
|
+
name: "reStructuredText",
|
|
3634
|
+
description: "A plain-text markup format used by Docutils and Sphinx documentation.",
|
|
3635
|
+
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."
|
|
3636
|
+
},
|
|
3637
|
+
es: {
|
|
3638
|
+
name: "reStructuredText",
|
|
3639
|
+
description: "Un formato de marcado en texto plano usado por Docutils y Sphinx.",
|
|
3640
|
+
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."
|
|
3641
|
+
}
|
|
3642
|
+
}
|
|
3643
|
+
};
|
|
3644
|
+
|
|
2751
3645
|
// src/languages/ruby.ts
|
|
2752
3646
|
var ruby = {
|
|
2753
3647
|
slug: "ruby",
|
|
@@ -2806,6 +3700,34 @@ var rust = {
|
|
|
2806
3700
|
}
|
|
2807
3701
|
};
|
|
2808
3702
|
|
|
3703
|
+
// src/languages/sas.ts
|
|
3704
|
+
var sas = {
|
|
3705
|
+
slug: "sas",
|
|
3706
|
+
publishedDate: "1976-01-01",
|
|
3707
|
+
extensions: [".sas"],
|
|
3708
|
+
author: "SAS Institute",
|
|
3709
|
+
website: "https://www.sas.com",
|
|
3710
|
+
paradigms: ["data-step", "procedural", "statistical", "domain-specific"],
|
|
3711
|
+
tooling: {
|
|
3712
|
+
runtimes: ["SAS 9", "SAS Viya"],
|
|
3713
|
+
ecosystems: ["Analytics", "Statistics", "Enterprise Data"]
|
|
3714
|
+
},
|
|
3715
|
+
version: "SAS 9.4",
|
|
3716
|
+
logo: "https://upload.wikimedia.org/wikipedia/commons/1/10/SAS_logo_horiz.svg",
|
|
3717
|
+
i18n: {
|
|
3718
|
+
en: {
|
|
3719
|
+
name: "SAS",
|
|
3720
|
+
description: "A language and system for statistical analysis and data processing.",
|
|
3721
|
+
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."
|
|
3722
|
+
},
|
|
3723
|
+
es: {
|
|
3724
|
+
name: "SAS",
|
|
3725
|
+
description: "Un lenguaje y sistema para analisis estadistico y procesamiento de datos.",
|
|
3726
|
+
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."
|
|
3727
|
+
}
|
|
3728
|
+
}
|
|
3729
|
+
};
|
|
3730
|
+
|
|
2809
3731
|
// src/languages/scala.ts
|
|
2810
3732
|
var scala = {
|
|
2811
3733
|
slug: "scala",
|
|
@@ -2835,6 +3757,34 @@ var scala = {
|
|
|
2835
3757
|
}
|
|
2836
3758
|
};
|
|
2837
3759
|
|
|
3760
|
+
// src/languages/scheme.ts
|
|
3761
|
+
var scheme = {
|
|
3762
|
+
slug: "scheme",
|
|
3763
|
+
publishedDate: "1975-12-01",
|
|
3764
|
+
extensions: [".scm", ".ss", ".sld", ".sls"],
|
|
3765
|
+
author: "Guy L. Steele Jr. / Gerald Jay Sussman",
|
|
3766
|
+
website: "https://www.scheme.org",
|
|
3767
|
+
paradigms: ["functional", "lisp", "minimal", "multi-paradigm"],
|
|
3768
|
+
tooling: {
|
|
3769
|
+
runtimes: ["Chez Scheme", "Guile", "Racket", "Chicken"],
|
|
3770
|
+
ecosystems: ["Lisp", "Education", "Language Research"]
|
|
3771
|
+
},
|
|
3772
|
+
version: "R7RS small",
|
|
3773
|
+
logo: "https://cdn.simpleicons.org/racket/9F1D20",
|
|
3774
|
+
i18n: {
|
|
3775
|
+
en: {
|
|
3776
|
+
name: "Scheme",
|
|
3777
|
+
description: "A small Lisp family language centered on lexical scope and procedures.",
|
|
3778
|
+
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."
|
|
3779
|
+
},
|
|
3780
|
+
es: {
|
|
3781
|
+
name: "Scheme",
|
|
3782
|
+
description: "Un lenguaje de la familia Lisp centrado en alcance lexico y procedimientos.",
|
|
3783
|
+
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."
|
|
3784
|
+
}
|
|
3785
|
+
}
|
|
3786
|
+
};
|
|
3787
|
+
|
|
2838
3788
|
// src/languages/scss.ts
|
|
2839
3789
|
var scss = {
|
|
2840
3790
|
slug: "scss",
|
|
@@ -2864,6 +3814,63 @@ var scss = {
|
|
|
2864
3814
|
}
|
|
2865
3815
|
};
|
|
2866
3816
|
|
|
3817
|
+
// src/languages/smalltalk.ts
|
|
3818
|
+
var smalltalk = {
|
|
3819
|
+
slug: "smalltalk",
|
|
3820
|
+
publishedDate: "1972-01-01",
|
|
3821
|
+
extensions: [".st"],
|
|
3822
|
+
author: "Alan Kay / Dan Ingalls / Adele Goldberg",
|
|
3823
|
+
website: "https://squeak.org",
|
|
3824
|
+
paradigms: ["object-oriented", "message-passing", "reflective", "dynamic"],
|
|
3825
|
+
tooling: {
|
|
3826
|
+
runtimes: ["Pharo", "Squeak", "GNU Smalltalk"],
|
|
3827
|
+
ecosystems: ["Images", "Education", "Object Systems"]
|
|
3828
|
+
},
|
|
3829
|
+
version: "ANSI INCITS 319-1998",
|
|
3830
|
+
logo: "https://commons.wikimedia.org/wiki/Special:FilePath/Smalltalk_Balloon.svg",
|
|
3831
|
+
i18n: {
|
|
3832
|
+
en: {
|
|
3833
|
+
name: "Smalltalk",
|
|
3834
|
+
description: "A message-oriented object language with live image-based environments.",
|
|
3835
|
+
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."
|
|
3836
|
+
},
|
|
3837
|
+
es: {
|
|
3838
|
+
name: "Smalltalk",
|
|
3839
|
+
description: "Un lenguaje orientado a mensajes y objetos con entornos de imagen vivos.",
|
|
3840
|
+
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."
|
|
3841
|
+
}
|
|
3842
|
+
}
|
|
3843
|
+
};
|
|
3844
|
+
|
|
3845
|
+
// src/languages/smarty.ts
|
|
3846
|
+
var smarty = {
|
|
3847
|
+
slug: "smarty",
|
|
3848
|
+
publishedDate: "2001-01-01",
|
|
3849
|
+
extensions: [".tpl", ".smarty"],
|
|
3850
|
+
author: "Monte Ohrt / Andrei Zmievski / Smarty contributors",
|
|
3851
|
+
website: "https://www.smarty.net",
|
|
3852
|
+
paradigms: ["templating", "declarative", "markup"],
|
|
3853
|
+
tooling: {
|
|
3854
|
+
runtimes: ["PHP"],
|
|
3855
|
+
packageManagers: ["Composer"],
|
|
3856
|
+
ecosystems: ["PHP", "Web"]
|
|
3857
|
+
},
|
|
3858
|
+
version: "5.5.1",
|
|
3859
|
+
logo: "https://www.smarty.net/images/logo_print.gif",
|
|
3860
|
+
i18n: {
|
|
3861
|
+
en: {
|
|
3862
|
+
name: "Smarty",
|
|
3863
|
+
description: "A PHP template language for presentation logic and reusable views.",
|
|
3864
|
+
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."
|
|
3865
|
+
},
|
|
3866
|
+
es: {
|
|
3867
|
+
name: "Smarty",
|
|
3868
|
+
description: "Un lenguaje de plantillas PHP para logica de presentacion y vistas reutilizables.",
|
|
3869
|
+
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."
|
|
3870
|
+
}
|
|
3871
|
+
}
|
|
3872
|
+
};
|
|
3873
|
+
|
|
2867
3874
|
// src/languages/solidity.ts
|
|
2868
3875
|
var solidity = {
|
|
2869
3876
|
slug: "solidity",
|
|
@@ -2917,6 +3924,34 @@ var sql = {
|
|
|
2917
3924
|
}
|
|
2918
3925
|
};
|
|
2919
3926
|
|
|
3927
|
+
// src/languages/standard-ml.ts
|
|
3928
|
+
var standardMl = {
|
|
3929
|
+
slug: "standard-ml",
|
|
3930
|
+
publishedDate: "1990-01-01",
|
|
3931
|
+
extensions: [".sml", ".sig", ".fun"],
|
|
3932
|
+
author: "Robin Milner and collaborators",
|
|
3933
|
+
website: "https://smlfamily.github.io",
|
|
3934
|
+
paradigms: ["functional", "statically typed", "module-oriented"],
|
|
3935
|
+
tooling: {
|
|
3936
|
+
runtimes: ["MLton", "Standard ML of New Jersey", "Poly/ML"],
|
|
3937
|
+
ecosystems: ["ML", "Compilers", "Research"]
|
|
3938
|
+
},
|
|
3939
|
+
version: "The Definition 1997",
|
|
3940
|
+
logo: "https://avatars.githubusercontent.com/u/62883579?v=4",
|
|
3941
|
+
i18n: {
|
|
3942
|
+
en: {
|
|
3943
|
+
name: "Standard ML",
|
|
3944
|
+
description: "A statically typed ML language with modules and pattern matching.",
|
|
3945
|
+
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."
|
|
3946
|
+
},
|
|
3947
|
+
es: {
|
|
3948
|
+
name: "Standard ML",
|
|
3949
|
+
description: "Un lenguaje ML tipado con modulos y pattern matching.",
|
|
3950
|
+
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."
|
|
3951
|
+
}
|
|
3952
|
+
}
|
|
3953
|
+
};
|
|
3954
|
+
|
|
2920
3955
|
// src/languages/starlark.ts
|
|
2921
3956
|
var starlark = {
|
|
2922
3957
|
slug: "starlark",
|
|
@@ -2946,6 +3981,63 @@ var starlark = {
|
|
|
2946
3981
|
}
|
|
2947
3982
|
};
|
|
2948
3983
|
|
|
3984
|
+
// src/languages/stata.ts
|
|
3985
|
+
var stata = {
|
|
3986
|
+
slug: "stata",
|
|
3987
|
+
publishedDate: "1985-01-01",
|
|
3988
|
+
extensions: [".do", ".ado", ".mata"],
|
|
3989
|
+
author: "StataCorp",
|
|
3990
|
+
website: "https://www.stata.com",
|
|
3991
|
+
paradigms: ["statistical", "scripting", "data-analysis", "domain-specific"],
|
|
3992
|
+
tooling: {
|
|
3993
|
+
runtimes: ["Stata"],
|
|
3994
|
+
ecosystems: ["Statistics", "Econometrics", "Research"]
|
|
3995
|
+
},
|
|
3996
|
+
version: "19",
|
|
3997
|
+
logo: "https://www.stata.com/includes/images/stata-logo-blue.svg",
|
|
3998
|
+
i18n: {
|
|
3999
|
+
en: {
|
|
4000
|
+
name: "Stata",
|
|
4001
|
+
description: "A command language for statistical analysis, data management, and graphics.",
|
|
4002
|
+
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."
|
|
4003
|
+
},
|
|
4004
|
+
es: {
|
|
4005
|
+
name: "Stata",
|
|
4006
|
+
description: "Un lenguaje de comandos para analisis estadistico, datos y graficos.",
|
|
4007
|
+
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."
|
|
4008
|
+
}
|
|
4009
|
+
}
|
|
4010
|
+
};
|
|
4011
|
+
|
|
4012
|
+
// src/languages/stylus.ts
|
|
4013
|
+
var stylus = {
|
|
4014
|
+
slug: "stylus",
|
|
4015
|
+
publishedDate: "2010-12-01",
|
|
4016
|
+
extensions: [".styl"],
|
|
4017
|
+
author: "TJ Holowaychuk / Stylus contributors",
|
|
4018
|
+
website: "https://stylus-lang.com",
|
|
4019
|
+
paradigms: ["stylesheet", "declarative", "preprocessor"],
|
|
4020
|
+
tooling: {
|
|
4021
|
+
runtimes: ["Node.js"],
|
|
4022
|
+
packageManagers: ["npm", "pnpm", "Yarn"],
|
|
4023
|
+
ecosystems: ["CSS", "Web"]
|
|
4024
|
+
},
|
|
4025
|
+
version: "0.64.0",
|
|
4026
|
+
logo: "https://cdn.simpleicons.org/stylus/333333",
|
|
4027
|
+
i18n: {
|
|
4028
|
+
en: {
|
|
4029
|
+
name: "Stylus",
|
|
4030
|
+
description: "A flexible CSS preprocessor with optional punctuation and indentation syntax.",
|
|
4031
|
+
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."
|
|
4032
|
+
},
|
|
4033
|
+
es: {
|
|
4034
|
+
name: "Stylus",
|
|
4035
|
+
description: "Un preprocesador CSS flexible con puntuacion opcional y sintaxis por indentacion.",
|
|
4036
|
+
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."
|
|
4037
|
+
}
|
|
4038
|
+
}
|
|
4039
|
+
};
|
|
4040
|
+
|
|
2949
4041
|
// src/languages/svelte.ts
|
|
2950
4042
|
var svelte = {
|
|
2951
4043
|
slug: "svelte",
|
|
@@ -3118,6 +4210,63 @@ var tex = {
|
|
|
3118
4210
|
}
|
|
3119
4211
|
};
|
|
3120
4212
|
|
|
4213
|
+
// src/languages/thrift.ts
|
|
4214
|
+
var thrift = {
|
|
4215
|
+
slug: "thrift",
|
|
4216
|
+
publishedDate: "2007-04-01",
|
|
4217
|
+
extensions: [".thrift"],
|
|
4218
|
+
author: "Facebook / Apache Software Foundation",
|
|
4219
|
+
website: "https://thrift.apache.org",
|
|
4220
|
+
paradigms: ["interface-definition", "schema", "declarative", "rpc"],
|
|
4221
|
+
tooling: {
|
|
4222
|
+
runtimes: ["Apache Thrift Runtime"],
|
|
4223
|
+
packageManagers: ["Maven", "npm", "PyPI", "Go modules"],
|
|
4224
|
+
ecosystems: ["RPC", "APIs", "Distributed Systems"]
|
|
4225
|
+
},
|
|
4226
|
+
version: "0.22.0",
|
|
4227
|
+
logo: "https://cdn.simpleicons.org/apache/D22128",
|
|
4228
|
+
i18n: {
|
|
4229
|
+
en: {
|
|
4230
|
+
name: "Apache Thrift",
|
|
4231
|
+
description: "An IDL for cross-language services and serializable data types.",
|
|
4232
|
+
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."
|
|
4233
|
+
},
|
|
4234
|
+
es: {
|
|
4235
|
+
name: "Apache Thrift",
|
|
4236
|
+
description: "Un IDL para servicios entre lenguajes y tipos de datos serializables.",
|
|
4237
|
+
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."
|
|
4238
|
+
}
|
|
4239
|
+
}
|
|
4240
|
+
};
|
|
4241
|
+
|
|
4242
|
+
// src/languages/tla-plus.ts
|
|
4243
|
+
var tlaPlus = {
|
|
4244
|
+
slug: "tla-plus",
|
|
4245
|
+
publishedDate: "1999-01-01",
|
|
4246
|
+
extensions: [".tla"],
|
|
4247
|
+
author: "Leslie Lamport",
|
|
4248
|
+
website: "https://lamport.azurewebsites.net/tla/tla.html",
|
|
4249
|
+
paradigms: ["specification", "formal-methods", "temporal-logic", "declarative"],
|
|
4250
|
+
tooling: {
|
|
4251
|
+
runtimes: ["TLC", "TLA+ Toolbox", "Apalache"],
|
|
4252
|
+
ecosystems: ["Formal Methods", "Distributed Systems", "Verification"]
|
|
4253
|
+
},
|
|
4254
|
+
version: "TLA+ 2",
|
|
4255
|
+
logo: "https://avatars.githubusercontent.com/u/315978?v=4",
|
|
4256
|
+
i18n: {
|
|
4257
|
+
en: {
|
|
4258
|
+
name: "TLA+",
|
|
4259
|
+
description: "A formal specification language for state machines and temporal properties.",
|
|
4260
|
+
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."
|
|
4261
|
+
},
|
|
4262
|
+
es: {
|
|
4263
|
+
name: "TLA+",
|
|
4264
|
+
description: "Un lenguaje de especificacion formal para estados y propiedades temporales.",
|
|
4265
|
+
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."
|
|
4266
|
+
}
|
|
4267
|
+
}
|
|
4268
|
+
};
|
|
4269
|
+
|
|
3121
4270
|
// src/languages/toml.ts
|
|
3122
4271
|
var toml = {
|
|
3123
4272
|
slug: "toml",
|
|
@@ -3229,6 +4378,64 @@ var typst = {
|
|
|
3229
4378
|
}
|
|
3230
4379
|
};
|
|
3231
4380
|
|
|
4381
|
+
// src/languages/v.ts
|
|
4382
|
+
var v = {
|
|
4383
|
+
slug: "v",
|
|
4384
|
+
publishedDate: "2019-06-20",
|
|
4385
|
+
extensions: [".v", ".vsh"],
|
|
4386
|
+
author: "Alexander Medvednikov / V contributors",
|
|
4387
|
+
website: "https://vlang.io",
|
|
4388
|
+
paradigms: ["imperative", "systems", "multi-paradigm", "statically typed"],
|
|
4389
|
+
tooling: {
|
|
4390
|
+
runtimes: ["V compiler"],
|
|
4391
|
+
packageManagers: ["vpm"],
|
|
4392
|
+
ecosystems: ["Native", "Web", "Systems"]
|
|
4393
|
+
},
|
|
4394
|
+
version: "weekly.2025.49",
|
|
4395
|
+
logo: "https://cdn.simpleicons.org/v/5D87BF",
|
|
4396
|
+
i18n: {
|
|
4397
|
+
en: {
|
|
4398
|
+
name: "V",
|
|
4399
|
+
description: "A compiled statically typed language for simple native application builds.",
|
|
4400
|
+
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."
|
|
4401
|
+
},
|
|
4402
|
+
es: {
|
|
4403
|
+
name: "V",
|
|
4404
|
+
description: "Un lenguaje compilado y tipado para construir aplicaciones nativas simples.",
|
|
4405
|
+
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."
|
|
4406
|
+
}
|
|
4407
|
+
}
|
|
4408
|
+
};
|
|
4409
|
+
|
|
4410
|
+
// src/languages/vala.ts
|
|
4411
|
+
var vala = {
|
|
4412
|
+
slug: "vala",
|
|
4413
|
+
publishedDate: "2006-07-15",
|
|
4414
|
+
extensions: [".vala", ".vapi"],
|
|
4415
|
+
author: "Jurg Billeter / GNOME contributors",
|
|
4416
|
+
website: "https://vala.dev",
|
|
4417
|
+
paradigms: ["object-oriented", "statically typed", "gnome", "c-targeted"],
|
|
4418
|
+
tooling: {
|
|
4419
|
+
runtimes: ["GLib", "GObject"],
|
|
4420
|
+
packageManagers: ["Meson", "pkg-config"],
|
|
4421
|
+
ecosystems: ["GNOME", "GTK", "Native"]
|
|
4422
|
+
},
|
|
4423
|
+
version: "0.56.18",
|
|
4424
|
+
logo: "https://cdn.simpleicons.org/gnome/4A86CF",
|
|
4425
|
+
i18n: {
|
|
4426
|
+
en: {
|
|
4427
|
+
name: "Vala",
|
|
4428
|
+
description: "A GNOME-oriented language that compiles high-level syntax to C.",
|
|
4429
|
+
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."
|
|
4430
|
+
},
|
|
4431
|
+
es: {
|
|
4432
|
+
name: "Vala",
|
|
4433
|
+
description: "Un lenguaje orientado a GNOME que compila sintaxis de alto nivel a C.",
|
|
4434
|
+
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."
|
|
4435
|
+
}
|
|
4436
|
+
}
|
|
4437
|
+
};
|
|
4438
|
+
|
|
3232
4439
|
// src/languages/verilog.ts
|
|
3233
4440
|
var verilog = {
|
|
3234
4441
|
slug: "verilog",
|
|
@@ -3345,6 +4552,35 @@ var vue = {
|
|
|
3345
4552
|
}
|
|
3346
4553
|
};
|
|
3347
4554
|
|
|
4555
|
+
// src/languages/vyper.ts
|
|
4556
|
+
var vyper = {
|
|
4557
|
+
slug: "vyper",
|
|
4558
|
+
publishedDate: "2017-07-19",
|
|
4559
|
+
extensions: [".vy"],
|
|
4560
|
+
author: "Vyper contributors",
|
|
4561
|
+
website: "https://vyperlang.org",
|
|
4562
|
+
paradigms: ["smart-contract", "statically typed", "domain-specific", "imperative"],
|
|
4563
|
+
tooling: {
|
|
4564
|
+
runtimes: ["Ethereum Virtual Machine"],
|
|
4565
|
+
packageManagers: ["pip", "uv"],
|
|
4566
|
+
ecosystems: ["Ethereum", "Smart Contracts", "Web3"]
|
|
4567
|
+
},
|
|
4568
|
+
version: "0.4.3",
|
|
4569
|
+
logo: "https://avatars.githubusercontent.com/u/37288461?v=4",
|
|
4570
|
+
i18n: {
|
|
4571
|
+
en: {
|
|
4572
|
+
name: "Vyper",
|
|
4573
|
+
description: "A Pythonic smart contract language for the Ethereum Virtual Machine.",
|
|
4574
|
+
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."
|
|
4575
|
+
},
|
|
4576
|
+
es: {
|
|
4577
|
+
name: "Vyper",
|
|
4578
|
+
description: "Un lenguaje de smart contracts con sintaxis Python para Ethereum.",
|
|
4579
|
+
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."
|
|
4580
|
+
}
|
|
4581
|
+
}
|
|
4582
|
+
};
|
|
4583
|
+
|
|
3348
4584
|
// src/languages/webassembly.ts
|
|
3349
4585
|
var webassembly = {
|
|
3350
4586
|
slug: "webassembly",
|
|
@@ -3403,6 +4639,34 @@ var wgsl = {
|
|
|
3403
4639
|
}
|
|
3404
4640
|
};
|
|
3405
4641
|
|
|
4642
|
+
// src/languages/wren.ts
|
|
4643
|
+
var wren = {
|
|
4644
|
+
slug: "wren",
|
|
4645
|
+
publishedDate: "2013-10-31",
|
|
4646
|
+
extensions: [".wren"],
|
|
4647
|
+
author: "Bob Nystrom / Wren contributors",
|
|
4648
|
+
website: "https://wren.io",
|
|
4649
|
+
paradigms: ["object-oriented", "scripting", "class-based", "dynamic"],
|
|
4650
|
+
tooling: {
|
|
4651
|
+
runtimes: ["Wren VM"],
|
|
4652
|
+
ecosystems: ["Embedding", "Games", "Scripting"]
|
|
4653
|
+
},
|
|
4654
|
+
version: "0.4.0",
|
|
4655
|
+
logo: "https://avatars.githubusercontent.com/u/8763410?v=4",
|
|
4656
|
+
i18n: {
|
|
4657
|
+
en: {
|
|
4658
|
+
name: "Wren",
|
|
4659
|
+
description: "A small class-based scripting language designed for embedding.",
|
|
4660
|
+
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."
|
|
4661
|
+
},
|
|
4662
|
+
es: {
|
|
4663
|
+
name: "Wren",
|
|
4664
|
+
description: "Un lenguaje pequeno de scripting basado en clases y pensado para embeberse.",
|
|
4665
|
+
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."
|
|
4666
|
+
}
|
|
4667
|
+
}
|
|
4668
|
+
};
|
|
4669
|
+
|
|
3406
4670
|
// src/languages/xaml.ts
|
|
3407
4671
|
var xaml = {
|
|
3408
4672
|
slug: "xaml",
|
|
@@ -3537,6 +4801,35 @@ var yaml = {
|
|
|
3537
4801
|
}
|
|
3538
4802
|
};
|
|
3539
4803
|
|
|
4804
|
+
// src/languages/zeek.ts
|
|
4805
|
+
var zeek = {
|
|
4806
|
+
slug: "zeek",
|
|
4807
|
+
publishedDate: "1995-01-01",
|
|
4808
|
+
extensions: [".zeek", ".bro"],
|
|
4809
|
+
author: "Vern Paxson / Zeek Project",
|
|
4810
|
+
website: "https://zeek.org",
|
|
4811
|
+
paradigms: ["event-driven", "network-analysis", "domain-specific", "scripting"],
|
|
4812
|
+
tooling: {
|
|
4813
|
+
runtimes: ["Zeek"],
|
|
4814
|
+
packageManagers: ["zkg"],
|
|
4815
|
+
ecosystems: ["Network Security", "Observability", "Incident Response"]
|
|
4816
|
+
},
|
|
4817
|
+
version: "8.0.4",
|
|
4818
|
+
logo: "https://avatars.githubusercontent.com/u/10666805?v=4",
|
|
4819
|
+
i18n: {
|
|
4820
|
+
en: {
|
|
4821
|
+
name: "Zeek",
|
|
4822
|
+
description: "An event-driven scripting language for network analysis and security policy.",
|
|
4823
|
+
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."
|
|
4824
|
+
},
|
|
4825
|
+
es: {
|
|
4826
|
+
name: "Zeek",
|
|
4827
|
+
description: "Un lenguaje event-driven para analisis de red y politicas de seguridad.",
|
|
4828
|
+
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."
|
|
4829
|
+
}
|
|
4830
|
+
}
|
|
4831
|
+
};
|
|
4832
|
+
|
|
3540
4833
|
// src/languages/zig.ts
|
|
3541
4834
|
var zig = {
|
|
3542
4835
|
slug: "zig",
|
|
@@ -3566,6 +4859,34 @@ var zig = {
|
|
|
3566
4859
|
}
|
|
3567
4860
|
};
|
|
3568
4861
|
|
|
4862
|
+
// src/languages/ziggy.ts
|
|
4863
|
+
var ziggy = {
|
|
4864
|
+
slug: "ziggy",
|
|
4865
|
+
publishedDate: "2023-10-02",
|
|
4866
|
+
extensions: [".ziggy", ".ziggy-schema"],
|
|
4867
|
+
author: "Loris Cro",
|
|
4868
|
+
website: "https://ziggy-lang.io",
|
|
4869
|
+
paradigms: ["data-notation", "schema", "declarative", "configuration"],
|
|
4870
|
+
tooling: {
|
|
4871
|
+
runtimes: ["Ziggy CLI"],
|
|
4872
|
+
ecosystems: ["Configuration", "Data Formats", "Zig"]
|
|
4873
|
+
},
|
|
4874
|
+
version: "0.1.0",
|
|
4875
|
+
logo: "https://avatars.githubusercontent.com/u/1642052?v=4",
|
|
4876
|
+
i18n: {
|
|
4877
|
+
en: {
|
|
4878
|
+
name: "Ziggy",
|
|
4879
|
+
description: "A data notation and schema language for configuration-style documents.",
|
|
4880
|
+
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."
|
|
4881
|
+
},
|
|
4882
|
+
es: {
|
|
4883
|
+
name: "Ziggy",
|
|
4884
|
+
description: "Una notacion de datos y schemas para documentos de configuracion.",
|
|
4885
|
+
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."
|
|
4886
|
+
}
|
|
4887
|
+
}
|
|
4888
|
+
};
|
|
4889
|
+
|
|
3569
4890
|
// src/languages/zsh.ts
|
|
3570
4891
|
var zsh = {
|
|
3571
4892
|
slug: "zsh",
|
|
@@ -3600,6 +4921,7 @@ var languages = [
|
|
|
3600
4921
|
abap,
|
|
3601
4922
|
actionscript,
|
|
3602
4923
|
ada,
|
|
4924
|
+
agda,
|
|
3603
4925
|
antlr,
|
|
3604
4926
|
apex,
|
|
3605
4927
|
apl,
|
|
@@ -3617,11 +4939,15 @@ var languages = [
|
|
|
3617
4939
|
bicep,
|
|
3618
4940
|
blade,
|
|
3619
4941
|
c,
|
|
4942
|
+
carbon,
|
|
4943
|
+
chapel,
|
|
4944
|
+
circom,
|
|
3620
4945
|
cmake,
|
|
3621
4946
|
clojure,
|
|
3622
4947
|
coffeescript,
|
|
3623
4948
|
coldfusion,
|
|
3624
4949
|
cobol,
|
|
4950
|
+
coq,
|
|
3625
4951
|
cpp,
|
|
3626
4952
|
csharp,
|
|
3627
4953
|
crystal,
|
|
@@ -3631,7 +4957,10 @@ var languages = [
|
|
|
3631
4957
|
cython,
|
|
3632
4958
|
d,
|
|
3633
4959
|
dart,
|
|
4960
|
+
dhall,
|
|
4961
|
+
dita,
|
|
3634
4962
|
dockerfile,
|
|
4963
|
+
earthly,
|
|
3635
4964
|
elixir,
|
|
3636
4965
|
elm,
|
|
3637
4966
|
erb,
|
|
@@ -3649,79 +4978,117 @@ var languages = [
|
|
|
3649
4978
|
graphql,
|
|
3650
4979
|
groovy,
|
|
3651
4980
|
handlebars,
|
|
4981
|
+
hack,
|
|
4982
|
+
haml,
|
|
3652
4983
|
haskell,
|
|
3653
4984
|
haxe,
|
|
3654
4985
|
hcl,
|
|
3655
4986
|
hlsl,
|
|
3656
4987
|
html,
|
|
4988
|
+
idris,
|
|
3657
4989
|
ini,
|
|
3658
4990
|
java,
|
|
3659
4991
|
javascript,
|
|
4992
|
+
janet,
|
|
3660
4993
|
jinja,
|
|
3661
4994
|
json,
|
|
3662
4995
|
jsonnet,
|
|
3663
4996
|
jupyterNotebook,
|
|
3664
4997
|
julia,
|
|
3665
4998
|
kotlin,
|
|
4999
|
+
lean,
|
|
3666
5000
|
less,
|
|
3667
5001
|
liquid,
|
|
3668
5002
|
lisp,
|
|
5003
|
+
llvmIr,
|
|
3669
5004
|
lua,
|
|
5005
|
+
luau,
|
|
5006
|
+
mako,
|
|
3670
5007
|
makefile,
|
|
5008
|
+
mathematica,
|
|
3671
5009
|
matlab,
|
|
3672
5010
|
markdown,
|
|
3673
5011
|
mdx,
|
|
3674
5012
|
mermaid,
|
|
3675
5013
|
meson,
|
|
3676
5014
|
metal,
|
|
5015
|
+
mojo,
|
|
5016
|
+
moonbit,
|
|
3677
5017
|
svn,
|
|
3678
5018
|
nginx,
|
|
3679
5019
|
nim,
|
|
3680
5020
|
nix,
|
|
3681
5021
|
ocaml,
|
|
3682
5022
|
objectiveC,
|
|
5023
|
+
odin,
|
|
5024
|
+
opencl,
|
|
3683
5025
|
pascal,
|
|
3684
5026
|
perl,
|
|
3685
5027
|
php,
|
|
5028
|
+
pineScript,
|
|
3686
5029
|
plantuml,
|
|
5030
|
+
plsql,
|
|
5031
|
+
pony,
|
|
3687
5032
|
powershell,
|
|
3688
5033
|
prolog,
|
|
5034
|
+
promql,
|
|
3689
5035
|
protobuf,
|
|
3690
5036
|
pug,
|
|
5037
|
+
purescript,
|
|
3691
5038
|
python,
|
|
3692
5039
|
qml,
|
|
5040
|
+
qsharp,
|
|
3693
5041
|
r,
|
|
5042
|
+
raku,
|
|
3694
5043
|
racket,
|
|
3695
5044
|
razor,
|
|
5045
|
+
reasonml,
|
|
3696
5046
|
rego,
|
|
5047
|
+
rescript,
|
|
5048
|
+
restructuredtext,
|
|
3697
5049
|
ruby,
|
|
3698
5050
|
rust,
|
|
5051
|
+
sas,
|
|
3699
5052
|
scala,
|
|
3700
5053
|
scss,
|
|
5054
|
+
scheme,
|
|
5055
|
+
smalltalk,
|
|
5056
|
+
smarty,
|
|
3701
5057
|
solidity,
|
|
3702
5058
|
sql,
|
|
5059
|
+
standardMl,
|
|
3703
5060
|
starlark,
|
|
5061
|
+
stata,
|
|
5062
|
+
stylus,
|
|
3704
5063
|
svg,
|
|
3705
5064
|
svelte,
|
|
3706
5065
|
swift,
|
|
3707
5066
|
tcl,
|
|
3708
5067
|
tex,
|
|
5068
|
+
thrift,
|
|
5069
|
+
tlaPlus,
|
|
3709
5070
|
toml,
|
|
3710
5071
|
twig,
|
|
3711
5072
|
typescript,
|
|
3712
5073
|
typst,
|
|
5074
|
+
v,
|
|
5075
|
+
vala,
|
|
3713
5076
|
verilog,
|
|
3714
5077
|
vhdl,
|
|
3715
5078
|
visualBasic,
|
|
3716
5079
|
vue,
|
|
5080
|
+
vyper,
|
|
3717
5081
|
webassembly,
|
|
3718
5082
|
wgsl,
|
|
5083
|
+
wren,
|
|
3719
5084
|
xaml,
|
|
3720
5085
|
xml,
|
|
3721
5086
|
xquery,
|
|
3722
5087
|
xslt,
|
|
3723
5088
|
yaml,
|
|
5089
|
+
zeek,
|
|
3724
5090
|
zig,
|
|
5091
|
+
ziggy,
|
|
3725
5092
|
zsh
|
|
3726
5093
|
];
|
|
3727
5094
|
|