code-languages 1.33.2 → 1.34.1

package/dist/languages/simula.cjs

@@ -0,0 +1,52 @@
+'use strict';
+
+// src/languages/simula.ts
+var simula = {
+  slug: "simula",
+  publishedDate: "1962-01-01",
+  extensions: [".sim", ".simula"],
+  author: "Ole-Johan Dahl and Kristen Nygaard",
+  website: "https://www.simula67.info",
+  paradigms: ["object-oriented", "imperative", "procedural"],
+  tooling: {
+    runtimes: ["Simula compilers"],
+    ecosystems: ["Simulation", "Language history"]
+  },
+  version: "Simula 67",
+  logo: "https://dummyimage.com/32x32/2563EB/ffffff.png&text=Si",
+  color: "#2563EB",
+  i18n: {
+    en: {
+      name: "Simula",
+      description: "A pioneering simulation and object-oriented programming language descended from ALGOL.",
+      longDescription: "Simula is a programming language family created for discrete-event simulation and later recognized as the first object-oriented language. Simula 67 introduced classes, objects, inheritance-like specialization, and coroutines in a form that shaped later object-oriented systems.\n\nIt is historically important in language design, education, simulation modeling, and the evolution of object-oriented programming. Modern use is mostly archival, academic, and through maintained compilers and historical implementations."
+    },
+    es: {
+      name: "Simula",
+      description: "Lenguaje pionero de simulacion y programacion orientada a objetos derivado de ALGOL.",
+      longDescription: "Simula es una familia de lenguajes creada para simulacion de eventos discretos y luego reconocida como el primer lenguaje orientado a objetos. Simula 67 introdujo clases, objetos, especializacion similar a herencia y corrutinas en una forma que influyo en sistemas orientados a objetos posteriores.\n\nTiene importancia historica en diseno de lenguajes, educacion, modelado de simulacion y evolucion de la programacion orientada a objetos. Su uso moderno es principalmente archivistico, academico y mediante compiladores mantenidos e implementaciones historicas."
+    },
+    it: {
+      name: "Simula",
+      description: "Linguaggio pionieristico di simulazione e programmazione orientata agli oggetti derivato da ALGOL.",
+      longDescription: "Simula e una famiglia di linguaggi creata per la simulazione a eventi discreti e poi riconosciuta come il primo linguaggio orientato agli oggetti. Simula 67 introdusse classi, oggetti, specializzazione simile all ereditarieta e coroutine in una forma che influenzo i sistemi orientati agli oggetti successivi.\n\nE storicamente importante per il design dei linguaggi, la didattica, la modellazione di simulazioni e l evoluzione della programmazione orientata agli oggetti. L uso moderno e soprattutto archivistico, accademico e tramite compilatori mantenuti o implementazioni storiche."
+    },
+    fr: {
+      name: "Simula",
+      description: "Langage pionnier de simulation et de programmation orientee objet issu d ALGOL.",
+      longDescription: "Simula est une famille de langages creee pour la simulation a evenements discrets, puis reconnue comme le premier langage oriente objet. Simula 67 a introduit classes, objets, specialisation proche de l heritage et coroutines sous une forme qui a marque les systemes objets ulterieurs.\n\nIl est historiquement important pour la conception des langages, l enseignement, la modelisation de simulations et l evolution de la programmation orientee objet. Son usage moderne est surtout archivistique, academique et lie a des compilateurs maintenus ou des implementations historiques."
+    },
+    de: {
+      name: "Simula",
+      description: "Pioniersprache fur Simulation und objektorientierte Programmierung aus der ALGOL-Familie.",
+      longDescription: "Simula ist eine Sprachfamilie, die fur diskrete Ereignissimulation entwickelt wurde und spater als erste objektorientierte Sprache anerkannt wurde. Simula 67 fuhrte Klassen, Objekte, vererbungsahnliche Spezialisierung und Koroutinen in einer Form ein, die spatere objektorientierte Systeme pragte.\n\nDie Sprache ist historisch wichtig fur Sprachdesign, Lehre, Simulationsmodellierung und die Entwicklung objektorientierter Programmierung. Moderne Nutzung ist vor allem archivalisch, akademisch und uber gepflegte Compiler oder historische Implementierungen."
+    },
+    pt: {
+      name: "Simula",
+      description: "Linguagem pioneira de simulacao e programacao orientada a objetos derivada de ALGOL.",
+      longDescription: "Simula e uma familia de linguagens criada para simulacao de eventos discretos e depois reconhecida como a primeira linguagem orientada a objetos. Simula 67 introduziu classes, objetos, especializacao parecida com heranca e corrotinas em uma forma que influenciou sistemas orientados a objetos posteriores.\n\nEla e historicamente importante no design de linguagens, educacao, modelagem de simulacao e evolucao da programacao orientada a objetos. O uso moderno e principalmente arquivistico, academico e por compiladores mantidos ou implementacoes historicas."
+    }
+  }
+};
+
+exports.simula = simula;

