Skip to content
View Coder2Programmer's full-sized avatar
4 followers · 2 following

    Achievements

    Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

    Achievements

    Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

    Block or report Coder2Programmer

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    You must be logged in to block users.

    Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse

    Stars

    6 results for source starred repositories written in Python
    Clear filter

    satwikkansal / wtfpython

    What the f*ck Python? 😱

    Python 36,861 2,669 Updated May 10, 2025

    ConsenSysDiligence / mythril

    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.

    Python 4,183 806 Updated Nov 3, 2025

    trailofbits / manticore

    Symbolic execution tool

    Python 3,825 488 Updated Nov 21, 2025

    ivicanikolicsg / MAIAN

    MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

    Python 567 162 Updated Oct 22, 2023

    XChainLab / documentation

    XChainLab Documentation

    Python 566 190 Updated Oct 3, 2023

    gongbell / WANA

    A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector

    Python 32 7 Updated Jan 26, 2023