language
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).
Opa is a concise and elegant language for writing distributed web applications.