package/dist/languages/simula.d.cts

@@ -0,0 +1,49 @@
+declare const simula: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    color: "#2563EB";
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { simula };

package/dist/languages/simula.d.ts

@@ -0,0 +1,49 @@
+declare const simula: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    color: "#2563EB";
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { simula };

package/dist/languages/simula.js

@@ -0,0 +1,50 @@
+// src/languages/simula.ts
+var simula = {
+  slug: "simula",
+  publishedDate: "1962-01-01",
+  extensions: [".sim", ".simula"],
+  author: "Ole-Johan Dahl and Kristen Nygaard",
+  website: "https://www.simula67.info",
+  paradigms: ["object-oriented", "imperative", "procedural"],
+  tooling: {
+    runtimes: ["Simula compilers"],
+    ecosystems: ["Simulation", "Language history"]
+  },
+  version: "Simula 67",
+  logo: "https://dummyimage.com/32x32/2563EB/ffffff.png&text=Si",
+  color: "#2563EB",
+  i18n: {
+    en: {
+      name: "Simula",
+      description: "A pioneering simulation and object-oriented programming language descended from ALGOL.",
+      longDescription: "Simula is a programming language family created for discrete-event simulation and later recognized as the first object-oriented language. Simula 67 introduced classes, objects, inheritance-like specialization, and coroutines in a form that shaped later object-oriented systems.\n\nIt is historically important in language design, education, simulation modeling, and the evolution of object-oriented programming. Modern use is mostly archival, academic, and through maintained compilers and historical implementations."
+    },
+    es: {
+      name: "Simula",
+      description: "Lenguaje pionero de simulacion y programacion orientada a objetos derivado de ALGOL.",
+      longDescription: "Simula es una familia de lenguajes creada para simulacion de eventos discretos y luego reconocida como el primer lenguaje orientado a objetos. Simula 67 introdujo clases, objetos, especializacion similar a herencia y corrutinas en una forma que influyo en sistemas orientados a objetos posteriores.\n\nTiene importancia historica en diseno de lenguajes, educacion, modelado de simulacion y evolucion de la programacion orientada a objetos. Su uso moderno es principalmente archivistico, academico y mediante compiladores mantenidos e implementaciones historicas."
+    },
+    it: {
+      name: "Simula",
+      description: "Linguaggio pionieristico di simulazione e programmazione orientata agli oggetti derivato da ALGOL.",
+      longDescription: "Simula e una famiglia di linguaggi creata per la simulazione a eventi discreti e poi riconosciuta come il primo linguaggio orientato agli oggetti. Simula 67 introdusse classi, oggetti, specializzazione simile all ereditarieta e coroutine in una forma che influenzo i sistemi orientati agli oggetti successivi.\n\nE storicamente importante per il design dei linguaggi, la didattica, la modellazione di simulazioni e l evoluzione della programmazione orientata agli oggetti. L uso moderno e soprattutto archivistico, accademico e tramite compilatori mantenuti o implementazioni storiche."
+    },
+    fr: {
+      name: "Simula",
+      description: "Langage pionnier de simulation et de programmation orientee objet issu d ALGOL.",
+      longDescription: "Simula est une famille de langages creee pour la simulation a evenements discrets, puis reconnue comme le premier langage oriente objet. Simula 67 a introduit classes, objets, specialisation proche de l heritage et coroutines sous une forme qui a marque les systemes objets ulterieurs.\n\nIl est historiquement important pour la conception des langages, l enseignement, la modelisation de simulations et l evolution de la programmation orientee objet. Son usage moderne est surtout archivistique, academique et lie a des compilateurs maintenus ou des implementations historiques."
+    },
+    de: {
+      name: "Simula",
+      description: "Pioniersprache fur Simulation und objektorientierte Programmierung aus der ALGOL-Familie.",
+      longDescription: "Simula ist eine Sprachfamilie, die fur diskrete Ereignissimulation entwickelt wurde und spater als erste objektorientierte Sprache anerkannt wurde. Simula 67 fuhrte Klassen, Objekte, vererbungsahnliche Spezialisierung und Koroutinen in einer Form ein, die spatere objektorientierte Systeme pragte.\n\nDie Sprache ist historisch wichtig fur Sprachdesign, Lehre, Simulationsmodellierung und die Entwicklung objektorientierter Programmierung. Moderne Nutzung ist vor allem archivalisch, akademisch und uber gepflegte Compiler oder historische Implementierungen."
+    },
+    pt: {
+      name: "Simula",
+      description: "Linguagem pioneira de simulacao e programacao orientada a objetos derivada de ALGOL.",
+      longDescription: "Simula e uma familia de linguagens criada para simulacao de eventos discretos e depois reconhecida como a primeira linguagem orientada a objetos. Simula 67 introduziu classes, objetos, especializacao parecida com heranca e corrotinas em uma forma que influenciou sistemas orientados a objetos posteriores.\n\nEla e historicamente importante no design de linguagens, educacao, modelagem de simulacao e evolucao da programacao orientada a objetos. O uso moderno e principalmente arquivistico, academico e por compiladores mantidos ou implementacoes historicas."
+    }
+  }
+};
+
+export { simula };

