code-languages 1.20.6 → 1.21.0

package/dist/languages/hack.js

@@ -0,0 +1,32 @@
+// src/languages/hack.ts
+var hack = {
+  slug: "hack",
+  publishedDate: "2014-03-20",
+  extensions: [".hack", ".hh", ".hhi"],
+  author: "Meta",
+  website: "https://docs.hhvm.com/hack/",
+  paradigms: ["object-oriented", "functional", "gradually typed", "imperative"],
+  tooling: {
+    runtimes: ["HHVM"],
+    packageManagers: ["Composer"],
+    ecosystems: ["HHVM", "Web", "PHP"]
+  },
+  version: "HHVM 4.x",
+  logo: "https://upload.wikimedia.org/wikipedia/commons/a/a7/Hack_%28programming_language%29_logo.svg",
+  i18n: {
+    en: {
+      name: "Hack",
+      description: "A gradually typed language for HHVM with PHP heritage.",
+      longDescription: "Hack is a programming language for HHVM that evolved from PHP and adds static typing, generics, async features, shapes, collections, and tooling built around the Hack typechecker. It is designed for large web codebases that need gradual typing and fast feedback.\n\nIt is used mainly in HHVM deployments and large server-side applications where PHP-like ergonomics are paired with stronger static analysis and modern language constructs."
+    },
+    es: {
+      name: "Hack",
+      description: "Un lenguaje con tipado gradual para HHVM con herencia de PHP.",
+      longDescription: "Hack es un lenguaje de programacion para HHVM que evoluciono desde PHP y agrega tipado estatico, genericos, funciones async, shapes, colecciones y herramientas basadas en el typechecker de Hack. Esta disenado para grandes bases de codigo web que necesitan tipado gradual y feedback rapido.\n\nSe usa principalmente en despliegues HHVM y aplicaciones grandes del lado servidor donde la ergonomia similar a PHP se combina con analisis estatico mas fuerte y construcciones modernas del lenguaje."
+    }
+  }
+};
+
+export { hack };
+//# sourceMappingURL=hack.js.map
+//# sourceMappingURL=hack.js.map

package/dist/languages/hack.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/languages/hack.ts"],"names":[],"mappings":";AAEO,IAAM,IAAA,GAAO;AAAA,EAClB,IAAA,EAAM,MAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,OAAA,EAAS,KAAA,EAAO,MAAM,CAAA;AAAA,EACnC,MAAA,EAAQ,MAAA;AAAA,EACR,OAAA,EAAS,6BAAA;AAAA,EACT,SAAA,EAAW,CAAC,iBAAA,EAAmB,YAAA,EAAc,mBAAmB,YAAY,CAAA;AAAA,EAC5E,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,MAAM,CAAA;AAAA,IACjB,eAAA,EAAiB,CAAC,UAAU,CAAA;AAAA,IAC5B,UAAA,EAAY,CAAC,MAAA,EAAQ,KAAA,EAAO,KAAK;AAAA,GACnC;AAAA,EACA,OAAA,EAAS,UAAA;AAAA,EACT,IAAA,EAAM,8FAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,wDAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EAAa,+DAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"hack.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const hack = {\n  slug: \"hack\",\n  publishedDate: \"2014-03-20\",\n  extensions: [\".hack\", \".hh\", \".hhi\"],\n  author: \"Meta\",\n  website: \"https://docs.hhvm.com/hack/\",\n  paradigms: [\"object-oriented\", \"functional\", \"gradually typed\", \"imperative\"],\n  tooling: {\n    runtimes: [\"HHVM\"],\n    packageManagers: [\"Composer\"],\n    ecosystems: [\"HHVM\", \"Web\", \"PHP\"],\n  },\n  version: \"HHVM 4.x\",\n  logo: \"https://upload.wikimedia.org/wikipedia/commons/a/a7/Hack_%28programming_language%29_logo.svg\",\n  i18n: {\n    en: {\n      name: \"Hack\",\n      description: \"A gradually typed language for HHVM with PHP heritage.\",\n      longDescription:\n        \"Hack is a programming language for HHVM that evolved from PHP and adds static typing, generics, async features, shapes, collections, and tooling built around the Hack typechecker. It is designed for large web codebases that need gradual typing and fast feedback.\\n\\nIt is used mainly in HHVM deployments and large server-side applications where PHP-like ergonomics are paired with stronger static analysis and modern language constructs.\",\n    },\n    es: {\n      name: \"Hack\",\n      description: \"Un lenguaje con tipado gradual para HHVM con herencia de PHP.\",\n      longDescription:\n        \"Hack es un lenguaje de programacion para HHVM que evoluciono desde PHP y agrega tipado estatico, genericos, funciones async, shapes, colecciones y herramientas basadas en el typechecker de Hack. Esta disenado para grandes bases de codigo web que necesitan tipado gradual y feedback rapido.\\n\\nSe usa principalmente en despliegues HHVM y aplicaciones grandes del lado servidor donde la ergonomia similar a PHP se combina con analisis estatico mas fuerte y construcciones modernas del lenguaje.\",\n    },\n  },\n} satisfies Language;\n"]}

package/dist/languages/haml.cjs

