Ada 2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software.

F# (programming language) is described as 'Functional-first, open-source language for .NET, supporting static typing, succinct syntax, advanced pattern matching, object-oriented and asynchronous programming' and is a programming language in the development category. There are more than 50 alternatives to F# (programming language) for a variety of platforms, including Windows, Linux, Mac, BSD and Web-based apps. The best F# (programming language) alternative is Python, which is both free and Open Source. Other great apps like F# (programming language) are JavaScript, Java, Rust and C++.
Ada 2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software.


Squirrel is a high level imperative, object-oriented programming language, designed to be a light-weight scripting language that fits in the size, memory bandwidth, and real-time requirements of applications like video games.
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.

Fortran (previously FORTRAN, derived from Formula Translating System) is a general-purpose, imperative programming language that is especially suited to numeric computation and scientific computing.
Object Pascal is a multi-paradigm, object-oriented, component-based general purpose programming language.
Mussel is an interpreted programming language written in Rust. It was designed as a simple and flexible language with a focus on easy-to-read syntax and powerful expression evaluation. Mussel supports basic data types, variable bindings, functions, closures, control flow...
IronPython is an implementation of the Python programming language running under .NET and Silverlight. It supports an interactive console with fully dynamic compilation. It's well integrated with the rest of the .NET Framework and makes all .
Pike is a dynamic programming language with a syntax similar to Java and C. It is simple to learn, does not require long compilation passes and has powerful built-in data types allowing simple and really fast data manipulation.

Nelua is a systems programming language for performance sensitive applications, like real-time applications and game engines. Its syntax and semantics are similar to Lua, but its garbage collection is optional, it provides optional type notations, and it is free from an...

Beef is an open source performance-oriented compiled programming language which has been built hand-in-hand with its IDE environment.

