Building the critical infrastructure for Ethereum applications.
21
公共仓库
31,347
总星标
187
关注者
Solidity, the Smart Contract Programming Language
Emerging smart contract language for the Ethereum blockchain.
Javascript bindings for the Solidity compiler
Source code verification service for Ethereum smart contracts
This repository contains current and historical builds of the Solidity Compiler.
Symbolic and concrete EVM execution engine
Smart contract specification language
Website for the Underhanded Solidity Contest
experimental solidity compiler
Collection of articles about the Solidity language and compiler
此仓库未提供描述。
此仓库未提供描述。
Website of the Solidity Summit conference series
此仓库未提供描述。
The Solidity Language Portal is a high-level information page for Solidity, aiming to present consolidated news and making visitors aware of and leading them to relevant other websites.
Solidity fuzzing tooling lives here.
Source files for docker images used to build the Solidity compiler.
Website for the Argot Collective
Archive of the Formal Verification blog
此仓库未提供描述。
Brand assets for the Argot Collective