logo

Building the critical infrastructure
for Ethereum applications.

Argot Collective is a non-profit, independent research and development group sustaining Ethereum's core programming languages and tooling, most notably Solidity. We provide a stable, long-term home for these projects.

By uniting expertise in compilers, formal verification, and language design under one roof, we make smart contract and Ethereum application development simpler, safer, and more resilient.

To learn more about our governance and values, please read our manifesto.

Our Projects

Act

Formal specification language for EVM programs

Read More

Ethdebug

Smart contract debugging data format that aims to make the EVM readable

Read More

Fe

Statically-typed language for the EVM

Read More

Hevm

Symbolic execution engine for the EVM

Read More

Solidity

Statically-typed curly-braces EVM programming language

Read More

Sourcify

Open-source and decentralized source-code verification service

Read More
Argot Collective Logo

Read our latest blog post

2025 Roadmap Update

Read