@@ -0,0 +1,34 @@
+'use strict';
+
+// src/languages/haml.ts
+var haml = {
+  slug: "haml",
+  publishedDate: "2006-10-01",
+  extensions: [".haml"],
+  author: "Hampton Catlin",
+  website: "https://haml.info",
+  paradigms: ["template", "markup", "declarative"],
+  tooling: {
+    runtimes: ["Ruby"],
+    packageManagers: ["RubyGems", "Bundler"],
+    ecosystems: ["Ruby", "Ruby on Rails", "Web"]
+  },
+  version: "7.2.0",
+  logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_haml.svg",
+  i18n: {
+    en: {
+      name: "Haml",
+      description: "A whitespace-sensitive template language for writing HTML tersely.",
+      longDescription: "Haml is a markup and template language for generating HTML with indentation-based structure. It removes closing tags, reduces boilerplate, and integrates with Ruby frameworks such as Ruby on Rails.\n\nIt is used in web applications and static rendering pipelines that prefer concise templates, readable nesting, and Ruby-powered interpolation over explicit HTML syntax."
+    },
+    es: {
+      name: "Haml",
+      description: "Un lenguaje de templates sensible a espacios para escribir HTML de forma concisa.",
+      longDescription: "Haml es un lenguaje de marcado y templates para generar HTML con estructura basada en indentacion. Elimina etiquetas de cierre, reduce repeticion e integra con frameworks Ruby como Ruby on Rails.\n\nSe usa en aplicaciones web y pipelines de renderizado estatico que prefieren templates concisos, anidacion legible e interpolacion con Ruby en vez de sintaxis HTML explicita."
+    }
+  }
+};
+
+exports.haml = haml;
+//# sourceMappingURL=haml.cjs.map
+//# sourceMappingURL=haml.cjs.map

package/dist/languages/haml.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/languages/haml.ts"],"names":[],"mappings":";;;AAEO,IAAM,IAAA,GAAO;AAAA,EAClB,IAAA,EAAM,MAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,OAAO,CAAA;AAAA,EACpB,MAAA,EAAQ,gBAAA;AAAA,EACR,OAAA,EAAS,mBAAA;AAAA,EACT,SAAA,EAAW,CAAC,UAAA,EAAY,QAAA,EAAU,aAAa,CAAA;AAAA,EAC/C,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,MAAM,CAAA;AAAA,IACjB,eAAA,EAAiB,CAAC,UAAA,EAAY,SAAS,CAAA;AAAA,IACvC,UAAA,EAAY,CAAC,MAAA,EAAQ,eAAA,EAAiB,KAAK;AAAA,GAC7C;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,oEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EACE,mFAAA;AAAA,MACF,eAAA,EACE;AAAA;AACJ;AAEJ","file":"haml.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const haml = {\n  slug: \"haml\",\n  publishedDate: \"2006-10-01\",\n  extensions: [\".haml\"],\n  author: \"Hampton Catlin\",\n  website: \"https://haml.info\",\n  paradigms: [\"template\", \"markup\", \"declarative\"],\n  tooling: {\n    runtimes: [\"Ruby\"],\n    packageManagers: [\"RubyGems\", \"Bundler\"],\n    ecosystems: [\"Ruby\", \"Ruby on Rails\", \"Web\"],\n  },\n  version: \"7.2.0\",\n  logo: \"https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_haml.svg\",\n  i18n: {\n    en: {\n      name: \"Haml\",\n      description: \"A whitespace-sensitive template language for writing HTML tersely.\",\n      longDescription:\n        \"Haml is a markup and template language for generating HTML with indentation-based structure. It removes closing tags, reduces boilerplate, and integrates with Ruby frameworks such as Ruby on Rails.\\n\\nIt is used in web applications and static rendering pipelines that prefer concise templates, readable nesting, and Ruby-powered interpolation over explicit HTML syntax.\",\n    },\n    es: {\n      name: \"Haml\",\n      description:\n        \"Un lenguaje de templates sensible a espacios para escribir HTML de forma concisa.\",\n      longDescription:\n        \"Haml es un lenguaje de marcado y templates para generar HTML con estructura basada en indentacion. Elimina etiquetas de cierre, reduce repeticion e integra con frameworks Ruby como Ruby on Rails.\\n\\nSe usa en aplicaciones web y pipelines de renderizado estatico que prefieren templates concisos, anidacion legible e interpolacion con Ruby en vez de sintaxis HTML explicita.\",\n    },\n  },\n} satisfies Language;\n"]}

package/dist/languages/haml.d.cts

