Solidity

A procedural (imperative) programming language with a syntax similar to JavaScript, C++, or Java.

The most popular and frequently used language for Ethereum smart contracts.