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 described as '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' and is a programming language in the development category. There are more than 100 alternatives to Wolfram Language for a variety of platforms, including Windows, Linux, Mac, Web-based and BSD apps. The best Wolfram Language 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 Wolfram Language are C++, Lua, C# and Jupyter.
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.


Jython, successor of JPython, is an implementation of the Python programming language written in Java.
MINEO is the platform to explore your data, build, deploy and share data apps based on supercharged Python Notebooks powered by Code, No-code & AI.




Mathics is a general purpose computer algebra system (CAS) and designed to be a free, light-weight alternative to Mathematica. It's programmable using a Mathematica like language and uses a web interface for user interaction.

Deepnote is a collaborative data science notebook built for teams that is shareable, Jupyter-compatible, and runs in the cloud.




nbviewer provides an easy way to share Jupyter Notebooks. Simply enter the location of a notebook and have it rendered instantly online.

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.
Temper is a programming language and toolchain for making libraries that can be used natively from any other language.
Unison is a statically-typed functional language with type inference, an effect system, and advanced tooling. It is based around a big idea of content-addressed code, in which function are identified by a hash of their implementation rather than by name, and code is stored as...

OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.