@@ -0,0 +1,29 @@
+declare const haml: {
+    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 { haml };

package/dist/languages/haml.d.ts

@@ -0,0 +1,29 @@
+declare const haml: {
+    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 { haml };

package/dist/languages/haml.js

@@ -0,0 +1,32 @@
+// src/languages/haml.ts
+var haml = {
+  slug: "haml",
+  publishedDate: "2006-10-01",
+  extensions: [".haml"],
+  author: "Hampton Catlin",
+  website: "https://haml.info",
+  paradigms: ["template", "markup", "declarative"],
+  tooling: {
+    runtimes: ["Ruby"],
+    packageManagers: ["RubyGems", "Bundler"],
+    ecosystems: ["Ruby", "Ruby on Rails", "Web"]
+  },
+  version: "7.2.0",
+  logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_haml.svg",
+  i18n: {
+    en: {
+      name: "Haml",
+      description: "A whitespace-sensitive template language for writing HTML tersely.",
+      longDescription: "Haml is a markup and template language for generating HTML with indentation-based structure. It removes closing tags, reduces boilerplate, and integrates with Ruby frameworks such as Ruby on Rails.\n\nIt is used in web applications and static rendering pipelines that prefer concise templates, readable nesting, and Ruby-powered interpolation over explicit HTML syntax."
+    },
+    es: {
+      name: "Haml",
+      description: "Un lenguaje de templates sensible a espacios para escribir HTML de forma concisa.",
+      longDescription: "Haml es un lenguaje de marcado y templates para generar HTML con estructura basada en indentacion. Elimina etiquetas de cierre, reduce repeticion e integra con frameworks Ruby como Ruby on Rails.\n\nSe usa en aplicaciones web y pipelines de renderizado estatico que prefieren templates concisos, anidacion legible e interpolacion con Ruby en vez de sintaxis HTML explicita."
+    }
+  }
+};
+
+export { haml };
+//# sourceMappingURL=haml.js.map
+//# sourceMappingURL=haml.js.map

package/dist/languages/haml.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/languages/haml.ts"],"names":[],"mappings":";AAEO,IAAM,IAAA,GAAO;AAAA,EAClB,IAAA,EAAM,MAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,OAAO,CAAA;AAAA,EACpB,MAAA,EAAQ,gBAAA;AAAA,EACR,OAAA,EAAS,mBAAA;AAAA,EACT,SAAA,EAAW,CAAC,UAAA,EAAY,QAAA,EAAU,aAAa,CAAA;AAAA,EAC/C,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,MAAM,CAAA;AAAA,IACjB,eAAA,EAAiB,CAAC,UAAA,EAAY,SAAS,CAAA;AAAA,IACvC,UAAA,EAAY,CAAC,MAAA,EAAQ,eAAA,EAAiB,KAAK;AAAA,GAC7C;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,oEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EACE,mFAAA;AAAA,MACF,eAAA,EACE;AAAA;AACJ;AAEJ","file":"haml.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const haml = {\n  slug: \"haml\",\n  publishedDate: \"2006-10-01\",\n  extensions: [\".haml\"],\n  author: \"Hampton Catlin\",\n  website: \"https://haml.info\",\n  paradigms: [\"template\", \"markup\", \"declarative\"],\n  tooling: {\n    runtimes: [\"Ruby\"],\n    packageManagers: [\"RubyGems\", \"Bundler\"],\n    ecosystems: [\"Ruby\", \"Ruby on Rails\", \"Web\"],\n  },\n  version: \"7.2.0\",\n  logo: \"https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_haml.svg\",\n  i18n: {\n    en: {\n      name: \"Haml\",\n      description: \"A whitespace-sensitive template language for writing HTML tersely.\",\n      longDescription:\n        \"Haml is a markup and template language for generating HTML with indentation-based structure. It removes closing tags, reduces boilerplate, and integrates with Ruby frameworks such as Ruby on Rails.\\n\\nIt is used in web applications and static rendering pipelines that prefer concise templates, readable nesting, and Ruby-powered interpolation over explicit HTML syntax.\",\n    },\n    es: {\n      name: \"Haml\",\n      description:\n        \"Un lenguaje de templates sensible a espacios para escribir HTML de forma concisa.\",\n      longDescription:\n        \"Haml es un lenguaje de marcado y templates para generar HTML con estructura basada en indentacion. Elimina etiquetas de cierre, reduce repeticion e integra con frameworks Ruby como Ruby on Rails.\\n\\nSe usa en aplicaciones web y pipelines de renderizado estatico que prefieren templates concisos, anidacion legible e interpolacion con Ruby en vez de sintaxis HTML explicita.\",\n    },\n  },\n} satisfies Language;\n"]}

package/dist/languages/idris.cjs

@@ -0,0 +1,34 @@
+'use strict';
+
+// src/languages/idris.ts
+var idris = {
+  slug: "idris",
+  publishedDate: "2009-01-01",
+  extensions: [".idr", ".lidr", ".ipkg"],
+  author: "Edwin Brady",
+  website: "https://www.idris-lang.org",
+  paradigms: ["functional", "dependently typed", "total", "statically typed"],
+  tooling: {
+    runtimes: ["Chez Scheme", "Racket", "JavaScript", "Node.js"],
+    packageManagers: ["pack", "idris2"],
+    ecosystems: ["Formal methods", "Functional programming"]
+  },
+  version: "0.8.0",
+  logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_idris.svg",
+  i18n: {
+    en: {
+      name: "Idris",
+      description: "A dependently typed functional language focused on practical programs.",
+      longDescription: "Idris is a dependently typed functional programming language that brings theorem-proving ideas into general-purpose software development. Idris 2 adds a quantitative type system, totality checking, elaborator reflection, and multiple code generation backends.\n\nIt is used for type-driven development, language research, certified programming, education, and experiments where rich types help describe program behavior precisely."
+    },
+    es: {
+      name: "Idris",
+      description: "Un lenguaje funcional con tipos dependientes enfocado en programas practicos.",
+      longDescription: "Idris es un lenguaje de programacion funcional con tipos dependientes que lleva ideas de demostracion de teoremas al desarrollo general. Idris 2 agrega un sistema de tipos cuantitativo, chequeo de totalidad, reflexion de elaborador y multiples backends de generacion de codigo.\n\nSe usa en desarrollo guiado por tipos, investigacion de lenguajes, programacion certificada, educacion y experimentos donde tipos ricos ayudan a describir con precision el comportamiento de los programas."
+    }
+  }
+};
+
+exports.idris = idris;
+//# sourceMappingURL=idris.cjs.map
+//# sourceMappingURL=idris.cjs.map

package/dist/languages/idris.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/languages/idris.ts"],"names":[],"mappings":";;;AAEO,IAAM,KAAA,GAAQ;AAAA,EACnB,IAAA,EAAM,OAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,MAAA,EAAQ,OAAA,EAAS,OAAO,CAAA;AAAA,EACrC,MAAA,EAAQ,aAAA;AAAA,EACR,OAAA,EAAS,4BAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,mBAAA,EAAqB,SAAS,kBAAkB,CAAA;AAAA,EAC1E,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,aAAA,EAAe,QAAA,EAAU,cAAc,SAAS,CAAA;AAAA,IAC3D,eAAA,EAAiB,CAAC,MAAA,EAAQ,QAAQ,CAAA;AAAA,IAClC,UAAA,EAAY,CAAC,gBAAA,EAAkB,wBAAwB;AAAA,GACzD;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,wFAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,wEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,+EAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"idris.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const idris = {\n  slug: \"idris\",\n  publishedDate: \"2009-01-01\",\n  extensions: [\".idr\", \".lidr\", \".ipkg\"],\n  author: \"Edwin Brady\",\n  website: \"https://www.idris-lang.org\",\n  paradigms: [\"functional\", \"dependently typed\", \"total\", \"statically typed\"],\n  tooling: {\n    runtimes: [\"Chez Scheme\", \"Racket\", \"JavaScript\", \"Node.js\"],\n    packageManagers: [\"pack\", \"idris2\"],\n    ecosystems: [\"Formal methods\", \"Functional programming\"],\n  },\n  version: \"0.8.0\",\n  logo: \"https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_idris.svg\",\n  i18n: {\n    en: {\n      name: \"Idris\",\n      description: \"A dependently typed functional language focused on practical programs.\",\n      longDescription:\n        \"Idris is a dependently typed functional programming language that brings theorem-proving ideas into general-purpose software development. Idris 2 adds a quantitative type system, totality checking, elaborator reflection, and multiple code generation backends.\\n\\nIt is used for type-driven development, language research, certified programming, education, and experiments where rich types help describe program behavior precisely.\",\n    },\n    es: {\n      name: \"Idris\",\n      description: \"Un lenguaje funcional con tipos dependientes enfocado en programas practicos.\",\n      longDescription:\n        \"Idris es un lenguaje de programacion funcional con tipos dependientes que lleva ideas de demostracion de teoremas al desarrollo general. Idris 2 agrega un sistema de tipos cuantitativo, chequeo de totalidad, reflexion de elaborador y multiples backends de generacion de codigo.\\n\\nSe usa en desarrollo guiado por tipos, investigacion de lenguajes, programacion certificada, educacion y experimentos donde tipos ricos ayudan a describir con precision el comportamiento de los programas.\",\n    },\n  },\n} satisfies Language;\n"]}

