A WYSIWYG language for data processing.

Dart helps you craft beautiful, high-quality experiences across all screens, with:

A client-optimized language
Rich, powerful frameworks
Delightful, flexible tooling

CakeML is a functional programming language with a proven-correct compiler and runtime system.

A Language with Dependent Types.
Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation. Its features are influenced by Haskell and ML, and include:

Lhogho is a free version of the programming language Logo and a promoter of its educational philosophy. It is specially designed to be performant, miniature, open-minded and ... artistic.

Elixir is a dynamic, functional language designed for building scalable and maintainable applications.

Elixir leverages the Erlang VM, known for running low-latency, distributed and fault-tolerant systems, while also being successfully used in web development and the embedded software domain.

Statically typed programming language
for the JVM, Android and the browser

Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback (think IDE and OS rolled into one).

A functional reactive language for interactive applications

Learn a language

Opa is a concise and elegant language for writing distributed web applications.