code-languages 1.20.6 → 1.22.0

package/dist/languages/agda.cjs

@@ -0,0 +1,34 @@
+'use strict';
+
+// src/languages/agda.ts
+var agda = {
+  slug: "agda",
+  publishedDate: "2007-01-01",
+  extensions: [".agda", ".lagda", ".lagda.md", ".lagda.rst", ".lagda.tex"],
+  author: "Ulf Norell / Chalmers University of Technology",
+  website: "https://wiki.portal.chalmers.se/agda/",
+  paradigms: ["functional", "dependently typed", "total", "proof-oriented"],
+  tooling: {
+    runtimes: ["GHC", "JavaScript"],
+    packageManagers: ["Cabal", "Stack"],
+    ecosystems: ["Haskell", "Formal methods", "Proof assistants"]
+  },
+  version: "2.8.0",
+  logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_agda.svg",
+  i18n: {
+    en: {
+      name: "Agda",
+      description: "A dependently typed functional language and proof assistant.",
+      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."
+    },
+    es: {
+      name: "Agda",
+      description: "Un lenguaje funcional con tipos dependientes y asistente de pruebas.",
+      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."
+    }
+  }
+};
+
+exports.agda = agda;
+//# sourceMappingURL=agda.cjs.map
+//# sourceMappingURL=agda.cjs.map

package/dist/languages/agda.cjs.map

@@ -0,0 +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"]}

package/dist/languages/agda.d.cts

@@ -0,0 +1,29 @@
+declare const agda: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { agda };

package/dist/languages/agda.d.ts

@@ -0,0 +1,29 @@
+declare const agda: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { agda };

package/dist/languages/agda.js

@@ -0,0 +1,32 @@
+// src/languages/agda.ts
+var agda = {
+  slug: "agda",
+  publishedDate: "2007-01-01",
+  extensions: [".agda", ".lagda", ".lagda.md", ".lagda.rst", ".lagda.tex"],
+  author: "Ulf Norell / Chalmers University of Technology",
+  website: "https://wiki.portal.chalmers.se/agda/",
+  paradigms: ["functional", "dependently typed", "total", "proof-oriented"],
+  tooling: {
+    runtimes: ["GHC", "JavaScript"],
+    packageManagers: ["Cabal", "Stack"],
+    ecosystems: ["Haskell", "Formal methods", "Proof assistants"]
+  },
+  version: "2.8.0",
+  logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_agda.svg",
+  i18n: {
+    en: {
+      name: "Agda",
+      description: "A dependently typed functional language and proof assistant.",
+      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."
+    },
+    es: {
+      name: "Agda",
+      description: "Un lenguaje funcional con tipos dependientes y asistente de pruebas.",
+      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."
+    }
+  }
+};
+
+export { agda };
+//# sourceMappingURL=agda.js.map
+//# sourceMappingURL=agda.js.map

package/dist/languages/agda.js.map

@@ -0,0 +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/carbon.cjs

@@ -0,0 +1,34 @@
+'use strict';
+
+// src/languages/carbon.ts
+var carbon = {
+  slug: "carbon",
+  publishedDate: "2022-07-19",
+  extensions: [".carbon"],
+  author: "Carbon Language Project",
+  website: "https://docs.carbon-lang.dev",
+  paradigms: ["imperative", "object-oriented", "generic", "statically typed"],
+  tooling: {
+    runtimes: ["LLVM"],
+    packageManagers: ["Bazel"],
+    ecosystems: ["C++", "Systems programming"]
+  },
+  version: "0.0.0 nightly",
+  logo: "https://upload.wikimedia.org/wikipedia/commons/e/e1/Carbon_logo.png",
+  i18n: {
+    en: {
+      name: "Carbon",
+      description: "An experimental successor language for C++ interoperability and migration.",
+      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."
+    },
+    es: {
+      name: "Carbon",
+      description: "Un lenguaje experimental sucesor para interoperabilidad y migracion desde C++.",
+      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."
+    }
+  }
+};
+
+exports.carbon = carbon;
+//# sourceMappingURL=carbon.cjs.map
+//# sourceMappingURL=carbon.cjs.map

package/dist/languages/carbon.cjs.map

@@ -0,0 +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"]}

package/dist/languages/carbon.d.cts

@@ -0,0 +1,29 @@
+declare const carbon: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { carbon };

package/dist/languages/carbon.d.ts

@@ -0,0 +1,29 @@
+declare const carbon: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { carbon };

package/dist/languages/carbon.js

