code-languages 1.29.1 → 1.30.1

package/dist/detect.js

@@ -2034,6 +2034,36 @@ var d = {
   }
 };
 
+// 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."
+    }
+  }
+};
+
 // src/languages/dart.ts
 var dart = {
   slug: "dart",
@@ -2333,6 +2363,36 @@ var eiffel = {
   }
 };
 
+// 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."
+    }
+  }
+};
+
 // src/languages/elixir.ts
 var elixir = {
   slug: "elixir",
@@ -2781,6 +2841,36 @@ var fortran = {
   }
 };
 
+// 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."
+    }
+  }
+};
+
 // src/languages/fsharp.ts
 var fsharp = {
   slug: "fsharp",
@@ -2831,6 +2921,36 @@ var fsharp = {
   }
 };
 
+// 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."
+    }
+  }
+};
+
 // src/languages/gdscript.ts
 var gdscript = {
   slug: "gdscript",
@@ -3921,6 +4041,35 @@ var ini = {
   }
 };
 
+// src/languages/isabelle.ts
+var isabelle = {
+  slug: "isabelle",
+  publishedDate: "1986-01-01",
+  extensions: [".thy"],
+  author: "Lawrence Paulson / University of Cambridge and TU Munich",
+  website: "https://isabelle.in.tum.de",
+  paradigms: ["theorem proving", "declarative", "functional"],
+  tooling: {
+    runtimes: ["Isabelle/jEdit", "Poly/ML", "Scala"],
+    ecosystems: ["Formal Methods", "Proof Assistants", "Higher-order Logic"]
+  },
+  version: "Isabelle2025-2",
+  logo: "https://dummyimage.com/32x32/6A5ACD/ffffff.png&text=Is",
+  color: "#6A5ACD",
+  i18n: {
+    en: {
+      name: "Isabelle",
+      description: "A proof assistant and theory language for machine-checked mathematics, logic, and formal verification.",
+      longDescription: "Isabelle is a generic proof assistant with a rich theory language used to develop machine-checked mathematics and formal verification projects. Its most common object logic is Isabelle/HOL, a higher-order logic used in many academic and industrial verification efforts.\n\nIsabelle theory files combine definitions, lemmas, structured Isar proofs, automation, and document-oriented markup. The system includes an IDE, libraries, code generation support, and integrations with external automated provers."
+    },
+    es: {
+      name: "Isabelle",
+      description: "Asistente de pruebas y lenguaje de teorias para matematica, logica y verificacion formal comprobadas por maquina.",
+      longDescription: "Isabelle es un asistente de pruebas generico con un lenguaje de teorias usado para desarrollar matematica comprobada por maquina y proyectos de verificacion formal. Su logica objeto mas comun es Isabelle/HOL, una logica de orden superior usada en muchos trabajos academicos e industriales.\n\nLos archivos de teoria combinan definiciones, lemas, pruebas estructuradas Isar, automatizacion y marcado orientado a documentos."
+    }
+  }
+};
+
 // src/languages/janet.ts
 var janet = {
   slug: "janet",
@@ -4216,6 +4365,35 @@ var json5 = {
   }
 };
 
+// src/languages/jsonc.ts
+var jsonc = {
+  slug: "jsonc",
+  publishedDate: "2015-04-29",
+  extensions: [".jsonc", ".code-workspace"],
+  author: "Microsoft",
+  website: "https://jsonc.org",
+  paradigms: ["data serialization", "configuration"],
+  tooling: {
+    runtimes: ["Editors", "Build tools"],
+    ecosystems: ["JavaScript", "TypeScript", "Configuration"]
+  },
+  version: "JSON with Comments",
+  logo: "https://raw.githubusercontent.com/vscode-icons/vscode-icons/master/icons/file_type_json.svg",
+  color: "#F5DE19",
+  i18n: {
+    en: {
+      name: "JSONC",
+      description: "A JSON-compatible configuration format that permits JavaScript-style comments and optional editor-friendly extensions.",
+      longDescription: "JSONC, or JSON with Comments, is a JSON-derived configuration format that allows comments while preserving the familiar JSON data model. It is widely recognized because Visual Studio Code uses it for settings, launch configurations, and workspace files.\n\nThe format is intended for human-maintained configuration rather than data interchange between services. Tooling usually parses JSONC into ordinary JSON-like values after stripping comments and handling the accepted extensions."
+    },
+    es: {
+      name: "JSONC",
+      description: "Formato de configuracion compatible con JSON que permite comentarios estilo JavaScript y extensiones amigables para editores.",
+      longDescription: "JSONC, o JSON con comentarios, es un formato de configuracion derivado de JSON que permite comentarios sin abandonar el modelo de datos familiar. Es muy conocido porque Visual Studio Code lo usa en ajustes, configuraciones de ejecucion y archivos de workspace.\n\nEsta pensado para configuracion mantenida por humanos, no para intercambio de datos entre servicios. Las herramientas suelen convertir JSONC a valores similares a JSON tras quitar comentarios."
+    }
+  }
+};
+
 // src/languages/jsonnet.ts
 var jsonnet = {
   slug: "jsonnet",
@@ -4366,6 +4544,36 @@ var jupyterNotebook = {
   }
 };
 
