The Smart Contract Programming Language
Static Analyzer for Solidity
Synthetix Solidity smart contracts
Ethereum smart contract fuzzer
Solidity plugin for IntelliJ
Compiler and IDE that enables users to build Ethereum contracts
Superfluid protocol specification, implementations and development kit
A home for ethereum smart contracts
Raiden Network
Dapp, Seth, Hevm, and more
A permissioned Ethereum smart-contract blockchain node
(Formerly Solium) Code quality & Security Linter for Solidity