package/dist/languages/snobol.cjs

@@ -0,0 +1,52 @@
+'use strict';
+
+// src/languages/snobol.ts
+var snobol = {
+  slug: "snobol",
+  publishedDate: "1962-01-01",
+  extensions: [".sno", ".snobol"],
+  author: "David J. Farber, Ralph Griswold, and Ivan P. Polonsky",
+  website: "https://www.regressive.org/snobol4/",
+  paradigms: ["imperative", "procedural", "text-processing"],
+  tooling: {
+    runtimes: ["SNOBOL4 implementations", "SPITBOL"],
+    ecosystems: ["Text processing", "Language history"]
+  },
+  version: "SNOBOL4",
+  logo: "https://dummyimage.com/32x32/7C2D12/ffffff.png&text=SN",
+  color: "#7C2D12",
+  i18n: {
+    en: {
+      name: "SNOBOL",
+      description: "A text-processing language known for pattern matching, symbolic programming, and string manipulation.",
+      longDescription: "SNOBOL is a family of programming languages from Bell Labs focused on string processing, symbolic computation, and pattern matching. SNOBOL4 became the best-known version, with patterns as first-class values and expressive operators for text transformation.\n\nIt influenced later text-processing and scripting languages, especially through its treatment of patterns and dynamic data. Today it is mainly used for historical study, preservation, and specialized legacy programs."
+    },
+    es: {
+      name: "SNOBOL",
+      description: "Lenguaje de procesamiento de texto conocido por patrones, simbolos y manipulacion de cadenas.",
+      longDescription: "SNOBOL es una familia de lenguajes de Bell Labs centrada en procesamiento de cadenas, computacion simbolica y coincidencia de patrones. SNOBOL4 se convirtio en la version mas conocida, con patrones como valores de primera clase y operadores expresivos para transformar texto.\n\nInfluyo en lenguajes posteriores de procesamiento de texto y scripting, especialmente por su tratamiento de patrones y datos dinamicos. Hoy se usa principalmente para estudio historico, preservacion y programas legacy especializados."
+    },
+    it: {
+      name: "SNOBOL",
+      description: "Linguaggio per elaborazione del testo noto per pattern matching, simboli e stringhe.",
+      longDescription: "SNOBOL e una famiglia di linguaggi di Bell Labs focalizzata su elaborazione di stringhe, computazione simbolica e pattern matching. SNOBOL4 divenne la versione piu nota, con pattern come valori di prima classe e operatori espressivi per trasformare testo.\n\nInfluenzo linguaggi successivi di elaborazione del testo e scripting, soprattutto per il trattamento di pattern e dati dinamici. Oggi e usato principalmente per studio storico, conservazione e programmi legacy specializzati."
+    },
+    fr: {
+      name: "SNOBOL",
+      description: "Langage de traitement de texte connu pour les motifs, la programmation symbolique et les chaines.",
+      longDescription: "SNOBOL est une famille de langages de Bell Labs centree sur le traitement des chaines, le calcul symbolique et la reconnaissance de motifs. SNOBOL4 est devenu la version la plus connue, avec des motifs comme valeurs de premiere classe et des operateurs expressifs pour transformer le texte.\n\nIl a influence des langages ulterieurs de traitement de texte et de script, surtout par son traitement des motifs et des donnees dynamiques. Aujourd hui, il sert surtout a l etude historique, a la preservation et a des programmes legacy specialises."
+    },
+    de: {
+      name: "SNOBOL",
+      description: "Textverarbeitungssprache fur Musterabgleich, symbolische Programmierung und Zeichenketten.",
+      longDescription: "SNOBOL ist eine Sprachfamilie aus den Bell Labs mit Fokus auf Zeichenkettenverarbeitung, symbolische Berechnung und Musterabgleich. SNOBOL4 wurde zur bekanntesten Version, mit Mustern als First-Class-Werten und ausdrucksstarken Operatoren zur Texttransformation.\n\nDie Sprache beeinflusste spatere Textverarbeitungs- und Skriptsprachen, besonders durch den Umgang mit Mustern und dynamischen Daten. Heute wird sie vor allem fur historische Studien, Bewahrung und spezialisierte Legacy-Programme genutzt."
+    },
+    pt: {
+      name: "SNOBOL",
+      description: "Linguagem de processamento de texto conhecida por padroes, simbolos e manipulacao de strings.",
+      longDescription: "SNOBOL e uma familia de linguagens da Bell Labs focada em processamento de strings, computacao simbolica e correspondencia de padroes. SNOBOL4 tornou-se a versao mais conhecida, com padroes como valores de primeira classe e operadores expressivos para transformar texto.\n\nEla influenciou linguagens posteriores de processamento de texto e scripting, especialmente pelo tratamento de padroes e dados dinamicos. Hoje e usada principalmente para estudo historico, preservacao e programas legados especializados."
+    }
+  }
+};
+
+exports.snobol = snobol;