+// src/languages/just.ts
+var just = {
+  slug: "just",
+  publishedDate: "2016-03-13",
+  extensions: ["justfile", "Justfile", ".just"],
+  author: "Casey Rodarmor",
+  website: "https://just.systems",
+  paradigms: ["task automation", "command runner"],
+  tooling: {
+    runtimes: ["just"],
+    packageManagers: ["Cargo", "Homebrew", "Scoop"],
+    ecosystems: ["CLI", "Build Automation", "DevOps"]
+  },
+  version: "1.44.0",
+  logo: "https://raw.githubusercontent.com/vscode-icons/vscode-icons/master/icons/file_type_just.svg",
+  color: "#384D54",
+  i18n: {
+    en: {
+      name: "Just",
+      description: "A command-runner language for project recipes, task automation, and repeatable developer workflows.",
+      longDescription: "Just is a command runner whose justfile syntax defines named recipes for common project tasks. It is often used as a friendlier alternative to ad hoc shell scripts or make targets when dependency graph semantics are not needed.\n\nRecipes can accept parameters, set variables, choose shells, load dotenv files, and compose other recipes. The format is popular for local development workflows, CI helpers, release commands, and cross-platform project automation."
+    },
+    es: {
+      name: "Just",
+      description: "Lenguaje de recetas para ejecutar comandos de proyecto, automatizar tareas y repetir flujos de desarrollo.",
+      longDescription: "Just es un ejecutor de comandos cuya sintaxis justfile define recetas con nombre para tareas comunes del proyecto. Se usa como alternativa mas amable a scripts shell dispersos o targets de make cuando no se necesita un grafo de dependencias.\n\nLas recetas pueden aceptar parametros, definir variables, elegir shells, cargar archivos dotenv y componer otras recetas. Es comun en desarrollo local, ayudas de CI, comandos de release y automatizacion multiplataforma."
+    }
+  }
+};
+
 // src/languages/kcl.ts
 var kcl = {
   slug: "kcl",
@@ -4416,6 +4624,35 @@ var kcl = {
   }
 };
 
