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.

Ada is described as '2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software' and is a programming language in the development category. There are more than 25 alternatives to Ada for a variety of platforms, including Linux, Mac, Windows, BSD and Web-based apps. The best Ada alternative is Python, which is both free and Open Source. Other great apps like Ada are Java, PHP, C (programming language) and Rust.
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...
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...
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.

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


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

M# is a set of tools for rapid web application development. M# manages 90% of the code through automation and eliminates most human errors. It has been proven to result in better, safer, and more reliable code, at least 4X faster.

J is a high-level, general-purpose programming language that is particularly suited to the mathematical, statistical, and logical analysis of data. It is a powerful tool for developing algorithms and exploring problems that are not already well understood.

P is a programming language for asynchronous event-driven programming and the IoT that was developed by Microsoft and University of California, Berkeley.