code-languages 1.29.1 → 1.30.1

package/dist/{language-registry-CehUh46c.d.cts → language-registry-BQKRHyKo.d.cts}

@@ -122,6 +122,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "d";
     readonly extensions: readonly [".d", ".di"];
+}, {
+    readonly slug: "dafny";
+    readonly extensions: readonly [".dfy"];
 }, {
     readonly slug: "dart";
     readonly extensions: readonly [".dart"];
@@ -134,6 +137,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "dockerfile";
     readonly extensions: readonly ["Dockerfile", ".dockerfile"];
+}, {
+    readonly slug: "ejs";
+    readonly extensions: readonly [".ejs"];
 }, {
     readonly slug: "eiffel";
     readonly extensions: readonly [".e"];
@@ -161,6 +167,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "flux";
     readonly extensions: readonly [".flux"];
+}, {
+    readonly slug: "freemarker";
+    readonly extensions: readonly [".ftl", ".ftlh", ".ftlx"];
 }, {
     readonly slug: "fortran";
     readonly extensions: readonly [".f", ".for", ".ftn", ".f90", ".f95", ".f03", ".f08", ".f18", ".f23"];
@@ -170,6 +179,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "fsharp";
     readonly extensions: readonly [".fs", ".fsi", ".fsx", ".fsscript"];
+}, {
+    readonly slug: "fstar";
+    readonly extensions: readonly [".fst", ".fsti"];
 }, {
     readonly slug: "gdscript";
     readonly extensions: readonly [".gd"];
@@ -236,6 +248,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "ini";
     readonly extensions: readonly [".ini"];
+}, {
+    readonly slug: "isabelle";
+    readonly extensions: readonly [".thy"];
 }, {
     readonly slug: "java";
     readonly extensions: readonly [".java"];
@@ -254,6 +269,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "json5";
     readonly extensions: readonly [".json5"];
+}, {
+    readonly slug: "jsonc";
+    readonly extensions: readonly [".jsonc", ".code-workspace"];
 }, {
     readonly slug: "jsonnet";
     readonly extensions: readonly [".jsonnet", ".libsonnet"];
@@ -263,9 +281,15 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "julia";
     readonly extensions: readonly [".jl"];
+}, {
+    readonly slug: "just";
+    readonly extensions: readonly ["justfile", "Justfile", ".just"];
 }, {
     readonly slug: "kcl";
     readonly extensions: readonly [".k", ".kcl"];
+}, {
+    readonly slug: "kdl";
+    readonly extensions: readonly [".kdl"];
 }, {
     readonly slug: "kotlin";
     readonly extensions: readonly [".kt", ".kts"];
@@ -362,6 +386,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "opencl";
     readonly extensions: readonly [".cl", ".clh"];
+}, {
+    readonly slug: "openapi";
+    readonly extensions: readonly [".openapi.json", ".openapi.yaml", ".openapi.yml"];
 }, {
     readonly slug: "pascal";
     readonly extensions: readonly [".pas", ".pp", ".inc", ".lpr", ".dpr", ".dfm"];
@@ -401,6 +428,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "pug";
     readonly extensions: readonly [".pug", ".jade"];
+}, {
+    readonly slug: "puppet";
+    readonly extensions: readonly [".pp", ".epp"];
 }, {
     readonly slug: "purescript";
     readonly extensions: readonly [".purs"];

package/dist/{language-registry-CehUh46c.d.ts → language-registry-BQKRHyKo.d.ts}

@@ -122,6 +122,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "d";
     readonly extensions: readonly [".d", ".di"];
+}, {
+    readonly slug: "dafny";
+    readonly extensions: readonly [".dfy"];
 }, {
     readonly slug: "dart";
     readonly extensions: readonly [".dart"];
@@ -134,6 +137,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "dockerfile";
     readonly extensions: readonly ["Dockerfile", ".dockerfile"];
+}, {
+    readonly slug: "ejs";
+    readonly extensions: readonly [".ejs"];
 }, {
     readonly slug: "eiffel";
     readonly extensions: readonly [".e"];
@@ -161,6 +167,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "flux";
     readonly extensions: readonly [".flux"];
+}, {
+    readonly slug: "freemarker";
+    readonly extensions: readonly [".ftl", ".ftlh", ".ftlx"];
 }, {
     readonly slug: "fortran";
     readonly extensions: readonly [".f", ".for", ".ftn", ".f90", ".f95", ".f03", ".f08", ".f18", ".f23"];
@@ -170,6 +179,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "fsharp";
     readonly extensions: readonly [".fs", ".fsi", ".fsx", ".fsscript"];
+}, {
+    readonly slug: "fstar";
+    readonly extensions: readonly [".fst", ".fsti"];
 }, {
     readonly slug: "gdscript";
     readonly extensions: readonly [".gd"];
@@ -236,6 +248,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "ini";
     readonly extensions: readonly [".ini"];
+}, {
+    readonly slug: "isabelle";
+    readonly extensions: readonly [".thy"];
 }, {
     readonly slug: "java";
     readonly extensions: readonly [".java"];
@@ -254,6 +269,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "json5";
     readonly extensions: readonly [".json5"];
+}, {
+    readonly slug: "jsonc";
+    readonly extensions: readonly [".jsonc", ".code-workspace"];
 }, {
     readonly slug: "jsonnet";
     readonly extensions: readonly [".jsonnet", ".libsonnet"];
@@ -263,9 +281,15 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "julia";
     readonly extensions: readonly [".jl"];
+}, {
+    readonly slug: "just";
+    readonly extensions: readonly ["justfile", "Justfile", ".just"];
 }, {
     readonly slug: "kcl";
     readonly extensions: readonly [".k", ".kcl"];
+}, {
+    readonly slug: "kdl";
+    readonly extensions: readonly [".kdl"];
 }, {
     readonly slug: "kotlin";
     readonly extensions: readonly [".kt", ".kts"];
@@ -362,6 +386,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "opencl";
     readonly extensions: readonly [".cl", ".clh"];
+}, {
+    readonly slug: "openapi";
+    readonly extensions: readonly [".openapi.json", ".openapi.yaml", ".openapi.yml"];
 }, {
     readonly slug: "pascal";
     readonly extensions: readonly [".pas", ".pp", ".inc", ".lpr", ".dpr", ".dfm"];
@@ -401,6 +428,9 @@ declare const languageIndex: readonly [{
 }, {
     readonly slug: "pug";
     readonly extensions: readonly [".pug", ".jade"];
+}, {
+    readonly slug: "puppet";
+    readonly extensions: readonly [".pp", ".epp"];
 }, {
     readonly slug: "purescript";
     readonly extensions: readonly [".purs"];

package/dist/languages/dafny.cjs

@@ -0,0 +1,33 @@
+'use strict';
+
+// src/languages/dafny.ts
+var dafny = {
+  slug: "dafny",
+  publishedDate: "2009-01-01",
+  extensions: [".dfy"],
+  author: "K. Rustan M. Leino / Microsoft Research",
+  website: "https://dafny.org",
+  paradigms: ["imperative", "functional", "object-oriented", "formal verification"],
+  tooling: {
+    runtimes: [".NET", "Java", "JavaScript", "Go", "Python"],
+    packageManagers: ["NuGet", "Homebrew"],
+    ecosystems: ["Formal Methods", ".NET", "Verification"]
+  },
+  version: "4.11.0",
+  logo: "https://dummyimage.com/32x32/0B6D91/ffffff.png&text=D",
+  color: "#0B6D91",
+  i18n: {
+    en: {
+      name: "Dafny",
+      description: "A verification-aware programming language with specifications, proofs, and compilation to several mainstream targets.",
+      longDescription: "Dafny is a programming language and verifier designed for writing correct-by-construction software. Programs can include preconditions, postconditions, invariants, termination metrics, and assertions that are checked by an automated verifier.\n\nIt combines imperative, functional, and object-oriented features with formal specification syntax. Dafny code can be compiled to targets such as C#, Java, JavaScript, Go, and Python, making it useful for teaching, research, and high-assurance software components."
+    },
+    es: {
+      name: "Dafny",
+      description: "Lenguaje de programacion orientado a verificacion, con especificaciones, pruebas y compilacion a varios destinos comunes.",
+      longDescription: "Dafny es un lenguaje de programacion y verificador pensado para escribir software correcto por construccion. Los programas pueden incluir precondiciones, postcondiciones, invariantes, metricas de terminacion y aserciones que revisa un verificador automatico.\n\nCombina rasgos imperativos, funcionales y orientados a objetos con sintaxis de especificacion formal. El codigo Dafny puede compilarse a destinos como C#, Java, JavaScript, Go y Python."
+    }
+  }
+};
+
+exports.dafny = dafny;

package/dist/languages/dafny.d.cts

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

package/dist/languages/dafny.d.ts

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

package/dist/languages/dafny.js

@@ -0,0 +1,31 @@
+// src/languages/dafny.ts
+var dafny = {
+  slug: "dafny",
+  publishedDate: "2009-01-01",
+  extensions: [".dfy"],
+  author: "K. Rustan M. Leino / Microsoft Research",
+  website: "https://dafny.org",
+  paradigms: ["imperative", "functional", "object-oriented", "formal verification"],
+  tooling: {
+    runtimes: [".NET", "Java", "JavaScript", "Go", "Python"],
+    packageManagers: ["NuGet", "Homebrew"],
+    ecosystems: ["Formal Methods", ".NET", "Verification"]
+  },
+  version: "4.11.0",
+  logo: "https://dummyimage.com/32x32/0B6D91/ffffff.png&text=D",
+  color: "#0B6D91",
+  i18n: {
+    en: {
+      name: "Dafny",
+      description: "A verification-aware programming language with specifications, proofs, and compilation to several mainstream targets.",
+      longDescription: "Dafny is a programming language and verifier designed for writing correct-by-construction software. Programs can include preconditions, postconditions, invariants, termination metrics, and assertions that are checked by an automated verifier.\n\nIt combines imperative, functional, and object-oriented features with formal specification syntax. Dafny code can be compiled to targets such as C#, Java, JavaScript, Go, and Python, making it useful for teaching, research, and high-assurance software components."
+    },
+    es: {
+      name: "Dafny",
+      description: "Lenguaje de programacion orientado a verificacion, con especificaciones, pruebas y compilacion a varios destinos comunes.",
+      longDescription: "Dafny es un lenguaje de programacion y verificador pensado para escribir software correcto por construccion. Los programas pueden incluir precondiciones, postcondiciones, invariantes, metricas de terminacion y aserciones que revisa un verificador automatico.\n\nCombina rasgos imperativos, funcionales y orientados a objetos con sintaxis de especificacion formal. El codigo Dafny puede compilarse a destinos como C#, Java, JavaScript, Go y Python."
+    }
+  }
+};
+
+export { dafny };

package/dist/languages/ejs.cjs

@@ -0,0 +1,33 @@
+'use strict';
+
+// src/languages/ejs.ts
+var ejs = {
+  slug: "ejs",
+  publishedDate: "2011-02-01",
+  extensions: [".ejs"],
+  author: "Matthew Eernisse",
+  website: "https://ejs.co",
+  paradigms: ["template", "embedded", "imperative"],
+  tooling: {
+    runtimes: ["Node.js", "Browser"],
+    packageManagers: ["npm", "pnpm", "Yarn"],
+    ecosystems: ["JavaScript", "Web", "Express"]
+  },
+  version: "3.1.10",
+  logo: "https://cdn.simpleicons.org/ejs/B4CA65",
+  color: "#B4CA65",
+  i18n: {
+    en: {
+      name: "EJS",
+      description: "An embedded JavaScript templating language for generating HTML and text from familiar JavaScript expressions.",
+      longDescription: "EJS, short for Embedded JavaScript, is a templating language that lets developers generate markup with ordinary JavaScript control flow and interpolation. Templates are commonly used to render server-side HTML in Node.js applications.\n\nIt is intentionally small and direct: template files mix literal output with tags for evaluation, escaped output, and unescaped output. EJS is popular in Express applications, documentation generators, and simple build workflows."
+    },
+    es: {
+      name: "EJS",
+      description: "Lenguaje de plantillas con JavaScript embebido para generar HTML y texto usando expresiones familiares.",
+      longDescription: "EJS, abreviatura de Embedded JavaScript, es un lenguaje de plantillas que permite generar marcado con interpolacion y control de flujo de JavaScript. Se usa con frecuencia para renderizar HTML del lado del servidor en aplicaciones Node.js.\n\nEs pequeno y directo: los archivos mezclan salida literal con etiquetas para evaluacion, salida escapada y salida sin escapar. EJS es comun en aplicaciones Express, generadores de documentacion y flujos de build simples."
+    }
+  }
+};
+
+exports.ejs = ejs;

package/dist/languages/ejs.d.cts

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

package/dist/languages/ejs.d.ts

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

package/dist/languages/ejs.js

@@ -0,0 +1,31 @@
+// src/languages/ejs.ts
+var ejs = {
+  slug: "ejs",
+  publishedDate: "2011-02-01",
+  extensions: [".ejs"],
+  author: "Matthew Eernisse",
+  website: "https://ejs.co",
+  paradigms: ["template", "embedded", "imperative"],
+  tooling: {
+    runtimes: ["Node.js", "Browser"],
+    packageManagers: ["npm", "pnpm", "Yarn"],
+    ecosystems: ["JavaScript", "Web", "Express"]
+  },
+  version: "3.1.10",
+  logo: "https://cdn.simpleicons.org/ejs/B4CA65",
+  color: "#B4CA65",
+  i18n: {
+    en: {
+      name: "EJS",
+      description: "An embedded JavaScript templating language for generating HTML and text from familiar JavaScript expressions.",
+      longDescription: "EJS, short for Embedded JavaScript, is a templating language that lets developers generate markup with ordinary JavaScript control flow and interpolation. Templates are commonly used to render server-side HTML in Node.js applications.\n\nIt is intentionally small and direct: template files mix literal output with tags for evaluation, escaped output, and unescaped output. EJS is popular in Express applications, documentation generators, and simple build workflows."
+    },
+    es: {
+      name: "EJS",
+      description: "Lenguaje de plantillas con JavaScript embebido para generar HTML y texto usando expresiones familiares.",
+      longDescription: "EJS, abreviatura de Embedded JavaScript, es un lenguaje de plantillas que permite generar marcado con interpolacion y control de flujo de JavaScript. Se usa con frecuencia para renderizar HTML del lado del servidor en aplicaciones Node.js.\n\nEs pequeno y directo: los archivos mezclan salida literal con etiquetas para evaluacion, salida escapada y salida sin escapar. EJS es comun en aplicaciones Express, generadores de documentacion y flujos de build simples."
+    }
+  }
+};
+
+export { ejs };

package/dist/languages/freemarker.cjs

@@ -0,0 +1,33 @@
+'use strict';
+
+// src/languages/freemarker.ts
+var freemarker = {
+  slug: "freemarker",
+  publishedDate: "1999-01-01",
+  extensions: [".ftl", ".ftlh", ".ftlx"],
+  author: "Apache Software Foundation",
+  website: "https://freemarker.apache.org",
+  paradigms: ["template", "declarative"],
+  tooling: {
+    runtimes: ["JVM"],
+    packageManagers: ["Maven", "Gradle"],
+    ecosystems: ["Java", "Web", "Apache"]
+  },
+  version: "2.3.34",
+  logo: "https://dummyimage.com/32x32/326CE5/ffffff.png&text=FM",
+  color: "#326CE5",
+  i18n: {
+    en: {
+      name: "FreeMarker",
+      description: "A JVM template language used to generate HTML, emails, configuration files, and other text output.",
+      longDescription: "Apache FreeMarker is a template engine and template language for Java applications. It separates presentation text from application code and can generate HTML pages, emails, source files, configuration files, and other structured text.\n\nFreeMarker templates use expressions, directives, macros, includes, and data-model access rather than embedding Java code directly. It is common in server-side Java web applications and code generation workflows."
+    },
+    es: {
+      name: "FreeMarker",
+      description: "Lenguaje de plantillas para la JVM usado para generar HTML, correos, configuracion y otras salidas de texto.",
+      longDescription: "Apache FreeMarker es un motor y lenguaje de plantillas para aplicaciones Java. Separa el texto de presentacion del codigo de aplicacion y puede generar paginas HTML, correos, codigo fuente, archivos de configuracion y otros textos estructurados.\n\nLas plantillas FreeMarker usan expresiones, directivas, macros, inclusiones y acceso a modelos de datos en lugar de embeber codigo Java directamente."
+    }
+  }
+};
+
+exports.freemarker = freemarker;

package/dist/languages/freemarker.d.cts

@@ -0,0 +1,30 @@
+declare const freemarker: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    color: "#326CE5";
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { freemarker };

package/dist/languages/freemarker.d.ts

@@ -0,0 +1,30 @@
+declare const freemarker: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    color: "#326CE5";
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { freemarker };

package/dist/languages/freemarker.js

@@ -0,0 +1,31 @@
+// src/languages/freemarker.ts
+var freemarker = {
+  slug: "freemarker",
+  publishedDate: "1999-01-01",
+  extensions: [".ftl", ".ftlh", ".ftlx"],
+  author: "Apache Software Foundation",
+  website: "https://freemarker.apache.org",
+  paradigms: ["template", "declarative"],
+  tooling: {
+    runtimes: ["JVM"],
+    packageManagers: ["Maven", "Gradle"],
+    ecosystems: ["Java", "Web", "Apache"]
+  },
+  version: "2.3.34",
+  logo: "https://dummyimage.com/32x32/326CE5/ffffff.png&text=FM",
+  color: "#326CE5",
+  i18n: {
+    en: {
+      name: "FreeMarker",
+      description: "A JVM template language used to generate HTML, emails, configuration files, and other text output.",
+      longDescription: "Apache FreeMarker is a template engine and template language for Java applications. It separates presentation text from application code and can generate HTML pages, emails, source files, configuration files, and other structured text.\n\nFreeMarker templates use expressions, directives, macros, includes, and data-model access rather than embedding Java code directly. It is common in server-side Java web applications and code generation workflows."
+    },
+    es: {
+      name: "FreeMarker",
+      description: "Lenguaje de plantillas para la JVM usado para generar HTML, correos, configuracion y otras salidas de texto.",
+      longDescription: "Apache FreeMarker es un motor y lenguaje de plantillas para aplicaciones Java. Separa el texto de presentacion del codigo de aplicacion y puede generar paginas HTML, correos, codigo fuente, archivos de configuracion y otros textos estructurados.\n\nLas plantillas FreeMarker usan expresiones, directivas, macros, inclusiones y acceso a modelos de datos en lugar de embeber codigo Java directamente."
+    }
+  }
+};
+
+export { freemarker };

package/dist/languages/fstar.cjs

@@ -0,0 +1,33 @@
+'use strict';
+
+// src/languages/fstar.ts
+var fstar = {
+  slug: "fstar",
+  publishedDate: "2011-01-01",
+  extensions: [".fst", ".fsti"],
+  author: "Microsoft Research / INRIA",
+  website: "https://www.fstar-lang.org",
+  paradigms: ["functional", "dependent types", "formal verification"],
+  tooling: {
+    runtimes: ["F* toolchain", "OCaml", "F#", "C"],
+    packageManagers: ["opam", "NuGet"],
+    ecosystems: ["Formal Methods", "ML", "Low-level Verification"]
+  },
+  version: "2026.04.17",
+  logo: "https://dummyimage.com/32x32/572E91/ffffff.png&text=F%2A",
+  color: "#572E91",
+  i18n: {
+    en: {
+      name: "F*",
+      description: "A dependently typed functional language for program verification, proofs, and extraction to executable code.",
+      longDescription: "F* is a verification-oriented functional language with dependent types, refinement types, effects, and proof automation. It is used to specify and verify functional correctness, security properties, and low-level systems code.\n\nPrograms and proofs can be checked by the F* toolchain and extracted to targets such as OCaml, F#, and C through related tooling. The language is used in research and high-assurance projects where executable code and machine-checked proofs need to stay close together."
+    },
+    es: {
+      name: "F*",
+      description: "Lenguaje funcional con tipos dependientes para verificacion de programas, pruebas y extraccion a codigo ejecutable.",
+      longDescription: "F* es un lenguaje funcional orientado a verificacion con tipos dependientes, tipos refinados, efectos y automatizacion de pruebas. Se usa para especificar y verificar correccion funcional, propiedades de seguridad y codigo de sistemas de bajo nivel.\n\nLos programas y pruebas se revisan con la cadena de herramientas de F* y pueden extraerse a destinos como OCaml, F# y C mediante herramientas relacionadas."
+    }
+  }
+};
+
+exports.fstar = fstar;

package/dist/languages/fstar.d.cts

@@ -0,0 +1,30 @@
+declare const fstar: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    color: "#572E91";
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { fstar };

package/dist/languages/fstar.d.ts

@@ -0,0 +1,30 @@
+declare const fstar: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        packageManagers: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    color: "#572E91";
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { fstar };