+// src/languages/kdl.ts
+var kdl = {
+  slug: "kdl",
+  publishedDate: "2021-08-29",
+  extensions: [".kdl"],
+  author: "Kat Marchan and contributors",
+  website: "https://kdl.dev",
+  paradigms: ["configuration", "document language", "data serialization"],
+  tooling: {
+    runtimes: ["Parsers", "CLI tools"],
+    ecosystems: ["Configuration", "Rust", "Structured Documents"]
+  },
+  version: "2.0.0",
+  logo: "https://dummyimage.com/32x32/6B4E9B/ffffff.png&text=KDL",
+  color: "#6B4E9B",
+  i18n: {
+    en: {
+      name: "KDL",
+      description: "A node-based document language for readable configuration, structured data, and tree-shaped documents.",
+      longDescription: "KDL is a document language built around named nodes with arguments, properties, and nested children. Its syntax is designed to be easier to read and edit by hand than many dense data formats while still mapping cleanly to structured data.\n\nIt is used for configuration files, domain-specific documents, and tools that need comments, ordering, and tree-shaped data. The KDL ecosystem includes parsers for multiple languages and a versioned specification."
+    },
+    es: {
+      name: "KDL",
+      description: "Lenguaje documental basado en nodos para configuracion legible, datos estructurados y documentos en forma de arbol.",
+      longDescription: "KDL es un lenguaje documental basado en nodos con argumentos, propiedades e hijos anidados. Su sintaxis busca ser mas facil de leer y editar a mano que muchos formatos densos, sin perder una correspondencia clara con datos estructurados.\n\nSe usa para archivos de configuracion, documentos especificos de dominio y herramientas que necesitan comentarios, orden y datos en forma de arbol."
+    }
+  }
+};
+
 // src/languages/kotlin.ts
 var kotlin = {
   slug: "kotlin",
@@ -4429,7 +4666,7 @@ var kotlin = {
     packageManagers: ["Gradle", "Maven"],
     ecosystems: ["JVM", "Android", "Kotlin Multiplatform"]
   },
-  version: "2.3.21",
+  version: "2.4.0",
   logo: "https://upload.wikimedia.org/wikipedia/commons/7/74/Kotlin_Icon.png",
   color: "#7F52FF",
   i18n: {
@@ -5904,6 +6141,36 @@ var odin = {
   }
 };
 
+// src/languages/openapi.ts
+var openapi = {
+  slug: "openapi",
+  publishedDate: "2011-08-10",
+  extensions: [".openapi.json", ".openapi.yaml", ".openapi.yml"],
+  author: "OpenAPI Initiative",
+  website: "https://www.openapis.org",
+  paradigms: ["api description", "schema", "declarative"],
+  tooling: {
+    runtimes: ["OpenAPI tooling"],
+    packageManagers: ["npm", "Maven", "Docker"],
+    ecosystems: ["HTTP APIs", "REST", "Documentation"]
+  },
+  version: "3.2.0",
+  logo: "https://cdn.simpleicons.org/openapiinitiative/6BA539",
+  color: "#6BA539",
+  i18n: {
+    en: {
+      name: "OpenAPI",
+      description: "A language-neutral specification format for describing HTTP APIs, schemas, operations, and documentation.",
+      longDescription: "OpenAPI is a specification format for describing HTTP APIs in a machine-readable and human-readable way. OpenAPI documents define paths, operations, parameters, request bodies, responses, authentication, reusable components, and schema information.\n\nThe format is commonly written in YAML or JSON and powers API documentation, client and server generation, contract testing, governance, and design workflows. It originated as Swagger and is now maintained by the OpenAPI Initiative."
+    },
+    es: {
+      name: "OpenAPI",
+      description: "Formato de especificacion neutral al lenguaje para describir APIs HTTP, esquemas, operaciones y documentacion.",
+      longDescription: "OpenAPI es un formato de especificacion para describir APIs HTTP de manera legible para maquinas y personas. Los documentos OpenAPI definen rutas, operaciones, parametros, cuerpos de solicitud, respuestas, autenticacion, componentes reutilizables e informacion de esquemas.\n\nSuele escribirse en YAML o JSON y alimenta documentacion de APIs, generacion de clientes y servidores, pruebas de contrato, gobierno y flujos de diseno."
+    }
+  }
+};
+
 // src/languages/opencl.ts
 var opencl = {
   slug: "opencl",
@@ -6600,6 +6867,36 @@ var pug = {
   }
 };
 
+// src/languages/puppet.ts
+var puppet = {
+  slug: "puppet",
+  publishedDate: "2005-01-01",
+  extensions: [".pp", ".epp"],
+  author: "Luke Kanies / Puppet, Inc.",
+  website: "https://www.puppet.com/docs/puppet/latest/lang_summary",
+  paradigms: ["declarative", "configuration management", "infrastructure as code"],
+  tooling: {
+    runtimes: ["Puppet Agent", "Puppet Server"],
+    packageManagers: ["Puppet Forge", "r10k", "Code Manager"],
+    ecosystems: ["DevOps", "Infrastructure as Code", "Configuration Management"]
+  },
+  version: "Puppet 8",
+  logo: "https://cdn.simpleicons.org/puppet/FFAE1A",
+  color: "#FFAE1A",
+  i18n: {
+    en: {
+      name: "Puppet",
+      description: "A declarative infrastructure language for describing system resources, configuration state, and reusable modules.",
+      longDescription: "The Puppet language describes desired infrastructure state using resources, classes, defined types, variables, conditionals, and modules. Puppet agents apply catalogs compiled from this language to converge systems toward the declared configuration.\n\nIt is used for configuration management, compliance, provisioning, and infrastructure automation across servers and services. The language favors declarative resource relationships over imperative shell-style steps."
+    },
+    es: {
+      name: "Puppet",
+      description: "Lenguaje declarativo de infraestructura para describir recursos del sistema, estado de configuracion y modulos reutilizables.",
+      longDescription: "El lenguaje Puppet describe el estado deseado de la infraestructura mediante recursos, clases, tipos definidos, variables, condicionales y modulos. Los agentes Puppet aplican catalogos compilados desde este lenguaje para converger los sistemas hacia la configuracion declarada.\n\nSe usa para gestion de configuracion, cumplimiento, aprovisionamiento y automatizacion de infraestructura en servidores y servicios."
+    }
+  }
+};
+
 // src/languages/purescript.ts
 var purescript = {
   slug: "purescript",
@@ -9611,10 +9908,12 @@ var languages = [
   cuda,
   cython,
   d,
+  dafny,
   dart,
   dhall,
   dita,
   dockerfile,
+  ejs,
   eiffel,
   earthly,
   elixir,
@@ -9624,9 +9923,11 @@ var languages = [
   fish,
   fennel,
   flux,
+  freemarker,
   fortran,
   forth,
   fsharp,
+  fstar,
   gdscript,
   git,
   gleam,
@@ -9649,16 +9950,20 @@ var languages = [
   hy,
   idris,
   ini,
+  isabelle,
   java,
   javascript,
   janet,
   jinja,
   json,
   json5,
+  jsonc,
   jsonnet,
   jupyterNotebook,
   julia,
+  just,
   kcl,
+  kdl,
   kotlin,
   lean,
   less,
@@ -9691,6 +9996,7 @@ var languages = [
   objectiveC,
   odin,
   opencl,
+  openapi,
   pascal,
   pkl,
   perl,
@@ -9704,6 +10010,7 @@ var languages = [
   promql,
   protobuf,
   pug,
+  puppet,
   purescript,
   python,
   qml,