Pinned Repositories
act
Smart contract specification language
fe
Emerging smart contract language for the Ethereum blockchain.
hevm
Symbolic and concrete EVM execution engine
solc-bin
This repository contains current and historical builds of the Solidity Compiler.
solc-js
Javascript bindings for the Solidity compiler
solcore
experimental solidity compiler
solidity
Solidity, the Smart Contract Programming Language
solidity-blog
Collection of articles about the Solidity language and compiler
solidity-underhanded-contest
Website for the Underhanded Solidity Contest
sourcify
Source code verification service for Ethereum smart contracts
Argot Collective's Repositories
argotorg/solidity
Solidity, the Smart Contract Programming Language
argotorg/fe
Emerging smart contract language for the Ethereum blockchain.
argotorg/solc-js
Javascript bindings for the Solidity compiler
argotorg/sourcify
Source code verification service for Ethereum smart contracts
argotorg/solc-bin
This repository contains current and historical builds of the Solidity Compiler.
argotorg/hevm
Symbolic and concrete EVM execution engine
argotorg/act
Smart contract specification language
argotorg/solidity-underhanded-contest
Website for the Underhanded Solidity Contest
argotorg/solidity-blog
Collection of articles about the Solidity language and compiler
argotorg/yul-isabelle
argotorg/solcore
experimental solidity compiler
argotorg/solidity-website
argotorg/solidity-summit
Website of the Solidity Summit conference series
argotorg/solidity-fuzzing-corpus
argotorg/solidity-portal
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.
argotorg/argot.org
Website for the Argot Collective
argotorg/fv-blog
Archive of the Formal Verification blog
argotorg/solidity-buildpack-deps
Source files for docker images used to build the Solidity compiler.
argotorg/assets
Brand assets for the Argot Collective