Static Analyzer for Solidity and Vyper
-
Updated
Jun 11, 2026 - Python
#
Solidity
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on various blockchain platforms, most notably, Ethereum. The Solidity programming language is an open source, community project governed by a core team. The core team is sponsored by the Ethereum Foundation. The programs compiled by the Solidity are intended to be run on Ethereum Virtual Machine.
Here are 743 public repositories matching this topic...
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.
security ethereum smart-contracts blockchain symbolic-execution solidity program-analysis security-analysis
-
Updated
Apr 27, 2026 - Python
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
ethereum smart-contracts blockchain polygon solidity ethereum-contract tron-protocol maticnetwork binance-smart-chain avalanche-c-chain arbitrum
-
Updated
Jun 28, 2024 - Python
Ethereum smart contracts for security and utility tokens
python ethereum smart-contracts blockchain ico solidity crowdsale solidity-contracts security-token-service security-token
-
Updated
Dec 8, 2022 - Python
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
-
Updated
May 20, 2026 - Python
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
security awesome ethereum dapp smart-contracts tokens solidity awesome-list vulnerabilities erc20 erc20-tokens
-
Updated
Feb 15, 2024 - Python
Ethereum contract for Bitcoin SPV: Live on https://etherscan.io/address/0x41f274c0023f83391de4e0733c609df5a124c3d4
bitcoin ethereum smart-contracts production live solidity bitcoin-transaction mainnet btc-relay bitcoin-proof
-
Updated
Jul 3, 2023 - Python
Curated Web3 security learning hub for smart contract auditors and protocol teams: roadmaps, audit tools, public reports, fuzzing, formal verification, AI-assisted workflows, offchain security, incident response, and launch checklists.
solidity bugbounty web3 evm formal-verification ctf-challenges ai-security web3-solidity zero-knowledge-proofs roadmaps supply-chain-security formal-verification-methods smart-contract-security web3-tools security-best-practices defi-security web3-security smart-contract-auditing web3-audit-reports ai-assisted-auditing
-
Updated
May 27, 2026 - Python
Slither Detectors by Pessimistic.io
-
Updated
Jun 25, 2024 - Python
Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum dApps.
-
Updated
Jun 21, 2026 - Python
Simplify Ethereum security analysis and testing
-
Updated
Feb 14, 2025 - Python
<블록체인의 정석 The Art of Blockchain>, <하이퍼레저 블록체인 개발 Hands-On Blockchain with Hyperledger> 소스코드 및 참고자료 저장소
-
Updated
Jan 12, 2023 - Python
Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256
cryptography tools libraries ethereum solidity ring-signatures secp256k1 zero-knowledge schnorr bn256
-
Updated
Jun 18, 2019 - Python
A python utility to flatten Solidity code with imports into a single file.
-
Updated
Sep 13, 2023 - Python
Autonomous Web3 security audit agent for Claude Code
security-audit ethereum solidity sui solana aptos ai-agent smart-contract-audit web3-security claude-code
-
Updated
Jun 27, 2026 - Python
Implementation of a novel practical scheme for submarine commitments
-
Updated
Dec 8, 2022 - Python
Created by Gavin Wood, Christian Reitwiessner, Alex Beregszaszi
Released August 2015
- Followers
- 728 followers
- Repository
- ethereum/solidity
- Website
- github.com/topics/solidity
- Wikipedia
- Wikipedia