OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.
Cost / License
- Free
- Open Source
Application typeApplication types
Platforms
- Mac
- Windows
- Linux
- BSD
Nelua is described as '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' and is a programming language in the development category. There are more than 50 alternatives to Nelua for a variety of platforms, including Linux, Windows, Mac, BSD and Self-Hosted apps. The best Nelua alternative is Java. It's not free, so if you're looking for a free alternative, you could try Java or C (programming language). Other great apps like Nelua are C++, C#, Go (Programming Language) and Ruby.
OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.

Tcl (Tool Command Language) is a very powerful but easy to learn dynamic programming language, suitable for a very wide range of uses.

HolyC is very similar to regular C, so it's a very simple but powerful language. It was used to make all of TempleOS, so it definitely works to make programs.

Wolfram Language is a symbolic language, deliberately designed with the breadth and unity needed to develop powerful programs quickly. By integrating high-level forms—like Image, GeoPolygon or Molecule—along with advanced superfunctions—such as ImageIdentify or...
Jython, successor of JPython, is an implementation of the Python programming language written in Java.
FreeBASIC is a completely free, open-source, 32-bit BASIC compiler, with syntax similar to MS-QuickBASIC, that adds new features such as pointers, unsigned data types, inline assembly, object orientation, and many others.

Yon is an experimental, topos-oriented programming language: a compiled language whose semantics are drawn from category theory (elementary topoi, Heyting algebras, directed type theory) and whose runtime stores every value in a content-addressed heap built on the Leech lattice ?

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.
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.