11 results
tagged
language
✕
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
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:
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.
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
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.