Programming Language: Rigidity

https://github.com/ahmetson/rigidity

A secure version of Solidity to write smartcontracts.

It's a type driven inspired by programming languages such as Idris.