Rui | verilog's repositories
crytic-compile
Abstraction layer for smart contract build systems
Language:PythonAGPL-3.0000
solc-select
Manage and switch between Solidity compiler versions
Language:PythonAGPL-3.0000
slither
Static Analyzer for Solidity
Language:PythonAGPL-3.0000
slither-scripts
Auditing scripts for Slither (https://github.com/crytic/slither)
Language:Jupyter NotebookMIT000
Language:Jupyter NotebookMIT000
Language:Solidity000
solidity-examples
Loose collection of Solidity example code
MIT000
remix-ide
Documentation for Remix IDE
000
remix-project
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
MIT000
Language:JavaScript000
Apache-2.0000