package/dist/languages/snobol.d.cts

@@ -0,0 +1,49 @@
+declare const snobol: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    color: "#7C2D12";
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { snobol };

package/dist/languages/snobol.d.ts

@@ -0,0 +1,49 @@
+declare const snobol: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    color: "#7C2D12";
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { snobol };

package/dist/languages/snobol.js

@@ -0,0 +1,50 @@
+// src/languages/snobol.ts
+var snobol = {
+  slug: "snobol",
+  publishedDate: "1962-01-01",
+  extensions: [".sno", ".snobol"],
+  author: "David J. Farber, Ralph Griswold, and Ivan P. Polonsky",
+  website: "https://www.regressive.org/snobol4/",
+  paradigms: ["imperative", "procedural", "text-processing"],
+  tooling: {
+    runtimes: ["SNOBOL4 implementations", "SPITBOL"],
+    ecosystems: ["Text processing", "Language history"]
+  },
+  version: "SNOBOL4",
+  logo: "https://dummyimage.com/32x32/7C2D12/ffffff.png&text=SN",
+  color: "#7C2D12",
+  i18n: {
+    en: {
+      name: "SNOBOL",
+      description: "A text-processing language known for pattern matching, symbolic programming, and string manipulation.",
+      longDescription: "SNOBOL is a family of programming languages from Bell Labs focused on string processing, symbolic computation, and pattern matching. SNOBOL4 became the best-known version, with patterns as first-class values and expressive operators for text transformation.\n\nIt influenced later text-processing and scripting languages, especially through its treatment of patterns and dynamic data. Today it is mainly used for historical study, preservation, and specialized legacy programs."
+    },
+    es: {
+      name: "SNOBOL",
+      description: "Lenguaje de procesamiento de texto conocido por patrones, simbolos y manipulacion de cadenas.",
+      longDescription: "SNOBOL es una familia de lenguajes de Bell Labs centrada en procesamiento de cadenas, computacion simbolica y coincidencia de patrones. SNOBOL4 se convirtio en la version mas conocida, con patrones como valores de primera clase y operadores expresivos para transformar texto.\n\nInfluyo en lenguajes posteriores de procesamiento de texto y scripting, especialmente por su tratamiento de patrones y datos dinamicos. Hoy se usa principalmente para estudio historico, preservacion y programas legacy especializados."
+    },
+    it: {
+      name: "SNOBOL",
+      description: "Linguaggio per elaborazione del testo noto per pattern matching, simboli e stringhe.",
+      longDescription: "SNOBOL e una famiglia di linguaggi di Bell Labs focalizzata su elaborazione di stringhe, computazione simbolica e pattern matching. SNOBOL4 divenne la versione piu nota, con pattern come valori di prima classe e operatori espressivi per trasformare testo.\n\nInfluenzo linguaggi successivi di elaborazione del testo e scripting, soprattutto per il trattamento di pattern e dati dinamici. Oggi e usato principalmente per studio storico, conservazione e programmi legacy specializzati."
+    },
+    fr: {
+      name: "SNOBOL",
+      description: "Langage de traitement de texte connu pour les motifs, la programmation symbolique et les chaines.",
+      longDescription: "SNOBOL est une famille de langages de Bell Labs centree sur le traitement des chaines, le calcul symbolique et la reconnaissance de motifs. SNOBOL4 est devenu la version la plus connue, avec des motifs comme valeurs de premiere classe et des operateurs expressifs pour transformer le texte.\n\nIl a influence des langages ulterieurs de traitement de texte et de script, surtout par son traitement des motifs et des donnees dynamiques. Aujourd hui, il sert surtout a l etude historique, a la preservation et a des programmes legacy specialises."
+    },
+    de: {
+      name: "SNOBOL",
+      description: "Textverarbeitungssprache fur Musterabgleich, symbolische Programmierung und Zeichenketten.",
+      longDescription: "SNOBOL ist eine Sprachfamilie aus den Bell Labs mit Fokus auf Zeichenkettenverarbeitung, symbolische Berechnung und Musterabgleich. SNOBOL4 wurde zur bekanntesten Version, mit Mustern als First-Class-Werten und ausdrucksstarken Operatoren zur Texttransformation.\n\nDie Sprache beeinflusste spatere Textverarbeitungs- und Skriptsprachen, besonders durch den Umgang mit Mustern und dynamischen Daten. Heute wird sie vor allem fur historische Studien, Bewahrung und spezialisierte Legacy-Programme genutzt."
+    },
+    pt: {
+      name: "SNOBOL",
+      description: "Linguagem de processamento de texto conhecida por padroes, simbolos e manipulacao de strings.",
+      longDescription: "SNOBOL e uma familia de linguagens da Bell Labs focada em processamento de strings, computacao simbolica e correspondencia de padroes. SNOBOL4 tornou-se a versao mais conhecida, com padroes como valores de primeira classe e operadores expressivos para transformar texto.\n\nEla influenciou linguagens posteriores de processamento de texto e scripting, especialmente pelo tratamento de padroes e dados dinamicos. Hoje e usada principalmente para estudo historico, preservacao e programas legados especializados."
+    }
+  }
+};
+
+export { snobol };

