Robust Speech Recognition via Large-Scale Weak Supervision

A collection of design patterns/idioms in Python

Static Analyzer for Solidity and Vyper

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.

Symbolic execution tool

Uniswap arbitrage problem analysis

A symbolic testing tool for EVM smart contracts

EVM dissassembler

A mempool sniping bot for Ethereum, Binance Smart Chain, Matic, & Fantom

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

Python package with core transaction decoding functions.

evm binary static analysis

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

Ethereum Virtual Machine transaction tracing tool

Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors

a vyper interpreter

AI based fuzzer based on imitation learning

The python RLP serialization library

Web3.0/Vyper based wargame

A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors

A static verifer for Ethereum Smart Contracts written in Vyper