Superfluid protocol specification, implementations and development kit
The Smart Contract Programming Language
Browser-based compiler and IDE
A permissioned Ethereum smart-contract blockchain node
(Formerly Solium) Code quality & Security Linter for Solidity