repos
71
ecosystems
28
languages
9
commits
576
─── top repos · by commits
─── repositories
71 totala MythX API client wrapper
MythX smart contract security verification plugin for Truffle Framework
User and developer guide for MythX
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
A lightweight Mythril for developers
A benchmark suite for evaluating the precision of EVM code analysis tools.
[Optimism] (Slightly) modified Solidity compiler
lllc support with latest opcodes
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
my version of solidity
ethereum-solidity
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Smart Contract Programming Language
Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
This is solc-verify, a modular verifier for Solidity.
Solidity, the Contract-Oriented Programming Language
Turkish community translation of the Solidity documentation
ZKsync fork of the original Solidity compiler.
Portuguese / Brazilian translation of the Solidity docs
Fork of the Solidity Compiler for compiling Solidity to IELE
Chinese community translation of the Solidity documentation
Russian community translation of the Solidity documentation
Indonesian community translation of the Solidity documentation
Spanish community translation of the Solidity documentation
Korean community translation of the Solidity documentation
Japanese community translation of the Solidity documentation
Solidity For Cortex
The Solidity Contract-Oriented Programming Language
Solidity, the Smart Contract Programming Language
Solidity, the Smart Contract Programming Language
Examples of Solidity security issues
Smart Contract Weakness Classification and Test Cases
Pure Rust implementation of Ethereum Virtual Machine
Visual Studio Code language support extension for Solidity smart contracts in Ethereum https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity
A Blockchain Virtual Machine
Aurora EVM – a high-performance, pure Rust implementation of the Ethereum Virtual Machine (EVM). Designed for security, efficiency, and full Ethereum compatibility.
Pure Rust implementation of Ethereum Virtual Machine
Ethereum Virtual Machine implementation in Rust. Nightly version of SputnikVM.
A Blockchain Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Pure Rust implementation of Ethereum Virtual Machine
Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
Security analysis tool for Ethereum smart contracts
Trufflesuite website source ✨
An ethereum evm bytecode disassembler and static/dynamic analysis tool
─── peer developers
─── ecosystems
─── languages
- C++18
- Rust18
- CMake7
- JavaScript3
- Python3
- HTML2
- Solidity2
- ANTLR1
- TypeScript1
─── subscriber view
Unlock the full view of rocky
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.