@@ -0,0 +1,32 @@
+// src/languages/carbon.ts
+var carbon = {
+  slug: "carbon",
+  publishedDate: "2022-07-19",
+  extensions: [".carbon"],
+  author: "Carbon Language Project",
+  website: "https://docs.carbon-lang.dev",
+  paradigms: ["imperative", "object-oriented", "generic", "statically typed"],
+  tooling: {
+    runtimes: ["LLVM"],
+    packageManagers: ["Bazel"],
+    ecosystems: ["C++", "Systems programming"]
+  },
+  version: "0.0.0 nightly",
+  logo: "https://upload.wikimedia.org/wikipedia/commons/e/e1/Carbon_logo.png",
+  i18n: {
+    en: {
+      name: "Carbon",
+      description: "An experimental successor language for C++ interoperability and migration.",
+      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."
+    },
+    es: {
+      name: "Carbon",
+      description: "Un lenguaje experimental sucesor para interoperabilidad y migracion desde C++.",
+      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."
+    }
+  }
+};
+
+export { carbon };
+//# sourceMappingURL=carbon.js.map
+//# sourceMappingURL=carbon.js.map

package/dist/languages/carbon.js.map

@@ -0,0 +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"]}

package/dist/languages/chapel.cjs

@@ -0,0 +1,34 @@
+'use strict';
+
+// src/languages/chapel.ts
+var chapel = {
+  slug: "chapel",
+  publishedDate: "2009-04-01",
+  extensions: [".chpl"],
+  author: "Cray Inc. / Hewlett Packard Enterprise",
+  website: "https://chapel-lang.org",
+  paradigms: ["parallel", "imperative", "object-oriented", "generic"],
+  tooling: {
+    runtimes: ["Chapel runtime"],
+    packageManagers: ["Mason"],
+    ecosystems: ["High-performance computing", "Parallel computing"]
+  },
+  version: "2.6.0",
+  logo: "https://chapel-lang.org/images/chapel-logo.png",
+  i18n: {
+    en: {
+      name: "Chapel",
+      description: "A productive parallel programming language for scalable systems.",
+      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."
+    },
+    es: {
+      name: "Chapel",
+      description: "Un lenguaje de programacion paralela productivo para sistemas escalables.",
+      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."
+    }
+  }
+};
+
+exports.chapel = chapel;
+//# sourceMappingURL=chapel.cjs.map
+//# sourceMappingURL=chapel.cjs.map

package/dist/languages/chapel.cjs.map

@@ -0,0 +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"]}

package/dist/languages/chapel.d.cts

@@ -0,0 +1,29 @@
+declare const chapel: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { chapel };

package/dist/languages/chapel.d.ts

@@ -0,0 +1,29 @@
+declare const chapel: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { chapel };

package/dist/languages/chapel.js

@@ -0,0 +1,32 @@
+// src/languages/chapel.ts
+var chapel = {
+  slug: "chapel",
+  publishedDate: "2009-04-01",
+  extensions: [".chpl"],
+  author: "Cray Inc. / Hewlett Packard Enterprise",
+  website: "https://chapel-lang.org",
+  paradigms: ["parallel", "imperative", "object-oriented", "generic"],
+  tooling: {
+    runtimes: ["Chapel runtime"],
+    packageManagers: ["Mason"],
+    ecosystems: ["High-performance computing", "Parallel computing"]
+  },
+  version: "2.6.0",
+  logo: "https://chapel-lang.org/images/chapel-logo.png",
+  i18n: {
+    en: {
+      name: "Chapel",
+      description: "A productive parallel programming language for scalable systems.",
+      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."
+    },
+    es: {
+      name: "Chapel",
+      description: "Un lenguaje de programacion paralela productivo para sistemas escalables.",
+      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."
+    }
+  }
+};
+
+export { chapel };
+//# sourceMappingURL=chapel.js.map
+//# sourceMappingURL=chapel.js.map

package/dist/languages/chapel.js.map

@@ -0,0 +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"]}

package/dist/languages/circom.cjs

@@ -0,0 +1,34 @@
+'use strict';
+
+// src/languages/circom.ts
+var circom = {
+  slug: "circom",
+  publishedDate: "2018-01-01",
+  extensions: [".circom"],
+  author: "iden3",
+  website: "https://docs.circom.io",
+  paradigms: ["declarative", "constraint-based", "domain-specific"],
+  tooling: {
+    runtimes: ["circom compiler", "WebAssembly", "C++"],
+    packageManagers: ["npm", "Cargo"],
+    ecosystems: ["Zero-knowledge proofs", "Ethereum", "zkSNARKs"]
+  },
+  version: "2.2.3",
+  logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_circom.svg",
+  i18n: {
+    en: {
+      name: "Circom",
+      description: "A DSL for writing arithmetic circuits used in zero-knowledge proofs.",
+      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."
+    },
+    es: {
+      name: "Circom",
+      description: "Un DSL para escribir circuitos aritmeticos usados en pruebas de conocimiento cero.",
+      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."
+    }
+  }
+};
+
+exports.circom = circom;
+//# sourceMappingURL=circom.cjs.map
+//# sourceMappingURL=circom.cjs.map

package/dist/languages/circom.cjs.map

@@ -0,0 +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"]}

package/dist/languages/circom.d.cts

@@ -0,0 +1,29 @@
+declare const circom: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { circom };

