code-languages 1.20.5 → 1.21.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 +80 -4
- package/dist/api.cjs +634 -4
- package/dist/api.cjs.map +1 -1
- package/dist/api.d.cts +405 -0
- package/dist/api.d.ts +405 -0
- package/dist/api.js +634 -4
- package/dist/api.js.map +1 -1
- package/dist/detect.cjs +454 -4
- package/dist/detect.cjs.map +1 -1
- package/dist/detect.js +454 -4
- package/dist/detect.js.map +1 -1
- package/dist/index.cjs +744 -80
- package/dist/index.cjs.map +1 -1
- package/dist/index.d.cts +424 -0
- package/dist/index.d.ts +424 -0
- package/dist/index.js +669 -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/astro.cjs +1 -1
- package/dist/languages/astro.cjs.map +1 -1
- package/dist/languages/astro.js +1 -1
- package/dist/languages/astro.js.map +1 -1
- 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/liquid.cjs +1 -1
- package/dist/languages/liquid.cjs.map +1 -1
- package/dist/languages/liquid.js +1 -1
- package/dist/languages/liquid.js.map +1 -1
- 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/mermaid.cjs +1 -1
- package/dist/languages/mermaid.cjs.map +1 -1
- package/dist/languages/mermaid.js +1 -1
- package/dist/languages/mermaid.js.map +1 -1
- package/dist/languages/nix.cjs +1 -1
- package/dist/languages/nix.cjs.map +1 -1
- package/dist/languages/nix.js +1 -1
- package/dist/languages/nix.js.map +1 -1
- package/package.json +76 -1
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
'use strict';
|
|
2
|
+
|
|
3
|
+
// src/languages/agda.ts
|
|
4
|
+
var agda = {
|
|
5
|
+
slug: "agda",
|
|
6
|
+
publishedDate: "2007-01-01",
|
|
7
|
+
extensions: [".agda", ".lagda", ".lagda.md", ".lagda.rst", ".lagda.tex"],
|
|
8
|
+
author: "Ulf Norell / Chalmers University of Technology",
|
|
9
|
+
website: "https://wiki.portal.chalmers.se/agda/",
|
|
10
|
+
paradigms: ["functional", "dependently typed", "total", "proof-oriented"],
|
|
11
|
+
tooling: {
|
|
12
|
+
runtimes: ["GHC", "JavaScript"],
|
|
13
|
+
packageManagers: ["Cabal", "Stack"],
|
|
14
|
+
ecosystems: ["Haskell", "Formal methods", "Proof assistants"]
|
|
15
|
+
},
|
|
16
|
+
version: "2.8.0",
|
|
17
|
+
logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_agda.svg",
|
|
18
|
+
i18n: {
|
|
19
|
+
en: {
|
|
20
|
+
name: "Agda",
|
|
21
|
+
description: "A dependently typed functional language and proof assistant.",
|
|
22
|
+
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."
|
|
23
|
+
},
|
|
24
|
+
es: {
|
|
25
|
+
name: "Agda",
|
|
26
|
+
description: "Un lenguaje funcional con tipos dependientes y asistente de pruebas.",
|
|
27
|
+
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."
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
};
|
|
31
|
+
|
|
32
|
+
exports.agda = agda;
|
|
33
|
+
//# sourceMappingURL=agda.cjs.map
|
|
34
|
+
//# sourceMappingURL=agda.cjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../src/languages/agda.ts"],"names":[],"mappings":";;;AAEO,IAAM,IAAA,GAAO;AAAA,EAClB,IAAA,EAAM,MAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,YAAY,CAAC,OAAA,EAAS,QAAA,EAAU,WAAA,EAAa,cAAc,YAAY,CAAA;AAAA,EACvE,MAAA,EAAQ,gDAAA;AAAA,EACR,OAAA,EAAS,uCAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,mBAAA,EAAqB,SAAS,gBAAgB,CAAA;AAAA,EACxE,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,KAAA,EAAO,YAAY,CAAA;AAAA,IAC9B,eAAA,EAAiB,CAAC,OAAA,EAAS,OAAO,CAAA;AAAA,IAClC,UAAA,EAAY,CAAC,SAAA,EAAW,gBAAA,EAAkB,kBAAkB;AAAA,GAC9D;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,uFAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,8DAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,sEAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"agda.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const agda = {\n slug: \"agda\",\n publishedDate: \"2007-01-01\",\n extensions: [\".agda\", \".lagda\", \".lagda.md\", \".lagda.rst\", \".lagda.tex\"],\n author: \"Ulf Norell / Chalmers University of Technology\",\n website: \"https://wiki.portal.chalmers.se/agda/\",\n paradigms: [\"functional\", \"dependently typed\", \"total\", \"proof-oriented\"],\n tooling: {\n runtimes: [\"GHC\", \"JavaScript\"],\n packageManagers: [\"Cabal\", \"Stack\"],\n ecosystems: [\"Haskell\", \"Formal methods\", \"Proof assistants\"],\n },\n version: \"2.8.0\",\n logo: \"https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_agda.svg\",\n i18n: {\n en: {\n name: \"Agda\",\n description: \"A dependently typed functional language and proof assistant.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Agda\",\n description: \"Un lenguaje funcional con tipos dependientes y asistente de pruebas.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
declare const agda: {
|
|
2
|
+
slug: string;
|
|
3
|
+
publishedDate: string;
|
|
4
|
+
extensions: string[];
|
|
5
|
+
author: string;
|
|
6
|
+
website: string;
|
|
7
|
+
paradigms: string[];
|
|
8
|
+
tooling: {
|
|
9
|
+
runtimes: string[];
|
|
10
|
+
packageManagers: string[];
|
|
11
|
+
ecosystems: string[];
|
|
12
|
+
};
|
|
13
|
+
version: string;
|
|
14
|
+
logo: string;
|
|
15
|
+
i18n: {
|
|
16
|
+
en: {
|
|
17
|
+
name: string;
|
|
18
|
+
description: string;
|
|
19
|
+
longDescription: string;
|
|
20
|
+
};
|
|
21
|
+
es: {
|
|
22
|
+
name: string;
|
|
23
|
+
description: string;
|
|
24
|
+
longDescription: string;
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
};
|
|
28
|
+
|
|
29
|
+
export { agda };
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
declare const agda: {
|
|
2
|
+
slug: string;
|
|
3
|
+
publishedDate: string;
|
|
4
|
+
extensions: string[];
|
|
5
|
+
author: string;
|
|
6
|
+
website: string;
|
|
7
|
+
paradigms: string[];
|
|
8
|
+
tooling: {
|
|
9
|
+
runtimes: string[];
|
|
10
|
+
packageManagers: string[];
|
|
11
|
+
ecosystems: string[];
|
|
12
|
+
};
|
|
13
|
+
version: string;
|
|
14
|
+
logo: string;
|
|
15
|
+
i18n: {
|
|
16
|
+
en: {
|
|
17
|
+
name: string;
|
|
18
|
+
description: string;
|
|
19
|
+
longDescription: string;
|
|
20
|
+
};
|
|
21
|
+
es: {
|
|
22
|
+
name: string;
|
|
23
|
+
description: string;
|
|
24
|
+
longDescription: string;
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
};
|
|
28
|
+
|
|
29
|
+
export { agda };
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
// src/languages/agda.ts
|
|
2
|
+
var agda = {
|
|
3
|
+
slug: "agda",
|
|
4
|
+
publishedDate: "2007-01-01",
|
|
5
|
+
extensions: [".agda", ".lagda", ".lagda.md", ".lagda.rst", ".lagda.tex"],
|
|
6
|
+
author: "Ulf Norell / Chalmers University of Technology",
|
|
7
|
+
website: "https://wiki.portal.chalmers.se/agda/",
|
|
8
|
+
paradigms: ["functional", "dependently typed", "total", "proof-oriented"],
|
|
9
|
+
tooling: {
|
|
10
|
+
runtimes: ["GHC", "JavaScript"],
|
|
11
|
+
packageManagers: ["Cabal", "Stack"],
|
|
12
|
+
ecosystems: ["Haskell", "Formal methods", "Proof assistants"]
|
|
13
|
+
},
|
|
14
|
+
version: "2.8.0",
|
|
15
|
+
logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_agda.svg",
|
|
16
|
+
i18n: {
|
|
17
|
+
en: {
|
|
18
|
+
name: "Agda",
|
|
19
|
+
description: "A dependently typed functional language and proof assistant.",
|
|
20
|
+
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."
|
|
21
|
+
},
|
|
22
|
+
es: {
|
|
23
|
+
name: "Agda",
|
|
24
|
+
description: "Un lenguaje funcional con tipos dependientes y asistente de pruebas.",
|
|
25
|
+
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."
|
|
26
|
+
}
|
|
27
|
+
}
|
|
28
|
+
};
|
|
29
|
+
|
|
30
|
+
export { agda };
|
|
31
|
+
//# sourceMappingURL=agda.js.map
|
|
32
|
+
//# sourceMappingURL=agda.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../src/languages/agda.ts"],"names":[],"mappings":";AAEO,IAAM,IAAA,GAAO;AAAA,EAClB,IAAA,EAAM,MAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,YAAY,CAAC,OAAA,EAAS,QAAA,EAAU,WAAA,EAAa,cAAc,YAAY,CAAA;AAAA,EACvE,MAAA,EAAQ,gDAAA;AAAA,EACR,OAAA,EAAS,uCAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,mBAAA,EAAqB,SAAS,gBAAgB,CAAA;AAAA,EACxE,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,KAAA,EAAO,YAAY,CAAA;AAAA,IAC9B,eAAA,EAAiB,CAAC,OAAA,EAAS,OAAO,CAAA;AAAA,IAClC,UAAA,EAAY,CAAC,SAAA,EAAW,gBAAA,EAAkB,kBAAkB;AAAA,GAC9D;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,uFAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,8DAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,sEAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"agda.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const agda = {\n slug: \"agda\",\n publishedDate: \"2007-01-01\",\n extensions: [\".agda\", \".lagda\", \".lagda.md\", \".lagda.rst\", \".lagda.tex\"],\n author: \"Ulf Norell / Chalmers University of Technology\",\n website: \"https://wiki.portal.chalmers.se/agda/\",\n paradigms: [\"functional\", \"dependently typed\", \"total\", \"proof-oriented\"],\n tooling: {\n runtimes: [\"GHC\", \"JavaScript\"],\n packageManagers: [\"Cabal\", \"Stack\"],\n ecosystems: [\"Haskell\", \"Formal methods\", \"Proof assistants\"],\n },\n version: \"2.8.0\",\n logo: \"https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_agda.svg\",\n i18n: {\n en: {\n name: \"Agda\",\n description: \"A dependently typed functional language and proof assistant.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Agda\",\n description: \"Un lenguaje funcional con tipos dependientes y asistente de pruebas.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
|
package/dist/languages/astro.cjs
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../src/languages/astro.ts"],"names":[],"mappings":";;;AAEO,IAAM,KAAA,GAAQ;AAAA,EACnB,IAAA,EAAM,OAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,QAAQ,CAAA;AAAA,EACrB,MAAA,EAAQ,+CAAA;AAAA,EACR,OAAA,EAAS,qBAAA;AAAA,EACT,SAAA,EAAW,CAAC,iBAAA,EAAmB,aAAA,EAAe,0BAA0B,uBAAuB,CAAA;AAAA,EAC/F,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,SAAA,EAAW,MAAM,CAAA;AAAA,IAC5B,eAAA,EAAiB,CAAC,KAAA,EAAO,MAAA,EAAQ,QAAQ,KAAK,CAAA;AAAA,IAC9C,UAAA,EAAY,CAAC,KAAA,EAAO,cAAA,EAAgB,SAAS;AAAA,GAC/C;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,uDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EACE,wFAAA;AAAA,MACF,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EACE,yFAAA;AAAA,MACF,eAAA,EACE;AAAA;AACJ;AAEJ","file":"astro.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const astro = {\n slug: \"astro\",\n publishedDate: \"2021-06-08\",\n extensions: [\".astro\"],\n author: \"Fred K. Schott / The Astro Technology Company\",\n website: \"https://astro.build\",\n paradigms: [\"component-based\", \"declarative\", \"static-site-generation\", \"server-side-rendering\"],\n tooling: {\n runtimes: [\"Node.js\", \"Deno\"],\n packageManagers: [\"npm\", \"pnpm\", \"Yarn\", \"Bun\"],\n ecosystems: [\"Web\", \"Static Sites\", \"Content\"],\n },\n version: \"6.3.
|
|
1
|
+
{"version":3,"sources":["../../src/languages/astro.ts"],"names":[],"mappings":";;;AAEO,IAAM,KAAA,GAAQ;AAAA,EACnB,IAAA,EAAM,OAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,QAAQ,CAAA;AAAA,EACrB,MAAA,EAAQ,+CAAA;AAAA,EACR,OAAA,EAAS,qBAAA;AAAA,EACT,SAAA,EAAW,CAAC,iBAAA,EAAmB,aAAA,EAAe,0BAA0B,uBAAuB,CAAA;AAAA,EAC/F,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,SAAA,EAAW,MAAM,CAAA;AAAA,IAC5B,eAAA,EAAiB,CAAC,KAAA,EAAO,MAAA,EAAQ,QAAQ,KAAK,CAAA;AAAA,IAC9C,UAAA,EAAY,CAAC,KAAA,EAAO,cAAA,EAAgB,SAAS;AAAA,GAC/C;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,uDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EACE,wFAAA;AAAA,MACF,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EACE,yFAAA;AAAA,MACF,eAAA,EACE;AAAA;AACJ;AAEJ","file":"astro.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const astro = {\n slug: \"astro\",\n publishedDate: \"2021-06-08\",\n extensions: [\".astro\"],\n author: \"Fred K. Schott / The Astro Technology Company\",\n website: \"https://astro.build\",\n paradigms: [\"component-based\", \"declarative\", \"static-site-generation\", \"server-side-rendering\"],\n tooling: {\n runtimes: [\"Node.js\", \"Deno\"],\n packageManagers: [\"npm\", \"pnpm\", \"Yarn\", \"Bun\"],\n ecosystems: [\"Web\", \"Static Sites\", \"Content\"],\n },\n version: \"6.3.5\",\n logo: \"https://astro.build/assets/press/astro-icon-light.svg\",\n i18n: {\n en: {\n name: \"Astro\",\n description:\n \"A web framework and component file format for content-driven sites and fast frontends.\",\n longDescription:\n \"Astro combines an HTML-first component format with islands architecture, content collections, routing, server rendering, static generation, and integrations for UI frameworks such as React, Vue, Svelte, and Solid.\\n\\nIt is commonly used for documentation, blogs, marketing sites, ecommerce frontends, and other content-heavy experiences where performance, simple authoring, and flexible rendering matter.\",\n },\n es: {\n name: \"Astro\",\n description:\n \"Un framework web y formato de componentes para sitios de contenido y frontends rapidos.\",\n longDescription:\n \"Astro combina un formato de componentes centrado en HTML con arquitectura de islas, colecciones de contenido, enrutamiento, renderizado en servidor, generacion estatica e integraciones con frameworks de UI como React, Vue, Svelte y Solid.\\n\\nSe usa comunmente en documentacion, blogs, sitios de marketing, frontends de ecommerce y otras experiencias con mucho contenido donde importan el rendimiento, la autoria simple y el renderizado flexible.\",\n },\n },\n} satisfies Language;\n"]}
|
package/dist/languages/astro.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../src/languages/astro.ts"],"names":[],"mappings":";AAEO,IAAM,KAAA,GAAQ;AAAA,EACnB,IAAA,EAAM,OAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,QAAQ,CAAA;AAAA,EACrB,MAAA,EAAQ,+CAAA;AAAA,EACR,OAAA,EAAS,qBAAA;AAAA,EACT,SAAA,EAAW,CAAC,iBAAA,EAAmB,aAAA,EAAe,0BAA0B,uBAAuB,CAAA;AAAA,EAC/F,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,SAAA,EAAW,MAAM,CAAA;AAAA,IAC5B,eAAA,EAAiB,CAAC,KAAA,EAAO,MAAA,EAAQ,QAAQ,KAAK,CAAA;AAAA,IAC9C,UAAA,EAAY,CAAC,KAAA,EAAO,cAAA,EAAgB,SAAS;AAAA,GAC/C;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,uDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EACE,wFAAA;AAAA,MACF,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EACE,yFAAA;AAAA,MACF,eAAA,EACE;AAAA;AACJ;AAEJ","file":"astro.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const astro = {\n slug: \"astro\",\n publishedDate: \"2021-06-08\",\n extensions: [\".astro\"],\n author: \"Fred K. Schott / The Astro Technology Company\",\n website: \"https://astro.build\",\n paradigms: [\"component-based\", \"declarative\", \"static-site-generation\", \"server-side-rendering\"],\n tooling: {\n runtimes: [\"Node.js\", \"Deno\"],\n packageManagers: [\"npm\", \"pnpm\", \"Yarn\", \"Bun\"],\n ecosystems: [\"Web\", \"Static Sites\", \"Content\"],\n },\n version: \"6.3.
|
|
1
|
+
{"version":3,"sources":["../../src/languages/astro.ts"],"names":[],"mappings":";AAEO,IAAM,KAAA,GAAQ;AAAA,EACnB,IAAA,EAAM,OAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,QAAQ,CAAA;AAAA,EACrB,MAAA,EAAQ,+CAAA;AAAA,EACR,OAAA,EAAS,qBAAA;AAAA,EACT,SAAA,EAAW,CAAC,iBAAA,EAAmB,aAAA,EAAe,0BAA0B,uBAAuB,CAAA;AAAA,EAC/F,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,SAAA,EAAW,MAAM,CAAA;AAAA,IAC5B,eAAA,EAAiB,CAAC,KAAA,EAAO,MAAA,EAAQ,QAAQ,KAAK,CAAA;AAAA,IAC9C,UAAA,EAAY,CAAC,KAAA,EAAO,cAAA,EAAgB,SAAS;AAAA,GAC/C;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,uDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EACE,wFAAA;AAAA,MACF,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EACE,yFAAA;AAAA,MACF,eAAA,EACE;AAAA;AACJ;AAEJ","file":"astro.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const astro = {\n slug: \"astro\",\n publishedDate: \"2021-06-08\",\n extensions: [\".astro\"],\n author: \"Fred K. Schott / The Astro Technology Company\",\n website: \"https://astro.build\",\n paradigms: [\"component-based\", \"declarative\", \"static-site-generation\", \"server-side-rendering\"],\n tooling: {\n runtimes: [\"Node.js\", \"Deno\"],\n packageManagers: [\"npm\", \"pnpm\", \"Yarn\", \"Bun\"],\n ecosystems: [\"Web\", \"Static Sites\", \"Content\"],\n },\n version: \"6.3.5\",\n logo: \"https://astro.build/assets/press/astro-icon-light.svg\",\n i18n: {\n en: {\n name: \"Astro\",\n description:\n \"A web framework and component file format for content-driven sites and fast frontends.\",\n longDescription:\n \"Astro combines an HTML-first component format with islands architecture, content collections, routing, server rendering, static generation, and integrations for UI frameworks such as React, Vue, Svelte, and Solid.\\n\\nIt is commonly used for documentation, blogs, marketing sites, ecommerce frontends, and other content-heavy experiences where performance, simple authoring, and flexible rendering matter.\",\n },\n es: {\n name: \"Astro\",\n description:\n \"Un framework web y formato de componentes para sitios de contenido y frontends rapidos.\",\n longDescription:\n \"Astro combina un formato de componentes centrado en HTML con arquitectura de islas, colecciones de contenido, enrutamiento, renderizado en servidor, generacion estatica e integraciones con frameworks de UI como React, Vue, Svelte y Solid.\\n\\nSe usa comunmente en documentacion, blogs, sitios de marketing, frontends de ecommerce y otras experiencias con mucho contenido donde importan el rendimiento, la autoria simple y el renderizado flexible.\",\n },\n },\n} satisfies Language;\n"]}
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
'use strict';
|
|
2
|
+
|
|
3
|
+
// src/languages/carbon.ts
|
|
4
|
+
var carbon = {
|
|
5
|
+
slug: "carbon",
|
|
6
|
+
publishedDate: "2022-07-19",
|
|
7
|
+
extensions: [".carbon"],
|
|
8
|
+
author: "Carbon Language Project",
|
|
9
|
+
website: "https://docs.carbon-lang.dev",
|
|
10
|
+
paradigms: ["imperative", "object-oriented", "generic", "statically typed"],
|
|
11
|
+
tooling: {
|
|
12
|
+
runtimes: ["LLVM"],
|
|
13
|
+
packageManagers: ["Bazel"],
|
|
14
|
+
ecosystems: ["C++", "Systems programming"]
|
|
15
|
+
},
|
|
16
|
+
version: "0.0.0 nightly",
|
|
17
|
+
logo: "https://upload.wikimedia.org/wikipedia/commons/e/e1/Carbon_logo.png",
|
|
18
|
+
i18n: {
|
|
19
|
+
en: {
|
|
20
|
+
name: "Carbon",
|
|
21
|
+
description: "An experimental successor language for C++ interoperability and migration.",
|
|
22
|
+
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."
|
|
23
|
+
},
|
|
24
|
+
es: {
|
|
25
|
+
name: "Carbon",
|
|
26
|
+
description: "Un lenguaje experimental sucesor para interoperabilidad y migracion desde C++.",
|
|
27
|
+
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."
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
};
|
|
31
|
+
|
|
32
|
+
exports.carbon = carbon;
|
|
33
|
+
//# sourceMappingURL=carbon.cjs.map
|
|
34
|
+
//# sourceMappingURL=carbon.cjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../src/languages/carbon.ts"],"names":[],"mappings":";;;AAEO,IAAM,MAAA,GAAS;AAAA,EACpB,IAAA,EAAM,QAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,SAAS,CAAA;AAAA,EACtB,MAAA,EAAQ,yBAAA;AAAA,EACR,OAAA,EAAS,8BAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,iBAAA,EAAmB,WAAW,kBAAkB,CAAA;AAAA,EAC1E,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,MAAM,CAAA;AAAA,IACjB,eAAA,EAAiB,CAAC,OAAO,CAAA;AAAA,IACzB,UAAA,EAAY,CAAC,KAAA,EAAO,qBAAqB;AAAA,GAC3C;AAAA,EACA,OAAA,EAAS,eAAA;AAAA,EACT,IAAA,EAAM,qEAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,4EAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,gFAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"carbon.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const carbon = {\n slug: \"carbon\",\n publishedDate: \"2022-07-19\",\n extensions: [\".carbon\"],\n author: \"Carbon Language Project\",\n website: \"https://docs.carbon-lang.dev\",\n paradigms: [\"imperative\", \"object-oriented\", \"generic\", \"statically typed\"],\n tooling: {\n runtimes: [\"LLVM\"],\n packageManagers: [\"Bazel\"],\n ecosystems: [\"C++\", \"Systems programming\"],\n },\n version: \"0.0.0 nightly\",\n logo: \"https://upload.wikimedia.org/wikipedia/commons/e/e1/Carbon_logo.png\",\n i18n: {\n en: {\n name: \"Carbon\",\n description: \"An experimental successor language for C++ interoperability and migration.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Carbon\",\n description: \"Un lenguaje experimental sucesor para interoperabilidad y migracion desde C++.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
declare const carbon: {
|
|
2
|
+
slug: string;
|
|
3
|
+
publishedDate: string;
|
|
4
|
+
extensions: string[];
|
|
5
|
+
author: string;
|
|
6
|
+
website: string;
|
|
7
|
+
paradigms: string[];
|
|
8
|
+
tooling: {
|
|
9
|
+
runtimes: string[];
|
|
10
|
+
packageManagers: string[];
|
|
11
|
+
ecosystems: string[];
|
|
12
|
+
};
|
|
13
|
+
version: string;
|
|
14
|
+
logo: string;
|
|
15
|
+
i18n: {
|
|
16
|
+
en: {
|
|
17
|
+
name: string;
|
|
18
|
+
description: string;
|
|
19
|
+
longDescription: string;
|
|
20
|
+
};
|
|
21
|
+
es: {
|
|
22
|
+
name: string;
|
|
23
|
+
description: string;
|
|
24
|
+
longDescription: string;
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
};
|
|
28
|
+
|
|
29
|
+
export { carbon };
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
declare const carbon: {
|
|
2
|
+
slug: string;
|
|
3
|
+
publishedDate: string;
|
|
4
|
+
extensions: string[];
|
|
5
|
+
author: string;
|
|
6
|
+
website: string;
|
|
7
|
+
paradigms: string[];
|
|
8
|
+
tooling: {
|
|
9
|
+
runtimes: string[];
|
|
10
|
+
packageManagers: string[];
|
|
11
|
+
ecosystems: string[];
|
|
12
|
+
};
|
|
13
|
+
version: string;
|
|
14
|
+
logo: string;
|
|
15
|
+
i18n: {
|
|
16
|
+
en: {
|
|
17
|
+
name: string;
|
|
18
|
+
description: string;
|
|
19
|
+
longDescription: string;
|
|
20
|
+
};
|
|
21
|
+
es: {
|
|
22
|
+
name: string;
|
|
23
|
+
description: string;
|
|
24
|
+
longDescription: string;
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
};
|
|
28
|
+
|
|
29
|
+
export { carbon };
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
// src/languages/carbon.ts
|
|
2
|
+
var carbon = {
|
|
3
|
+
slug: "carbon",
|
|
4
|
+
publishedDate: "2022-07-19",
|
|
5
|
+
extensions: [".carbon"],
|
|
6
|
+
author: "Carbon Language Project",
|
|
7
|
+
website: "https://docs.carbon-lang.dev",
|
|
8
|
+
paradigms: ["imperative", "object-oriented", "generic", "statically typed"],
|
|
9
|
+
tooling: {
|
|
10
|
+
runtimes: ["LLVM"],
|
|
11
|
+
packageManagers: ["Bazel"],
|
|
12
|
+
ecosystems: ["C++", "Systems programming"]
|
|
13
|
+
},
|
|
14
|
+
version: "0.0.0 nightly",
|
|
15
|
+
logo: "https://upload.wikimedia.org/wikipedia/commons/e/e1/Carbon_logo.png",
|
|
16
|
+
i18n: {
|
|
17
|
+
en: {
|
|
18
|
+
name: "Carbon",
|
|
19
|
+
description: "An experimental successor language for C++ interoperability and migration.",
|
|
20
|
+
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."
|
|
21
|
+
},
|
|
22
|
+
es: {
|
|
23
|
+
name: "Carbon",
|
|
24
|
+
description: "Un lenguaje experimental sucesor para interoperabilidad y migracion desde C++.",
|
|
25
|
+
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."
|
|
26
|
+
}
|
|
27
|
+
}
|
|
28
|
+
};
|
|
29
|
+
|
|
30
|
+
export { carbon };
|
|
31
|
+
//# sourceMappingURL=carbon.js.map
|
|
32
|
+
//# sourceMappingURL=carbon.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../src/languages/carbon.ts"],"names":[],"mappings":";AAEO,IAAM,MAAA,GAAS;AAAA,EACpB,IAAA,EAAM,QAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,SAAS,CAAA;AAAA,EACtB,MAAA,EAAQ,yBAAA;AAAA,EACR,OAAA,EAAS,8BAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,iBAAA,EAAmB,WAAW,kBAAkB,CAAA;AAAA,EAC1E,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,MAAM,CAAA;AAAA,IACjB,eAAA,EAAiB,CAAC,OAAO,CAAA;AAAA,IACzB,UAAA,EAAY,CAAC,KAAA,EAAO,qBAAqB;AAAA,GAC3C;AAAA,EACA,OAAA,EAAS,eAAA;AAAA,EACT,IAAA,EAAM,qEAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,4EAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,gFAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"carbon.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const carbon = {\n slug: \"carbon\",\n publishedDate: \"2022-07-19\",\n extensions: [\".carbon\"],\n author: \"Carbon Language Project\",\n website: \"https://docs.carbon-lang.dev\",\n paradigms: [\"imperative\", \"object-oriented\", \"generic\", \"statically typed\"],\n tooling: {\n runtimes: [\"LLVM\"],\n packageManagers: [\"Bazel\"],\n ecosystems: [\"C++\", \"Systems programming\"],\n },\n version: \"0.0.0 nightly\",\n logo: \"https://upload.wikimedia.org/wikipedia/commons/e/e1/Carbon_logo.png\",\n i18n: {\n en: {\n name: \"Carbon\",\n description: \"An experimental successor language for C++ interoperability and migration.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Carbon\",\n description: \"Un lenguaje experimental sucesor para interoperabilidad y migracion desde C++.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
'use strict';
|
|
2
|
+
|
|
3
|
+
// src/languages/chapel.ts
|
|
4
|
+
var chapel = {
|
|
5
|
+
slug: "chapel",
|
|
6
|
+
publishedDate: "2009-04-01",
|
|
7
|
+
extensions: [".chpl"],
|
|
8
|
+
author: "Cray Inc. / Hewlett Packard Enterprise",
|
|
9
|
+
website: "https://chapel-lang.org",
|
|
10
|
+
paradigms: ["parallel", "imperative", "object-oriented", "generic"],
|
|
11
|
+
tooling: {
|
|
12
|
+
runtimes: ["Chapel runtime"],
|
|
13
|
+
packageManagers: ["Mason"],
|
|
14
|
+
ecosystems: ["High-performance computing", "Parallel computing"]
|
|
15
|
+
},
|
|
16
|
+
version: "2.6.0",
|
|
17
|
+
logo: "https://chapel-lang.org/images/chapel-logo.png",
|
|
18
|
+
i18n: {
|
|
19
|
+
en: {
|
|
20
|
+
name: "Chapel",
|
|
21
|
+
description: "A productive parallel programming language for scalable systems.",
|
|
22
|
+
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."
|
|
23
|
+
},
|
|
24
|
+
es: {
|
|
25
|
+
name: "Chapel",
|
|
26
|
+
description: "Un lenguaje de programacion paralela productivo para sistemas escalables.",
|
|
27
|
+
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."
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
};
|
|
31
|
+
|
|
32
|
+
exports.chapel = chapel;
|
|
33
|
+
//# sourceMappingURL=chapel.cjs.map
|
|
34
|
+
//# sourceMappingURL=chapel.cjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../src/languages/chapel.ts"],"names":[],"mappings":";;;AAEO,IAAM,MAAA,GAAS;AAAA,EACpB,IAAA,EAAM,QAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,OAAO,CAAA;AAAA,EACpB,MAAA,EAAQ,wCAAA;AAAA,EACR,OAAA,EAAS,yBAAA;AAAA,EACT,SAAA,EAAW,CAAC,UAAA,EAAY,YAAA,EAAc,mBAAmB,SAAS,CAAA;AAAA,EAClE,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,gBAAgB,CAAA;AAAA,IAC3B,eAAA,EAAiB,CAAC,OAAO,CAAA;AAAA,IACzB,UAAA,EAAY,CAAC,4BAAA,EAA8B,oBAAoB;AAAA,GACjE;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,gDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,kEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,2EAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"chapel.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const chapel = {\n slug: \"chapel\",\n publishedDate: \"2009-04-01\",\n extensions: [\".chpl\"],\n author: \"Cray Inc. / Hewlett Packard Enterprise\",\n website: \"https://chapel-lang.org\",\n paradigms: [\"parallel\", \"imperative\", \"object-oriented\", \"generic\"],\n tooling: {\n runtimes: [\"Chapel runtime\"],\n packageManagers: [\"Mason\"],\n ecosystems: [\"High-performance computing\", \"Parallel computing\"],\n },\n version: \"2.6.0\",\n logo: \"https://chapel-lang.org/images/chapel-logo.png\",\n i18n: {\n en: {\n name: \"Chapel\",\n description: \"A productive parallel programming language for scalable systems.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Chapel\",\n description: \"Un lenguaje de programacion paralela productivo para sistemas escalables.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
declare const chapel: {
|
|
2
|
+
slug: string;
|
|
3
|
+
publishedDate: string;
|
|
4
|
+
extensions: string[];
|
|
5
|
+
author: string;
|
|
6
|
+
website: string;
|
|
7
|
+
paradigms: string[];
|
|
8
|
+
tooling: {
|
|
9
|
+
runtimes: string[];
|
|
10
|
+
packageManagers: string[];
|
|
11
|
+
ecosystems: string[];
|
|
12
|
+
};
|
|
13
|
+
version: string;
|
|
14
|
+
logo: string;
|
|
15
|
+
i18n: {
|
|
16
|
+
en: {
|
|
17
|
+
name: string;
|
|
18
|
+
description: string;
|
|
19
|
+
longDescription: string;
|
|
20
|
+
};
|
|
21
|
+
es: {
|
|
22
|
+
name: string;
|
|
23
|
+
description: string;
|
|
24
|
+
longDescription: string;
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
};
|
|
28
|
+
|
|
29
|
+
export { chapel };
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
declare const chapel: {
|
|
2
|
+
slug: string;
|
|
3
|
+
publishedDate: string;
|
|
4
|
+
extensions: string[];
|
|
5
|
+
author: string;
|
|
6
|
+
website: string;
|
|
7
|
+
paradigms: string[];
|
|
8
|
+
tooling: {
|
|
9
|
+
runtimes: string[];
|
|
10
|
+
packageManagers: string[];
|
|
11
|
+
ecosystems: string[];
|
|
12
|
+
};
|
|
13
|
+
version: string;
|
|
14
|
+
logo: string;
|
|
15
|
+
i18n: {
|
|
16
|
+
en: {
|
|
17
|
+
name: string;
|
|
18
|
+
description: string;
|
|
19
|
+
longDescription: string;
|
|
20
|
+
};
|
|
21
|
+
es: {
|
|
22
|
+
name: string;
|
|
23
|
+
description: string;
|
|
24
|
+
longDescription: string;
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
};
|
|
28
|
+
|
|
29
|
+
export { chapel };
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
// src/languages/chapel.ts
|
|
2
|
+
var chapel = {
|
|
3
|
+
slug: "chapel",
|
|
4
|
+
publishedDate: "2009-04-01",
|
|
5
|
+
extensions: [".chpl"],
|
|
6
|
+
author: "Cray Inc. / Hewlett Packard Enterprise",
|
|
7
|
+
website: "https://chapel-lang.org",
|
|
8
|
+
paradigms: ["parallel", "imperative", "object-oriented", "generic"],
|
|
9
|
+
tooling: {
|
|
10
|
+
runtimes: ["Chapel runtime"],
|
|
11
|
+
packageManagers: ["Mason"],
|
|
12
|
+
ecosystems: ["High-performance computing", "Parallel computing"]
|
|
13
|
+
},
|
|
14
|
+
version: "2.6.0",
|
|
15
|
+
logo: "https://chapel-lang.org/images/chapel-logo.png",
|
|
16
|
+
i18n: {
|
|
17
|
+
en: {
|
|
18
|
+
name: "Chapel",
|
|
19
|
+
description: "A productive parallel programming language for scalable systems.",
|
|
20
|
+
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."
|
|
21
|
+
},
|
|
22
|
+
es: {
|
|
23
|
+
name: "Chapel",
|
|
24
|
+
description: "Un lenguaje de programacion paralela productivo para sistemas escalables.",
|
|
25
|
+
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."
|
|
26
|
+
}
|
|
27
|
+
}
|
|
28
|
+
};
|
|
29
|
+
|
|
30
|
+
export { chapel };
|
|
31
|
+
//# sourceMappingURL=chapel.js.map
|
|
32
|
+
//# sourceMappingURL=chapel.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../src/languages/chapel.ts"],"names":[],"mappings":";AAEO,IAAM,MAAA,GAAS;AAAA,EACpB,IAAA,EAAM,QAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,OAAO,CAAA;AAAA,EACpB,MAAA,EAAQ,wCAAA;AAAA,EACR,OAAA,EAAS,yBAAA;AAAA,EACT,SAAA,EAAW,CAAC,UAAA,EAAY,YAAA,EAAc,mBAAmB,SAAS,CAAA;AAAA,EAClE,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,gBAAgB,CAAA;AAAA,IAC3B,eAAA,EAAiB,CAAC,OAAO,CAAA;AAAA,IACzB,UAAA,EAAY,CAAC,4BAAA,EAA8B,oBAAoB;AAAA,GACjE;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,gDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,kEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,2EAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"chapel.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const chapel = {\n slug: \"chapel\",\n publishedDate: \"2009-04-01\",\n extensions: [\".chpl\"],\n author: \"Cray Inc. / Hewlett Packard Enterprise\",\n website: \"https://chapel-lang.org\",\n paradigms: [\"parallel\", \"imperative\", \"object-oriented\", \"generic\"],\n tooling: {\n runtimes: [\"Chapel runtime\"],\n packageManagers: [\"Mason\"],\n ecosystems: [\"High-performance computing\", \"Parallel computing\"],\n },\n version: \"2.6.0\",\n logo: \"https://chapel-lang.org/images/chapel-logo.png\",\n i18n: {\n en: {\n name: \"Chapel\",\n description: \"A productive parallel programming language for scalable systems.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Chapel\",\n description: \"Un lenguaje de programacion paralela productivo para sistemas escalables.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
'use strict';
|
|
2
|
+
|
|
3
|
+
// src/languages/circom.ts
|
|
4
|
+
var circom = {
|
|
5
|
+
slug: "circom",
|
|
6
|
+
publishedDate: "2018-01-01",
|
|
7
|
+
extensions: [".circom"],
|
|
8
|
+
author: "iden3",
|
|
9
|
+
website: "https://docs.circom.io",
|
|
10
|
+
paradigms: ["declarative", "constraint-based", "domain-specific"],
|
|
11
|
+
tooling: {
|
|
12
|
+
runtimes: ["circom compiler", "WebAssembly", "C++"],
|
|
13
|
+
packageManagers: ["npm", "Cargo"],
|
|
14
|
+
ecosystems: ["Zero-knowledge proofs", "Ethereum", "zkSNARKs"]
|
|
15
|
+
},
|
|
16
|
+
version: "2.2.3",
|
|
17
|
+
logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_circom.svg",
|
|
18
|
+
i18n: {
|
|
19
|
+
en: {
|
|
20
|
+
name: "Circom",
|
|
21
|
+
description: "A DSL for writing arithmetic circuits used in zero-knowledge proofs.",
|
|
22
|
+
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."
|
|
23
|
+
},
|
|
24
|
+
es: {
|
|
25
|
+
name: "Circom",
|
|
26
|
+
description: "Un DSL para escribir circuitos aritmeticos usados en pruebas de conocimiento cero.",
|
|
27
|
+
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."
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
};
|
|
31
|
+
|
|
32
|
+
exports.circom = circom;
|
|
33
|
+
//# sourceMappingURL=circom.cjs.map
|
|
34
|
+
//# sourceMappingURL=circom.cjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../src/languages/circom.ts"],"names":[],"mappings":";;;AAEO,IAAM,MAAA,GAAS;AAAA,EACpB,IAAA,EAAM,QAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,SAAS,CAAA;AAAA,EACtB,MAAA,EAAQ,OAAA;AAAA,EACR,OAAA,EAAS,wBAAA;AAAA,EACT,SAAA,EAAW,CAAC,aAAA,EAAe,kBAAA,EAAoB,iBAAiB,CAAA;AAAA,EAChE,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,iBAAA,EAAmB,aAAA,EAAe,KAAK,CAAA;AAAA,IAClD,eAAA,EAAiB,CAAC,KAAA,EAAO,OAAO,CAAA;AAAA,IAChC,UAAA,EAAY,CAAC,uBAAA,EAAyB,UAAA,EAAY,UAAU;AAAA,GAC9D;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,yFAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,sEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE,oFAAA;AAAA,MACF,eAAA,EACE;AAAA;AACJ;AAEJ","file":"circom.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const circom = {\n slug: \"circom\",\n publishedDate: \"2018-01-01\",\n extensions: [\".circom\"],\n author: \"iden3\",\n website: \"https://docs.circom.io\",\n paradigms: [\"declarative\", \"constraint-based\", \"domain-specific\"],\n tooling: {\n runtimes: [\"circom compiler\", \"WebAssembly\", \"C++\"],\n packageManagers: [\"npm\", \"Cargo\"],\n ecosystems: [\"Zero-knowledge proofs\", \"Ethereum\", \"zkSNARKs\"],\n },\n version: \"2.2.3\",\n logo: \"https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_circom.svg\",\n i18n: {\n en: {\n name: \"Circom\",\n description: \"A DSL for writing arithmetic circuits used in zero-knowledge proofs.\",\n longDescription:\n \"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.\",\n },\n es: {\n name: \"Circom\",\n description:\n \"Un DSL para escribir circuitos aritmeticos usados en pruebas de conocimiento cero.\",\n longDescription:\n \"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.\",\n },\n },\n} satisfies Language;\n"]}
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
declare const circom: {
|
|
2
|
+
slug: string;
|
|
3
|
+
publishedDate: string;
|
|
4
|
+
extensions: string[];
|
|
5
|
+
author: string;
|
|
6
|
+
website: string;
|
|
7
|
+
paradigms: string[];
|
|
8
|
+
tooling: {
|
|
9
|
+
runtimes: string[];
|
|
10
|
+
packageManagers: string[];
|
|
11
|
+
ecosystems: string[];
|
|
12
|
+
};
|
|
13
|
+
version: string;
|
|
14
|
+
logo: string;
|
|
15
|
+
i18n: {
|
|
16
|
+
en: {
|
|
17
|
+
name: string;
|
|
18
|
+
description: string;
|
|
19
|
+
longDescription: string;
|
|
20
|
+
};
|
|
21
|
+
es: {
|
|
22
|
+
name: string;
|
|
23
|
+
description: string;
|
|
24
|
+
longDescription: string;
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
};
|
|
28
|
+
|
|
29
|
+
export { circom };
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
declare const circom: {
|
|
2
|
+
slug: string;
|
|
3
|
+
publishedDate: string;
|
|
4
|
+
extensions: string[];
|
|
5
|
+
author: string;
|
|
6
|
+
website: string;
|
|
7
|
+
paradigms: string[];
|
|
8
|
+
tooling: {
|
|
9
|
+
runtimes: string[];
|
|
10
|
+
packageManagers: string[];
|
|
11
|
+
ecosystems: string[];
|
|
12
|
+
};
|
|
13
|
+
version: string;
|
|
14
|
+
logo: string;
|
|
15
|
+
i18n: {
|
|
16
|
+
en: {
|
|
17
|
+
name: string;
|
|
18
|
+
description: string;
|
|
19
|
+
longDescription: string;
|
|
20
|
+
};
|
|
21
|
+
es: {
|
|
22
|
+
name: string;
|
|
23
|
+
description: string;
|
|
24
|
+
longDescription: string;
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
};
|
|
28
|
+
|
|
29
|
+
export { circom };
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
// src/languages/circom.ts
|
|
2
|
+
var circom = {
|
|
3
|
+
slug: "circom",
|
|
4
|
+
publishedDate: "2018-01-01",
|
|
5
|
+
extensions: [".circom"],
|
|
6
|
+
author: "iden3",
|
|
7
|
+
website: "https://docs.circom.io",
|
|
8
|
+
paradigms: ["declarative", "constraint-based", "domain-specific"],
|
|
9
|
+
tooling: {
|
|
10
|
+
runtimes: ["circom compiler", "WebAssembly", "C++"],
|
|
11
|
+
packageManagers: ["npm", "Cargo"],
|
|
12
|
+
ecosystems: ["Zero-knowledge proofs", "Ethereum", "zkSNARKs"]
|
|
13
|
+
},
|
|
14
|
+
version: "2.2.3",
|
|
15
|
+
logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_circom.svg",
|
|
16
|
+
i18n: {
|
|
17
|
+
en: {
|
|
18
|
+
name: "Circom",
|
|
19
|
+
description: "A DSL for writing arithmetic circuits used in zero-knowledge proofs.",
|
|
20
|
+
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."
|
|
21
|
+
},
|
|
22
|
+
es: {
|
|
23
|
+
name: "Circom",
|
|
24
|
+
description: "Un DSL para escribir circuitos aritmeticos usados en pruebas de conocimiento cero.",
|
|
25
|
+
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."
|
|
26
|
+
}
|
|
27
|
+
}
|
|
28
|
+
};
|
|
29
|
+
|
|
30
|
+
export { circom };
|
|
31
|
+
//# sourceMappingURL=circom.js.map
|
|
32
|
+
//# sourceMappingURL=circom.js.map
|