Side-by-side comparison

Statically typed, contract-oriented language for the EVM; the dominant smart contract language by far.

Memory-safe systems language without a GC; most admired for a decade and spreading into kernels and tooling.

Pythonic EVM language focused on auditability and security; used by Curve, Lido and Yearn.

Rust-like language for writing provable programs and Starknet contracts that compile to STARK proofs.