package/dist/languages/spark.cjs

@@ -0,0 +1,52 @@
+'use strict';
+
+// src/languages/spark.ts
+var spark = {
+  slug: "spark",
+  publishedDate: "2009-01-01",
+  extensions: [".spark", ".adb", ".ads"],
+  author: "Altran and AdaCore",
+  website: "https://www.adacore.com/about-spark",
+  paradigms: ["imperative", "object-oriented", "formal verification"],
+  tooling: {
+    runtimes: ["GNAT", "Ada runtimes"],
+    ecosystems: ["Ada", "Embedded", "Safety-critical software"]
+  },
+  version: "SPARK Community 2021",
+  logo: "https://dummyimage.com/32x32/DC2626/ffffff.png&text=SP",
+  color: "#DC2626",
+  i18n: {
+    en: {
+      name: "SPARK",
+      description: "A formally verifiable Ada-based language for high-integrity and safety-critical software.",
+      longDescription: "SPARK is a programming language and verification ecosystem based on Ada, designed for software where correctness, safety, and security matter. It restricts and extends Ada with contracts, proof-oriented annotations, and analyzable semantics.\n\nSPARK is used in avionics, defense, embedded systems, industrial control, and other high-integrity domains. Its tooling can prove absence of runtime errors and verify functional properties before code runs."
+    },
+    es: {
+      name: "SPARK",
+      description: "Lenguaje basado en Ada y verificable formalmente para software critico y de alta integridad.",
+      longDescription: "SPARK es un lenguaje de programacion y ecosistema de verificacion basado en Ada, disenado para software donde importan correccion, seguridad funcional y seguridad informatica. Restringe y extiende Ada con contratos, anotaciones orientadas a pruebas y semantica analizable.\n\nSPARK se usa en avionica, defensa, sistemas embebidos, control industrial y otros dominios de alta integridad. Sus herramientas pueden probar ausencia de errores en tiempo de ejecucion y verificar propiedades funcionales antes de ejecutar el codigo."
+    },
+    it: {
+      name: "SPARK",
+      description: "Linguaggio basato su Ada e verificabile formalmente per software critico e ad alta integrita.",
+      longDescription: "SPARK e un linguaggio di programmazione e un ecosistema di verifica basato su Ada, progettato per software in cui correttezza, safety e security sono fondamentali. Restringe ed estende Ada con contratti, annotazioni orientate alla prova e semantica analizzabile.\n\nSPARK e usato in avionica, difesa, sistemi embedded, controllo industriale e altri domini ad alta integrita. I suoi strumenti possono provare l assenza di errori a runtime e verificare proprieta funzionali prima dell esecuzione del codice."
+    },
+    fr: {
+      name: "SPARK",
+      description: "Langage base sur Ada, verifiable formellement, pour logiciels critiques et haute integrite.",
+      longDescription: "SPARK est un langage de programmation et un ecosysteme de verification base sur Ada, concu pour les logiciels ou correction, surete et securite sont essentielles. Il restreint et etend Ada avec des contrats, des annotations orientees preuve et une semantique analysable.\n\nSPARK est utilise dans l avionique, la defense, les systemes embarques, le controle industriel et d autres domaines a haute integrite. Ses outils peuvent prouver l absence d erreurs a l execution et verifier des proprietes fonctionnelles avant que le code ne tourne."
+    },
+    de: {
+      name: "SPARK",
+      description: "Formal verifizierbare Ada-basierte Sprache fur sicherheitskritische High-Integrity-Software.",
+      longDescription: "SPARK ist eine auf Ada basierende Programmiersprache und Verifikationsumgebung fur Software, bei der Korrektheit, Safety und Security entscheidend sind. Sie beschrankt und erweitert Ada mit Vertragen, beweisorientierten Annotationen und analysierbarer Semantik.\n\nSPARK wird in Avionik, Verteidigung, eingebetteten Systemen, industrieller Steuerung und anderen High-Integrity-Domanen genutzt. Die Werkzeuge konnen Laufzeitfehlerfreiheit beweisen und funktionale Eigenschaften vor der Ausfuhrung verifizieren."
+    },
+    pt: {
+      name: "SPARK",
+      description: "Linguagem baseada em Ada e verificavel formalmente para software critico e de alta integridade.",
+      longDescription: "SPARK e uma linguagem de programacao e ecossistema de verificacao baseado em Ada, criado para software onde correcao, seguranca funcional e seguranca importam. Ela restringe e estende Ada com contratos, anotacoes orientadas a provas e semantica analisavel.\n\nSPARK e usada em avionica, defesa, sistemas embarcados, controle industrial e outros dominios de alta integridade. Suas ferramentas podem provar ausencia de erros em tempo de execucao e verificar propriedades funcionais antes do codigo rodar."
+    }
+  }
+};
+
+exports.spark = spark;