package/dist/languages/idris.d.cts

@@ -0,0 +1,29 @@
+declare const idris: {
+    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 { idris };

package/dist/languages/idris.d.ts

@@ -0,0 +1,29 @@
+declare const idris: {
+    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 { idris };

package/dist/languages/idris.js

@@ -0,0 +1,32 @@
+// src/languages/idris.ts
+var idris = {
+  slug: "idris",
+  publishedDate: "2009-01-01",
+  extensions: [".idr", ".lidr", ".ipkg"],
+  author: "Edwin Brady",
+  website: "https://www.idris-lang.org",
+  paradigms: ["functional", "dependently typed", "total", "statically typed"],
+  tooling: {
+    runtimes: ["Chez Scheme", "Racket", "JavaScript", "Node.js"],
+    packageManagers: ["pack", "idris2"],
+    ecosystems: ["Formal methods", "Functional programming"]
+  },
+  version: "0.8.0",
+  logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_idris.svg",
+  i18n: {
+    en: {
+      name: "Idris",
+      description: "A dependently typed functional language focused on practical programs.",
+      longDescription: "Idris is a dependently typed functional programming language that brings theorem-proving ideas into general-purpose software development. Idris 2 adds a quantitative type system, totality checking, elaborator reflection, and multiple code generation backends.\n\nIt is used for type-driven development, language research, certified programming, education, and experiments where rich types help describe program behavior precisely."
+    },
+    es: {
+      name: "Idris",
+      description: "Un lenguaje funcional con tipos dependientes enfocado en programas practicos.",
+      longDescription: "Idris es un lenguaje de programacion funcional con tipos dependientes que lleva ideas de demostracion de teoremas al desarrollo general. Idris 2 agrega un sistema de tipos cuantitativo, chequeo de totalidad, reflexion de elaborador y multiples backends de generacion de codigo.\n\nSe usa en desarrollo guiado por tipos, investigacion de lenguajes, programacion certificada, educacion y experimentos donde tipos ricos ayudan a describir con precision el comportamiento de los programas."
+    }
+  }
+};
+
+export { idris };
+//# sourceMappingURL=idris.js.map
+//# sourceMappingURL=idris.js.map

package/dist/languages/idris.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/languages/idris.ts"],"names":[],"mappings":";AAEO,IAAM,KAAA,GAAQ;AAAA,EACnB,IAAA,EAAM,OAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,MAAA,EAAQ,OAAA,EAAS,OAAO,CAAA;AAAA,EACrC,MAAA,EAAQ,aAAA;AAAA,EACR,OAAA,EAAS,4BAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,mBAAA,EAAqB,SAAS,kBAAkB,CAAA;AAAA,EAC1E,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,aAAA,EAAe,QAAA,EAAU,cAAc,SAAS,CAAA;AAAA,IAC3D,eAAA,EAAiB,CAAC,MAAA,EAAQ,QAAQ,CAAA;AAAA,IAClC,UAAA,EAAY,CAAC,gBAAA,EAAkB,wBAAwB;AAAA,GACzD;AAAA,EACA,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,wFAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,wEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,+EAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"idris.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const idris = {\n  slug: \"idris\",\n  publishedDate: \"2009-01-01\",\n  extensions: [\".idr\", \".lidr\", \".ipkg\"],\n  author: \"Edwin Brady\",\n  website: \"https://www.idris-lang.org\",\n  paradigms: [\"functional\", \"dependently typed\", \"total\", \"statically typed\"],\n  tooling: {\n    runtimes: [\"Chez Scheme\", \"Racket\", \"JavaScript\", \"Node.js\"],\n    packageManagers: [\"pack\", \"idris2\"],\n    ecosystems: [\"Formal methods\", \"Functional programming\"],\n  },\n  version: \"0.8.0\",\n  logo: \"https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_idris.svg\",\n  i18n: {\n    en: {\n      name: \"Idris\",\n      description: \"A dependently typed functional language focused on practical programs.\",\n      longDescription:\n        \"Idris is a dependently typed functional programming language that brings theorem-proving ideas into general-purpose software development. Idris 2 adds a quantitative type system, totality checking, elaborator reflection, and multiple code generation backends.\\n\\nIt is used for type-driven development, language research, certified programming, education, and experiments where rich types help describe program behavior precisely.\",\n    },\n    es: {\n      name: \"Idris\",\n      description: \"Un lenguaje funcional con tipos dependientes enfocado en programas practicos.\",\n      longDescription:\n        \"Idris es un lenguaje de programacion funcional con tipos dependientes que lleva ideas de demostracion de teoremas al desarrollo general. Idris 2 agrega un sistema de tipos cuantitativo, chequeo de totalidad, reflexion de elaborador y multiples backends de generacion de codigo.\\n\\nSe usa en desarrollo guiado por tipos, investigacion de lenguajes, programacion certificada, educacion y experimentos donde tipos ricos ayudan a describir con precision el comportamiento de los programas.\",\n    },\n  },\n} satisfies Language;\n"]}