package/dist/languages/circom.d.ts

@@ -0,0 +1,29 @@
+declare const circom: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { circom };

package/dist/languages/circom.js

@@ -0,0 +1,32 @@
+// src/languages/circom.ts
+var circom = {
+  slug: "circom",
+  publishedDate: "2018-01-01",
+  extensions: [".circom"],
+  author: "iden3",
+  website: "https://docs.circom.io",
+  paradigms: ["declarative", "constraint-based", "domain-specific"],
+  tooling: {
+    runtimes: ["circom compiler", "WebAssembly", "C++"],
+    packageManagers: ["npm", "Cargo"],
+    ecosystems: ["Zero-knowledge proofs", "Ethereum", "zkSNARKs"]
+  },
+  version: "2.2.3",
+  logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_circom.svg",
+  i18n: {
+    en: {
+      name: "Circom",
+      description: "A DSL for writing arithmetic circuits used in zero-knowledge proofs.",
+      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."
+    },
+    es: {
+      name: "Circom",
+      description: "Un DSL para escribir circuitos aritmeticos usados en pruebas de conocimiento cero.",
+      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."
+    }
+  }
+};
+
+export { circom };
+//# sourceMappingURL=circom.js.map
+//# sourceMappingURL=circom.js.map

package/dist/languages/circom.js.map

@@ -0,0 +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.js","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"]}

package/dist/languages/coq.cjs

@@ -0,0 +1,34 @@
+'use strict';
+
+// src/languages/coq.ts
+var coq = {
+  slug: "coq",
+  publishedDate: "1989-01-01",
+  extensions: [".v"],
+  author: "INRIA / Rocq Prover Development Team",
+  website: "https://rocq-prover.org",
+  paradigms: ["functional", "dependently typed", "proof-oriented", "tactic-based"],
+  tooling: {
+    runtimes: ["Rocq Prover", "OCaml"],
+    packageManagers: ["opam", "Rocq Platform"],
+    ecosystems: ["Formal methods", "Proof assistants", "OCaml"]
+  },
+  version: "9.2.0",
+  logo: "https://avatars.githubusercontent.com/u/621198?v=4",
+  i18n: {
+    en: {
+      name: "Coq / Rocq",
+      description: "A proof assistant and dependently typed language for certified mathematics and software.",
+      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."
+    },
+    es: {
+      name: "Coq / Rocq",
+      description: "Un asistente de pruebas y lenguaje con tipos dependientes para software certificado.",
+      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."
+    }
+  }
+};
+
+exports.coq = coq;
+//# sourceMappingURL=coq.cjs.map
+//# sourceMappingURL=coq.cjs.map

package/dist/languages/coq.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/languages/coq.ts"],"names":[],"mappings":";;;AAEO,IAAM,GAAA,GAAM;AAAA,EACjB,IAAA,EAAM,KAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,IAAI,CAAA;AAAA,EACjB,MAAA,EAAQ,sCAAA;AAAA,EACR,OAAA,EAAS,yBAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,mBAAA,EAAqB,kBAAkB,cAAc,CAAA;AAAA,EAC/E,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,aAAA,EAAe,OAAO,CAAA;AAAA,IACjC,eAAA,EAAiB,CAAC,MAAA,EAAQ,eAAe,CAAA;AAAA,IACzC,UAAA,EAAY,CAAC,gBAAA,EAAkB,kBAAA,EAAoB,OAAO;AAAA,GAC5D;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,oDAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,YAAA;AAAA,MACN,WAAA,EACE,0FAAA;AAAA,MACF,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,YAAA;AAAA,MACN,WAAA,EACE,sFAAA;AAAA,MACF,eAAA,EACE;AAAA;AACJ;AAEJ","file":"coq.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const coq = {\n  slug: \"coq\",\n  publishedDate: \"1989-01-01\",\n  extensions: [\".v\"],\n  author: \"INRIA / Rocq Prover Development Team\",\n  website: \"https://rocq-prover.org\",\n  paradigms: [\"functional\", \"dependently typed\", \"proof-oriented\", \"tactic-based\"],\n  tooling: {\n    runtimes: [\"Rocq Prover\", \"OCaml\"],\n    packageManagers: [\"opam\", \"Rocq Platform\"],\n    ecosystems: [\"Formal methods\", \"Proof assistants\", \"OCaml\"],\n  },\n  version: \"9.2.0\",\n  logo: \"https://avatars.githubusercontent.com/u/621198?v=4\",\n  i18n: {\n    en: {\n      name: \"Coq / Rocq\",\n      description:\n        \"A proof assistant and dependently typed language for certified mathematics and software.\",\n      longDescription:\n        \"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.\",\n    },\n    es: {\n      name: \"Coq / Rocq\",\n      description:\n        \"Un asistente de pruebas y lenguaje con tipos dependientes para software certificado.\",\n      longDescription:\n        \"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.\",\n    },\n  },\n} satisfies Language;\n"]}