A small pure functional language. Functions are mathematics. Effects are plain data a host runs. Identity is the hash of the body.
Croatia
EU


Unison Programming Language is described as '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' and is a programming language in the development category. There are more than 50 alternatives to Unison Programming Language for a variety of platforms, including Linux, Mac, Windows, BSD and Web-based apps. The best Unison Programming Language alternative is Python, which is both free and Open Source. Other great apps like Unison Programming Language are Java, PHP, C (programming language) and Rust.
A small pure functional language. Functions are mathematics. Effects are plain data a host runs. Identity is the hash of the body.


Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.

Yon is an experimental, topos-oriented programming language: a compiled language whose semantics are drawn from category theory (elementary topoi, Heyting algebras, directed type theory) and whose runtime stores every value in a content-addressed heap built on the Leech lattice ?

Chapel is a programming language designed for productive parallel computing at scale.

Raku unifies many great ideas that aren't usually found in other programming languages. While several other languages offer some of these features, none of them offer all.
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...
Hack is a programming language for HHVM that interoperates seamlessly with PHP. Hack reconciles the fast development cycle of PHP with the discipline provided by static typing, while adding many features commonly found in other modern programming languages.
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.

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.

Vala is a new programming language that aims to bring modern programming language features to GNOME developers without imposing any additional runtime requirements and without using a different ABI compared to applications and libraries written in C.
Guile is the GNU Ubiquitous Intelligent Language for Extensions, the official extension language for the GNU operating system. It's an implementation of the Scheme programming language, supporting the Revised5 and most of the Revised6 language reports, as well as many SRFIs.

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