package/dist/languages/spark.d.cts

@@ -0,0 +1,49 @@
+declare const spark: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    color: "#DC2626";
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { spark };

package/dist/languages/spark.d.ts

@@ -0,0 +1,49 @@
+declare const spark: {
+    slug: string;
+    publishedDate: string;
+    extensions: string[];
+    author: string;
+    website: string;
+    paradigms: string[];
+    tooling: {
+        runtimes: string[];
+        ecosystems: string[];
+    };
+    version: string;
+    logo: string;
+    color: "#DC2626";
+    i18n: {
+        en: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        es: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+    };
+};
+
+export { spark };

package/dist/languages/spark.js

@@ -0,0 +1,50 @@
+// src/languages/spark.ts
+var spark = {
+  slug: "spark",
+  publishedDate: "2009-01-01",
+  extensions: [".spark", ".adb", ".ads"],
+  author: "Altran and AdaCore",
+  website: "https://www.adacore.com/about-spark",
+  paradigms: ["imperative", "object-oriented", "formal verification"],
+  tooling: {
+    runtimes: ["GNAT", "Ada runtimes"],
+    ecosystems: ["Ada", "Embedded", "Safety-critical software"]
+  },
+  version: "SPARK Community 2021",
+  logo: "https://dummyimage.com/32x32/DC2626/ffffff.png&text=SP",
+  color: "#DC2626",
+  i18n: {
+    en: {
+      name: "SPARK",
+      description: "A formally verifiable Ada-based language for high-integrity and safety-critical software.",
+      longDescription: "SPARK is a programming language and verification ecosystem based on Ada, designed for software where correctness, safety, and security matter. It restricts and extends Ada with contracts, proof-oriented annotations, and analyzable semantics.\n\nSPARK is used in avionics, defense, embedded systems, industrial control, and other high-integrity domains. Its tooling can prove absence of runtime errors and verify functional properties before code runs."
+    },
+    es: {
+      name: "SPARK",
+      description: "Lenguaje basado en Ada y verificable formalmente para software critico y de alta integridad.",
+      longDescription: "SPARK es un lenguaje de programacion y ecosistema de verificacion basado en Ada, disenado para software donde importan correccion, seguridad funcional y seguridad informatica. Restringe y extiende Ada con contratos, anotaciones orientadas a pruebas y semantica analizable.\n\nSPARK se usa en avionica, defensa, sistemas embebidos, control industrial y otros dominios de alta integridad. Sus herramientas pueden probar ausencia de errores en tiempo de ejecucion y verificar propiedades funcionales antes de ejecutar el codigo."
+    },
+    it: {
+      name: "SPARK",
+      description: "Linguaggio basato su Ada e verificabile formalmente per software critico e ad alta integrita.",
+      longDescription: "SPARK e un linguaggio di programmazione e un ecosistema di verifica basato su Ada, progettato per software in cui correttezza, safety e security sono fondamentali. Restringe ed estende Ada con contratti, annotazioni orientate alla prova e semantica analizzabile.\n\nSPARK e usato in avionica, difesa, sistemi embedded, controllo industriale e altri domini ad alta integrita. I suoi strumenti possono provare l assenza di errori a runtime e verificare proprieta funzionali prima dell esecuzione del codice."
+    },
+    fr: {
+      name: "SPARK",
+      description: "Langage base sur Ada, verifiable formellement, pour logiciels critiques et haute integrite.",
+      longDescription: "SPARK est un langage de programmation et un ecosysteme de verification base sur Ada, concu pour les logiciels ou correction, surete et securite sont essentielles. Il restreint et etend Ada avec des contrats, des annotations orientees preuve et une semantique analysable.\n\nSPARK est utilise dans l avionique, la defense, les systemes embarques, le controle industriel et d autres domaines a haute integrite. Ses outils peuvent prouver l absence d erreurs a l execution et verifier des proprietes fonctionnelles avant que le code ne tourne."
+    },
+    de: {
+      name: "SPARK",
+      description: "Formal verifizierbare Ada-basierte Sprache fur sicherheitskritische High-Integrity-Software.",
+      longDescription: "SPARK ist eine auf Ada basierende Programmiersprache und Verifikationsumgebung fur Software, bei der Korrektheit, Safety und Security entscheidend sind. Sie beschrankt und erweitert Ada mit Vertragen, beweisorientierten Annotationen und analysierbarer Semantik.\n\nSPARK wird in Avionik, Verteidigung, eingebetteten Systemen, industrieller Steuerung und anderen High-Integrity-Domanen genutzt. Die Werkzeuge konnen Laufzeitfehlerfreiheit beweisen und funktionale Eigenschaften vor der Ausfuhrung verifizieren."
+    },
+    pt: {
+      name: "SPARK",
+      description: "Linguagem baseada em Ada e verificavel formalmente para software critico e de alta integridade.",
+      longDescription: "SPARK e uma linguagem de programacao e ecossistema de verificacao baseado em Ada, criado para software onde correcao, seguranca funcional e seguranca importam. Ela restringe e estende Ada com contratos, anotacoes orientadas a provas e semantica analisavel.\n\nSPARK e usada em avionica, defesa, sistemas embarcados, controle industrial e outros dominios de alta integridade. Suas ferramentas podem provar ausencia de erros em tempo de execucao e verificar propriedades funcionais antes do codigo rodar."
+    }
+  }
+};
+
+export { spark };