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
Ethdebug
Smart contract debugging data format that aims to make the EVM readable
Fe
Statically-typed language for the EVM
Hevm
Symbolic execution engine for the EVM
Solidity
Statically-typed curly-braces EVM programming language
Sourcify
Open-source and decentralized source-code verification service