package/dist/languages/janet.cjs

@@ -0,0 +1,34 @@
+'use strict';
+
+// src/languages/janet.ts
+var janet = {
+  slug: "janet",
+  publishedDate: "2017-09-01",
+  extensions: [".janet", ".jdn"],
+  author: "Calvin Rose",
+  website: "https://janet-lang.org",
+  paradigms: ["functional", "imperative", "lisp", "embedded"],
+  tooling: {
+    runtimes: ["Janet VM"],
+    packageManagers: ["jpm"],
+    ecosystems: ["Scripting", "Embedded systems", "Command-line tools"]
+  },
+  version: "1.39.1",
+  logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_janet.svg",
+  i18n: {
+    en: {
+      name: "Janet",
+      description: "A small Lisp-like language and embeddable runtime for scripting.",
+      longDescription: "Janet is a small Lisp-like programming language with a compact C implementation, fibers, tables, pattern matching, macros, and an embeddable runtime. It is designed for scripting, tools, and applications that need a lightweight extension language.\n\nIt is used for command-line programs, configuration, automation, embedding in native applications, and experiments that benefit from Lisp-style metaprogramming without a large runtime."
+    },
+    es: {
+      name: "Janet",
+      description: "Un lenguaje pequeno tipo Lisp y runtime embebible para scripting.",
+      longDescription: "Janet es un lenguaje de programacion pequeno tipo Lisp con una implementacion compacta en C, fibras, tablas, pattern matching, macros y un runtime embebible. Esta disenado para scripting, herramientas y aplicaciones que necesitan un lenguaje de extension liviano.\n\nSe usa en programas de linea de comandos, configuracion, automatizacion, embedding en aplicaciones nativas y experimentos que aprovechan metaprogramacion tipo Lisp sin un runtime grande."
+    }
+  }
+};
+
+exports.janet = janet;
+//# sourceMappingURL=janet.cjs.map
+//# sourceMappingURL=janet.cjs.map

package/dist/languages/janet.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/languages/janet.ts"],"names":[],"mappings":";;;AAEO,IAAM,KAAA,GAAQ;AAAA,EACnB,IAAA,EAAM,OAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,QAAA,EAAU,MAAM,CAAA;AAAA,EAC7B,MAAA,EAAQ,aAAA;AAAA,EACR,OAAA,EAAS,wBAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,YAAA,EAAc,QAAQ,UAAU,CAAA;AAAA,EAC1D,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,UAAU,CAAA;AAAA,IACrB,eAAA,EAAiB,CAAC,KAAK,CAAA;AAAA,IACvB,UAAA,EAAY,CAAC,WAAA,EAAa,kBAAA,EAAoB,oBAAoB;AAAA,GACpE;AAAA,EACA,OAAA,EAAS,QAAA;AAAA,EACT,IAAA,EAAM,wFAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,kEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,mEAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"janet.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const janet = {\n  slug: \"janet\",\n  publishedDate: \"2017-09-01\",\n  extensions: [\".janet\", \".jdn\"],\n  author: \"Calvin Rose\",\n  website: \"https://janet-lang.org\",\n  paradigms: [\"functional\", \"imperative\", \"lisp\", \"embedded\"],\n  tooling: {\n    runtimes: [\"Janet VM\"],\n    packageManagers: [\"jpm\"],\n    ecosystems: [\"Scripting\", \"Embedded systems\", \"Command-line tools\"],\n  },\n  version: \"1.39.1\",\n  logo: \"https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_janet.svg\",\n  i18n: {\n    en: {\n      name: \"Janet\",\n      description: \"A small Lisp-like language and embeddable runtime for scripting.\",\n      longDescription:\n        \"Janet is a small Lisp-like programming language with a compact C implementation, fibers, tables, pattern matching, macros, and an embeddable runtime. It is designed for scripting, tools, and applications that need a lightweight extension language.\\n\\nIt is used for command-line programs, configuration, automation, embedding in native applications, and experiments that benefit from Lisp-style metaprogramming without a large runtime.\",\n    },\n    es: {\n      name: \"Janet\",\n      description: \"Un lenguaje pequeno tipo Lisp y runtime embebible para scripting.\",\n      longDescription:\n        \"Janet es un lenguaje de programacion pequeno tipo Lisp con una implementacion compacta en C, fibras, tablas, pattern matching, macros y un runtime embebible. Esta disenado para scripting, herramientas y aplicaciones que necesitan un lenguaje de extension liviano.\\n\\nSe usa en programas de linea de comandos, configuracion, automatizacion, embedding en aplicaciones nativas y experimentos que aprovechan metaprogramacion tipo Lisp sin un runtime grande.\",\n    },\n  },\n} satisfies Language;\n"]}

