SPARK
SPARK, short for SPARK Programming Language, is a high-integrity programming language designed for building safety-critical and secure software systems. It is based on Ada and emphasizes formal verification, reliability, and predictability. SPARK is commonly used in aerospace, automotive, and defense applications. Developers can access the language and tooling through the official AdaCore SPARK Downloads, which provide compilers, verification tools, and documentation.
TypeScript
TypeScript, short for TypeScript Programming Language, is an open-source, statically typed superset of JavaScript that adds optional type annotations, interfaces, and advanced tooling to improve developer productivity and code safety.