01soliditylang.org
Solidity — Ethereum's Native Smart Contract Language
A statically-typed, curly-braces language purpose-built for developing smart contracts that run on the Ethereum Virtual Machine.
Visit siteThe languages powering smart contract and chaincode development today — from Ethereum-native Solidity and Vyper to the general-purpose languages used across Hyperledger, EOSIO, and hybrid blockchain platforms.
Official language sites, documentation, and peer-reviewed research on safer smart contract languages.
A statically-typed, curly-braces language purpose-built for developing smart contracts that run on the Ethereum Virtual Machine.
Visit siteGoogle's simple, efficient, compiled language — widely used to write chaincode (smart contracts) for Hyperledger Fabric and other enterprise blockchain platforms.
Visit siteThe ubiquitous web language, used extensively for blockchain dApp front-ends, testing frameworks, and Web3.js/Ethers.js smart-contract interaction.
Visit siteA high-performance systems language used to build blockchain cores and virtual machines, including EOSIO smart contracts and Bitcoin Core itself.
Visit siteA mature, platform-independent language used for enterprise blockchain applications, including Hyperledger Fabric chaincode and Web3j-based Ethereum integrations.
Visit siteThe standard query language, used in hybrid blockchain platforms such as AERGO that combine SQL databases with on-chain smart contract logic.
Visit siteA contract-oriented, Pythonic language targeting the Ethereum Virtual Machine, designed to prioritize security, simplicity, and auditability over flexibility.
Visit siteAn academic thesis proposing a new smart contract language focused on safety and auditability, aiming to eliminate entire categories of vulnerabilities by design.
Read paperA peer-reviewed research paper introducing Scilla, an intermediate-level language designed to make smart contracts less vulnerable to bugs by construction.
Read paper