package/dist/languages/janet.d.cts

@@ -0,0 +1,29 @@
+declare const janet: {
+    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 { janet };

package/dist/languages/janet.d.ts

@@ -0,0 +1,29 @@
+declare const janet: {
+    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 { janet };

package/dist/languages/janet.js

@@ -0,0 +1,32 @@
+// src/languages/janet.ts
+var janet = {
+  slug: "janet",
+  publishedDate: "2017-09-01",
+  extensions: [".janet", ".jdn"],
+  author: "Calvin Rose",
+  website: "https://janet-lang.org",
+  paradigms: ["functional", "imperative", "lisp", "embedded"],
+  tooling: {
+    runtimes: ["Janet VM"],
+    packageManagers: ["jpm"],
+    ecosystems: ["Scripting", "Embedded systems", "Command-line tools"]
+  },
+  version: "1.39.1",
+  logo: "https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_janet.svg",
+  i18n: {
+    en: {
+      name: "Janet",
+      description: "A small Lisp-like language and embeddable runtime for scripting.",
+      longDescription: "Janet is a small Lisp-like programming language with a compact C implementation, fibers, tables, pattern matching, macros, and an embeddable runtime. It is designed for scripting, tools, and applications that need a lightweight extension language.\n\nIt is used for command-line programs, configuration, automation, embedding in native applications, and experiments that benefit from Lisp-style metaprogramming without a large runtime."
+    },
+    es: {
+      name: "Janet",
+      description: "Un lenguaje pequeno tipo Lisp y runtime embebible para scripting.",
+      longDescription: "Janet es un lenguaje de programacion pequeno tipo Lisp con una implementacion compacta en C, fibras, tablas, pattern matching, macros y un runtime embebible. Esta disenado para scripting, herramientas y aplicaciones que necesitan un lenguaje de extension liviano.\n\nSe usa en programas de linea de comandos, configuracion, automatizacion, embedding en aplicaciones nativas y experimentos que aprovechan metaprogramacion tipo Lisp sin un runtime grande."
+    }
+  }
+};
+
+export { janet };
+//# sourceMappingURL=janet.js.map
+//# sourceMappingURL=janet.js.map

package/dist/languages/janet.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/languages/janet.ts"],"names":[],"mappings":";AAEO,IAAM,KAAA,GAAQ;AAAA,EACnB,IAAA,EAAM,OAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,QAAA,EAAU,MAAM,CAAA;AAAA,EAC7B,MAAA,EAAQ,aAAA;AAAA,EACR,OAAA,EAAS,wBAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,YAAA,EAAc,QAAQ,UAAU,CAAA;AAAA,EAC1D,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,UAAU,CAAA;AAAA,IACrB,eAAA,EAAiB,CAAC,KAAK,CAAA;AAAA,IACvB,UAAA,EAAY,CAAC,WAAA,EAAa,kBAAA,EAAoB,oBAAoB;AAAA,GACpE;AAAA,EACA,OAAA,EAAS,QAAA;AAAA,EACT,IAAA,EAAM,wFAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,kEAAA;AAAA,MACb,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa,mEAAA;AAAA,MACb,eAAA,EACE;AAAA;AACJ;AAEJ","file":"janet.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const janet = {\n  slug: \"janet\",\n  publishedDate: \"2017-09-01\",\n  extensions: [\".janet\", \".jdn\"],\n  author: \"Calvin Rose\",\n  website: \"https://janet-lang.org\",\n  paradigms: [\"functional\", \"imperative\", \"lisp\", \"embedded\"],\n  tooling: {\n    runtimes: [\"Janet VM\"],\n    packageManagers: [\"jpm\"],\n    ecosystems: [\"Scripting\", \"Embedded systems\", \"Command-line tools\"],\n  },\n  version: \"1.39.1\",\n  logo: \"https://cdn.jsdelivr.net/gh/vscode-icons/vscode-icons@master/icons/file_type_janet.svg\",\n  i18n: {\n    en: {\n      name: \"Janet\",\n      description: \"A small Lisp-like language and embeddable runtime for scripting.\",\n      longDescription:\n        \"Janet is a small Lisp-like programming language with a compact C implementation, fibers, tables, pattern matching, macros, and an embeddable runtime. It is designed for scripting, tools, and applications that need a lightweight extension language.\\n\\nIt is used for command-line programs, configuration, automation, embedding in native applications, and experiments that benefit from Lisp-style metaprogramming without a large runtime.\",\n    },\n    es: {\n      name: \"Janet\",\n      description: \"Un lenguaje pequeno tipo Lisp y runtime embebible para scripting.\",\n      longDescription:\n        \"Janet es un lenguaje de programacion pequeno tipo Lisp con una implementacion compacta en C, fibras, tablas, pattern matching, macros y un runtime embebible. Esta disenado para scripting, herramientas y aplicaciones que necesitan un lenguaje de extension liviano.\\n\\nSe usa en programas de linea de comandos, configuracion, automatizacion, embedding en aplicaciones nativas y experimentos que aprovechan metaprogramacion tipo Lisp sin un runtime grande.\",\n    },\n  },\n} satisfies Language;\n"]}

package/dist/languages/lean.cjs

@@ -0,0 +1,34 @@
+'use strict';
+
+// src/languages/lean.ts
+var lean = {
+  slug: "lean",
+  publishedDate: "2013-06-16",
+  extensions: [".lean"],
+  author: "Leonardo de Moura / Microsoft Research",
+  website: "https://lean-lang.org",
+  paradigms: ["functional", "dependently typed", "proof-oriented", "metaprogramming"],
+  tooling: {
+    runtimes: ["Lean"],
+    packageManagers: ["Lake", "elan"],
+    ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
+  },
+  version: "4.29.1",
+  logo: "https://cdn.simpleicons.org/leanpub/262425",
+  i18n: {
+    en: {
+      name: "Lean",
+      description: "A theorem prover and functional language for formalized mathematics and software.",
+      longDescription: "Lean is a theorem prover and dependently typed functional programming language. Lean 4 includes an efficient compiler, extensible syntax, metaprogramming facilities, tactics, and tooling for large formalization projects.\n\nIt is used in formalized mathematics, program verification, theorem proving research, educational games, and software projects where proofs and executable definitions can evolve together."
+    },
+    es: {
+      name: "Lean",
+      description: "Un demostrador de teoremas y lenguaje funcional para matematica y software formalizados.",
+      longDescription: "Lean es un demostrador de teoremas y lenguaje funcional con tipos dependientes. Lean 4 incluye un compilador eficiente, sintaxis extensible, metaprogramacion, tacticas y herramientas para grandes proyectos de formalizacion.\n\nSe usa en matematica formalizada, verificacion de programas, investigacion en demostracion de teoremas, juegos educativos y proyectos donde pruebas y definiciones ejecutables pueden evolucionar juntas."
+    }
+  }
+};
+
+exports.lean = lean;
+//# sourceMappingURL=lean.cjs.map
+//# sourceMappingURL=lean.cjs.map

package/dist/languages/lean.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/languages/lean.ts"],"names":[],"mappings":";;;AAEO,IAAM,IAAA,GAAO;AAAA,EAClB,IAAA,EAAM,MAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,OAAO,CAAA;AAAA,EACpB,MAAA,EAAQ,wCAAA;AAAA,EACR,OAAA,EAAS,uBAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,mBAAA,EAAqB,kBAAkB,iBAAiB,CAAA;AAAA,EAClF,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,MAAM,CAAA;AAAA,IACjB,eAAA,EAAiB,CAAC,MAAA,EAAQ,MAAM,CAAA;AAAA,IAChC,UAAA,EAAY,CAAC,gBAAA,EAAkB,aAAA,EAAe,kBAAkB;AAAA,GAClE;AAAA,EACA,OAAA,EAAS,QAAA;AAAA,EACT,IAAA,EAAM,4CAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EACE,mFAAA;AAAA,MACF,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EACE,0FAAA;AAAA,MACF,eAAA,EACE;AAAA;AACJ;AAEJ","file":"lean.cjs","sourcesContent":["import type { Language } from \"../types\";\n\nexport const lean = {\n  slug: \"lean\",\n  publishedDate: \"2013-06-16\",\n  extensions: [\".lean\"],\n  author: \"Leonardo de Moura / Microsoft Research\",\n  website: \"https://lean-lang.org\",\n  paradigms: [\"functional\", \"dependently typed\", \"proof-oriented\", \"metaprogramming\"],\n  tooling: {\n    runtimes: [\"Lean\"],\n    packageManagers: [\"Lake\", \"elan\"],\n    ecosystems: [\"Formal methods\", \"Mathematics\", \"Proof assistants\"],\n  },\n  version: \"4.29.1\",\n  logo: \"https://cdn.simpleicons.org/leanpub/262425\",\n  i18n: {\n    en: {\n      name: \"Lean\",\n      description:\n        \"A theorem prover and functional language for formalized mathematics and software.\",\n      longDescription:\n        \"Lean is a theorem prover and dependently typed functional programming language. Lean 4 includes an efficient compiler, extensible syntax, metaprogramming facilities, tactics, and tooling for large formalization projects.\\n\\nIt is used in formalized mathematics, program verification, theorem proving research, educational games, and software projects where proofs and executable definitions can evolve together.\",\n    },\n    es: {\n      name: \"Lean\",\n      description:\n        \"Un demostrador de teoremas y lenguaje funcional para matematica y software formalizados.\",\n      longDescription:\n        \"Lean es un demostrador de teoremas y lenguaje funcional con tipos dependientes. Lean 4 incluye un compilador eficiente, sintaxis extensible, metaprogramacion, tacticas y herramientas para grandes proyectos de formalizacion.\\n\\nSe usa en matematica formalizada, verificacion de programas, investigacion en demostracion de teoremas, juegos educativos y proyectos donde pruebas y definiciones ejecutables pueden evolucionar juntas.\",\n    },\n  },\n} satisfies Language;\n"]}

package/dist/languages/lean.d.cts

@@ -0,0 +1,29 @@
+declare const lean: {
+    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 { lean };

package/dist/languages/lean.d.ts

@@ -0,0 +1,29 @@
+declare const lean: {
+    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 { lean };

package/dist/languages/lean.js

@@ -0,0 +1,32 @@
+// src/languages/lean.ts
+var lean = {
+  slug: "lean",
+  publishedDate: "2013-06-16",
+  extensions: [".lean"],
+  author: "Leonardo de Moura / Microsoft Research",
+  website: "https://lean-lang.org",
+  paradigms: ["functional", "dependently typed", "proof-oriented", "metaprogramming"],
+  tooling: {
+    runtimes: ["Lean"],
+    packageManagers: ["Lake", "elan"],
+    ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
+  },
+  version: "4.29.1",
+  logo: "https://cdn.simpleicons.org/leanpub/262425",
+  i18n: {
+    en: {
+      name: "Lean",
+      description: "A theorem prover and functional language for formalized mathematics and software.",
+      longDescription: "Lean is a theorem prover and dependently typed functional programming language. Lean 4 includes an efficient compiler, extensible syntax, metaprogramming facilities, tactics, and tooling for large formalization projects.\n\nIt is used in formalized mathematics, program verification, theorem proving research, educational games, and software projects where proofs and executable definitions can evolve together."
+    },
+    es: {
+      name: "Lean",
+      description: "Un demostrador de teoremas y lenguaje funcional para matematica y software formalizados.",
+      longDescription: "Lean es un demostrador de teoremas y lenguaje funcional con tipos dependientes. Lean 4 incluye un compilador eficiente, sintaxis extensible, metaprogramacion, tacticas y herramientas para grandes proyectos de formalizacion.\n\nSe usa en matematica formalizada, verificacion de programas, investigacion en demostracion de teoremas, juegos educativos y proyectos donde pruebas y definiciones ejecutables pueden evolucionar juntas."
+    }
+  }
+};
+
+export { lean };
+//# sourceMappingURL=lean.js.map
+//# sourceMappingURL=lean.js.map

package/dist/languages/lean.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/languages/lean.ts"],"names":[],"mappings":";AAEO,IAAM,IAAA,GAAO;AAAA,EAClB,IAAA,EAAM,MAAA;AAAA,EACN,aAAA,EAAe,YAAA;AAAA,EACf,UAAA,EAAY,CAAC,OAAO,CAAA;AAAA,EACpB,MAAA,EAAQ,wCAAA;AAAA,EACR,OAAA,EAAS,uBAAA;AAAA,EACT,SAAA,EAAW,CAAC,YAAA,EAAc,mBAAA,EAAqB,kBAAkB,iBAAiB,CAAA;AAAA,EAClF,OAAA,EAAS;AAAA,IACP,QAAA,EAAU,CAAC,MAAM,CAAA;AAAA,IACjB,eAAA,EAAiB,CAAC,MAAA,EAAQ,MAAM,CAAA;AAAA,IAChC,UAAA,EAAY,CAAC,gBAAA,EAAkB,aAAA,EAAe,kBAAkB;AAAA,GAClE;AAAA,EACA,OAAA,EAAS,QAAA;AAAA,EACT,IAAA,EAAM,4CAAA;AAAA,EACN,IAAA,EAAM;AAAA,IACJ,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EACE,mFAAA;AAAA,MACF,eAAA,EACE;AAAA,KACJ;AAAA,IACA,EAAA,EAAI;AAAA,MACF,IAAA,EAAM,MAAA;AAAA,MACN,WAAA,EACE,0FAAA;AAAA,MACF,eAAA,EACE;AAAA;AACJ;AAEJ","file":"lean.js","sourcesContent":["import type { Language } from \"../types\";\n\nexport const lean = {\n  slug: \"lean\",\n  publishedDate: \"2013-06-16\",\n  extensions: [\".lean\"],\n  author: \"Leonardo de Moura / Microsoft Research\",\n  website: \"https://lean-lang.org\",\n  paradigms: [\"functional\", \"dependently typed\", \"proof-oriented\", \"metaprogramming\"],\n  tooling: {\n    runtimes: [\"Lean\"],\n    packageManagers: [\"Lake\", \"elan\"],\n    ecosystems: [\"Formal methods\", \"Mathematics\", \"Proof assistants\"],\n  },\n  version: \"4.29.1\",\n  logo: \"https://cdn.simpleicons.org/leanpub/262425\",\n  i18n: {\n    en: {\n      name: \"Lean\",\n      description:\n        \"A theorem prover and functional language for formalized mathematics and software.\",\n      longDescription:\n        \"Lean is a theorem prover and dependently typed functional programming language. Lean 4 includes an efficient compiler, extensible syntax, metaprogramming facilities, tactics, and tooling for large formalization projects.\\n\\nIt is used in formalized mathematics, program verification, theorem proving research, educational games, and software projects where proofs and executable definitions can evolve together.\",\n    },\n    es: {\n      name: \"Lean\",\n      description:\n        \"Un demostrador de teoremas y lenguaje funcional para matematica y software formalizados.\",\n      longDescription:\n        \"Lean es un demostrador de teoremas y lenguaje funcional con tipos dependientes. Lean 4 incluye un compilador eficiente, sintaxis extensible, metaprogramacion, tacticas y herramientas para grandes proyectos de formalizacion.\\n\\nSe usa en matematica formalizada, verificacion de programas, investigacion en demostracion de teoremas, juegos educativos y proyectos donde pruebas y definiciones ejecutables pueden evolucionar juntas.\",\n    },\n  },\n} satisfies Language;\n"]}