pypi.org "solidity" keyword
View the packages on the pypi.org package registry that are tagged with the "solidity" keyword.
dpack-py 0.2.2 💰
dpack is an evm artifact package format5 versions - Latest release: over 1 year ago - 25 downloads last month - 957 stars on GitHub - 1 maintainer
Top 1.7% on pypi.org
46 versions - Latest release: 6 months ago - 9 dependent packages - 186 dependent repositories - 65.9 thousand downloads last month - 4,976 stars on GitHub - 4 maintainers
slither-analyzer 0.11.3
Slither is a Solidity and Vyper static analysis framework written in Python 3.46 versions - Latest release: 6 months ago - 9 dependent packages - 186 dependent repositories - 65.9 thousand downloads last month - 4,976 stars on GitHub - 4 maintainers
Top 1.4% on pypi.org
126 versions - Latest release: 4 months ago - 18 dependent packages - 564 dependent repositories - 59.1 thousand downloads last month - 2,614 stars on GitHub - 1 maintainer
eth-brownie 1.21.0
A Python framework for Ethereum smart contract deployment, testing and interaction.126 versions - Latest release: 4 months ago - 18 dependent packages - 564 dependent repositories - 59.1 thousand downloads last month - 2,614 stars on GitHub - 1 maintainer
eip712-structs-ng 2.0.1 💰
A Python interface for EIP-712 struct construction.2 versions - Latest release: over 1 year ago - 4 dependent packages - 181 downloads last month - 2 stars on GitHub - 1 maintainer
Top 7.3% on pypi.org
50 versions - Latest release: 11 months ago - 5 dependent packages - 5 dependent repositories - 4.84 thousand downloads last month - 17 stars on GitHub - 2 maintainers
ape-solidity 0.8.5 💰
Plugin for Ape Ethereum Framework for compiling Solidity contracts50 versions - Latest release: 11 months ago - 5 dependent packages - 5 dependent repositories - 4.84 thousand downloads last month - 17 stars on GitHub - 2 maintainers
Top 2.2% on pypi.org
165 versions - Latest release: about 1 month ago - 57 dependent packages - 95 dependent repositories - 30.9 thousand downloads last month - 1,004 stars on GitHub - 3 maintainers
eth-ape 0.8.37 💰
Ape Ethereum Framework165 versions - Latest release: about 1 month ago - 57 dependent packages - 95 dependent repositories - 30.9 thousand downloads last month - 1,004 stars on GitHub - 3 maintainers
eth-defi 0.28.1
Python library for Uniswap, Aave, ChainLink, Enzyme and other protocols on BNB Chain, Polygon, Et...2 versions - Latest release: 8 months ago - 475 downloads last month - 733 stars on GitHub - 1 maintainer
Top 4.3% on pypi.org
108 versions - Latest release: 4 months ago - 2 dependent packages - 5 dependent repositories - 3.99 thousand downloads last month - 733 stars on GitHub - 1 maintainer
web3-ethereum-defi 0.29.1
Integrate Ethereum Web3 and DeFi protocols into your Python application.108 versions - Latest release: 4 months ago - 2 dependent packages - 5 dependent repositories - 3.99 thousand downloads last month - 733 stars on GitHub - 1 maintainer
wake-ai 0.2.0
AI-powered smart contract security analysis framework3 versions - Latest release: about 1 month ago - 128 downloads last month - 16 stars on GitHub - 1 maintainer
evmole 0.8.1
Extracts function selectors and arguments from EVM bytecode22 versions - Latest release: 6 days ago - 1.05 thousand downloads last month - 210 stars on GitHub - 1 maintainer
oasis-sapphire-py 0.4.0
Oasis Sapphire encryption middleware for Web3.py2 versions - Latest release: 6 months ago - 88 downloads last month - 61 stars on GitHub - 2 maintainers
eth-wake 4.20.1
Wake is a Python-based Solidity development and testing framework with built-in vulnerability det...42 versions - Latest release: about 2 months ago - 1 dependent package - 1.38 thousand downloads last month - 324 stars on GitHub - 1 maintainer
slitherin 0.7.2
Pessimistic security Slither detectors12 versions - Latest release: over 1 year ago - 1 dependent package - 290 downloads last month - 374 stars on GitHub - 1 maintainer
Top 2.9% on pypi.org
313 versions - Latest release: over 1 year ago - 2 dependent packages - 35 dependent repositories - 20.5 thousand downloads last month - 4,106 stars on GitHub - 2 maintainers
mythril 0.24.8
Security analysis tool for Ethereum smart contracts313 versions - Latest release: over 1 year ago - 2 dependent packages - 35 dependent repositories - 20.5 thousand downloads last month - 4,106 stars on GitHub - 2 maintainers
ethcx 0.0.4
Python wrapper and version management tool for ethereum-targeting compilers.4 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 704 downloads last month - 0 stars on GitHub - 1 maintainer
w3multicall 0.3.1
Python interface and utilities for Solidity multicall contract9 versions - Latest release: about 1 year ago - 7.89 thousand downloads last month - 14 stars on GitHub - 1 maintainer
sto 0.4.1
Security token manager10 versions - Latest release: over 6 years ago - 1 dependent repositories - 77 downloads last month - 99 stars on GitHub - 1 maintainer
ethsential 0.2.6
EthSential package for Python-Guide.org8 versions - Latest release: almost 5 years ago - 1 dependent repositories - 36 downloads last month - 25 stars on GitHub - 1 maintainer
tree-sitter-solidity 1.2.13 💰
Solidity grammar for tree-sitter5 versions - Latest release: about 2 months ago - 1.32 thousand downloads last month - 166 stars on GitHub - 1 maintainer
telson 1.0.0
World's Strongest Smart Contract Security Scanner with Machine Learning1 version - Latest release: 13 days ago - 64 downloads last month - 1 maintainer
eth-vertigo 1.3.0 💰
Mutation Testing for Ethereum Smart Contracts17 versions - Latest release: over 4 years ago - 1 dependent repositories - 131 downloads last month - 206 stars on GitHub - 1 maintainer
py-helios-solc 3.2.2
Python wrapper around the helios solc binary2 versions - Latest release: almost 6 years ago - 1 dependent repositories - 17 downloads last month - 0 stars on GitHub - 1 maintainer
solcix 0.1.8
A Python wrapper for the Solidity compiler. Switch between versions, compile, and manage artifacts.9 versions - Latest release: over 2 years ago - 29 downloads last month - 8 stars on GitHub - 1 maintainer
stingr 1.0.0
World's Strongest Smart Contract Security Scanner with Machine Learning1 version - Latest release: 13 days ago - 64 downloads last month - 1 maintainer
skorpion 1.0.0
World's Strongest Smart Contract Security Scanner with Machine Learning1 version - Latest release: 13 days ago - 70 downloads last month - 1 maintainer
guardefi 1.0.0
World's Strongest Smart Contract Security Scanner with Machine Learning1 version - Latest release: 13 days ago - 66 downloads last month - 1 maintainer
scorpius-scanner 2.0.1
World's Strongest Smart Contract Security Scanner with Machine Learning4 versions - Latest release: 13 days ago - 1 maintainer
badger-utils 0.2.5
Badger utils and shared code11 versions - Latest release: over 3 years ago - 2 dependent repositories - 132 downloads last month - 2 stars on GitHub - 1 maintainer
Top 8.7% on pypi.org
12 versions - Latest release: over 4 years ago - 2 dependent packages - 358 dependent repositories - 17.8 thousand downloads last month - 2 stars on gitlab.com - 1 maintainer
pygments-lexer-solidity 0.7.0
Solidity lexer for Pygments (includes Yul intermediate language)12 versions - Latest release: over 4 years ago - 2 dependent packages - 358 dependent repositories - 17.8 thousand downloads last month - 2 stars on gitlab.com - 1 maintainer
Top 5.2% on pypi.org
36 versions - Latest release: over 3 years ago - 2 dependent packages - 150 dependent repositories - 3.47 thousand downloads last month - 32 stars on GitHub - 1 maintainer
pythx 1.7.3
A Python library for the MythX platform36 versions - Latest release: over 3 years ago - 2 dependent packages - 150 dependent repositories - 3.47 thousand downloads last month - 32 stars on GitHub - 1 maintainer
easysolc 0.1.4
Python wrapper for solc (Solidity compiler)6 versions - Latest release: over 6 years ago - 1 dependent package - 3 dependent repositories - 35 downloads last month - 6 stars on GitHub - 1 maintainer
Top 8.0% on pypi.org
46 versions - Latest release: over 1 year ago - 1 dependent package - 145 dependent repositories - 2.77 thousand downloads last month - 3 stars on GitHub - 1 maintainer
mythx-models 3.0.0
Python domain model classes for the MythX platform46 versions - Latest release: over 1 year ago - 1 dependent package - 145 dependent repositories - 2.77 thousand downloads last month - 3 stars on GitHub - 1 maintainer
solcx-select 0.2.0
Console script to symlink py-solc-x installed solc binaries to allow access from the command line...2 versions - Latest release: almost 2 years ago - 27 downloads last month - 0 stars on GitHub - 1 maintainer
etheno 0.3.2
Etheno is a JSON RPC multiplexer, differential fuzzer, and test framework integration tool.9 versions - Latest release: almost 3 years ago - 1 dependent repositories - 35 downloads last month - 339 stars on GitHub - 3 maintainers
fuconv 0.0.2
uint and hex values converter for solidity CTFs2 versions - Latest release: over 1 year ago - 7 downloads last month - 2 stars on GitHub - 1 maintainer
sol-warp 1.2.0
A Solidity to Cairo Transpiler30 versions - Latest release: over 3 years ago - 2 dependent repositories - 162 downloads last month - 751 stars on GitHub - 1 maintainer
evm-warp 0.2.2
Transpile EVM-Compatible Languages To Cairo5 versions - Latest release: almost 4 years ago - 1 dependent repositories - 20 downloads last month - 748 stars on GitHub - 1 maintainer
solderx 0.1.1
⚡️ SolderX – Melt Imports. Solder Solidity. Flatten Everything 🔥2 versions - Latest release: 2 months ago - 53 downloads last month - 2 stars on GitHub - 1 maintainer
pytest-cobra 1.0.4
PyTest plugin for testing Smart Contracts for Ethereum blockchain.9 versions - Latest release: over 6 years ago - 2 dependent repositories - 58 downloads last month - 27 stars on GitHub - 2 maintainers
resilient-python-cache 0.1.1
Python library for syncing ResilientDB data via WebSocket and HTTP with seamless reconnection.2 versions - Latest release: 11 months ago - 10 downloads last month - 2 stars on GitHub - 1 maintainer
eth-wake-tests 0.1.1
Generic tests for common Ethereum standards utilizing Wake.2 versions - Latest release: over 1 year ago - 16 downloads last month - 1 stars on GitHub - 1 maintainer
python-geth 1.7.54
Release of the unofficial python geth library34 versions - Latest release: over 4 years ago - 1 dependent repositories - 50 downloads last month - 1 stars on GitHub - 1 maintainer
solidity-grammar-parser 0.0.2
Solidity ANTLR4 grammar Python parser2 versions - Latest release: almost 2 years ago - 11 downloads last month - 13 stars on GitHub - 1 maintainer
ape-utils 0.0.6 💰
Utility plugin to expose some of the Ape's awesome features to CLI4 versions - Latest release: about 1 year ago - 36 downloads last month - 2 stars on GitHub - 1 maintainer
resdb-orm 1.1.5
A simple ORM for ResilientDB's key-value store.7 versions - Latest release: 11 months ago - 23 downloads last month - 2 stars on GitHub - 1 maintainer
Top 7.3% on pypi.org
10 versions - Latest release: about 4 years ago - 48 dependent repositories - 581 downloads last month - 36 stars on GitHub - 1 maintainer
brownie-token-tester 0.3.2
Helper objects for generating ERC20s while testing a Brownie project.10 versions - Latest release: about 4 years ago - 48 dependent repositories - 581 downloads last month - 36 stars on GitHub - 1 maintainer
ezeth 1.3.1
simple python client to access ethereum network7 versions - Latest release: over 2 years ago - 1 dependent repositories - 12 downloads last month - 0 stars on GitHub - 1 maintainer
eth-hentai 0.6.1
Common Ethereum smart contracts, and related utilities, for developing automated test suites, bac...6 versions - Latest release: over 3 years ago - 1 dependent repositories - 17 downloads last month - 715 stars on GitHub - 1 maintainer
merkly 1.0.2
🌳 The simple and easy implementation of Merkle Tree24 versions - Latest release: almost 2 years ago - 1.73 thousand downloads last month - 40 stars on GitHub - 1 maintainer
ape-aurora 0.1.0a3
ape-aurora: Ape Ecosystem Plugin for Aurora2 versions - Latest release: over 3 years ago - 30 downloads last month - 0 stars on GitHub - 1 maintainer
purechainlib 2.1.7
Python SDK for PureChain EVM network - Zero gas cost blockchain development17 versions - Latest release: 20 days ago - 1.18 thousand downloads last month - 1 maintainer
solfuse 1.1.0
A Tool to generate state-machine indicating invalid call-chain from Solidity source code.6 versions - Latest release: 5 months ago - 13 downloads last month - 0 stars on gitlab.com - 1 maintainer
solc-json-parser 0.1.9
AST parser from solc json file5 versions - Latest release: over 1 year ago - 14 downloads last month - 11 stars on GitHub - 1 maintainer
solidbyte 1.0.2
Solidity development tools for creating Ethereum smart contracts27 versions - Latest release: about 5 years ago - 1 dependent repositories - 45 downloads last month - 6 stars on GitHub - 1 maintainer
woke 3.6.2
Woke is a Python-based development and testing framework for Solidity.28 versions - Latest release: almost 2 years ago - 1 dependent repositories - 73 downloads last month - 299 stars on GitHub - 1 maintainer
spoon-audit 0.1.0
AI-powered smart contract audit assistant with SpoonOS integration1 version - Latest release: about 2 months ago - 23 downloads last month - 1 maintainer
easyweb3 1.2308.0
Work easier with Web3 in Python18 versions - Latest release: about 2 years ago - 1 dependent repositories - 77 downloads last month - 5 stars on GitHub - 1 maintainer
solidityparserplus 0.0.4
A Solidity parser for Python built on top of a robust ANTLR4 grammar4 versions - Latest release: almost 3 years ago - 13 downloads last month - 0 stars on GitHub - 1 maintainer
abch-woke 1.0.0
Woke is a Python-based development and testing framework for Solidity.11 versions - Latest release: about 3 years ago - 82 downloads last month - 67 stars on GitHub - 1 maintainer
oracle-predeployed 1.0.0a4
A tool for generating predeployed oracle smart contract5 versions - Latest release: 10 months ago - 1 dependent repositories - 16 downloads last month - 3 stars on GitHub - 1 maintainer
sindi 0.2.0
SInDi: Semantic Invariant Differencing for Solidity Smart Contracts2 versions - Latest release: about 1 month ago - 84 downloads last month - 9 stars on GitHub - 1 maintainer
solgraphplus 0.0.5
An upgraded version of Solgraph:Display function information in the contract5 versions - Latest release: almost 3 years ago - 17 downloads last month - 1 stars on GitHub - 1 maintainer
openzeppelin-solidity-grammar-parser 0.0.5
Solidity ANTLR4 grammar Python parser3 versions - Latest release: 7 months ago - 952 downloads last month - 13 stars on GitHub - 1 maintainer
pycontractsdk.v2 0.1.4
This is a sdk of constract5 versions - Latest release: about 6 years ago - 9 downloads last month - 1 maintainer
nevermined-contracts 3.5.0
Smart Contracts for Nevermined Data platform68 versions - Latest release: about 2 years ago - 1 dependent repositories - 589 downloads last month - 5 stars on GitHub - 2 maintainers
gasdiff 0.4.0
Generates Markdown reports for Forge gas report diffs4 versions - Latest release: 5 months ago - 24 downloads last month - 0 stars on GitHub - 1 maintainer
tsol 0.1.3
Templated Solidity for smart contracts.4 versions - Latest release: about 8 years ago - 1 dependent repositories - 5 downloads last month - 5 stars on GitHub - 1 maintainer
simular-evm 0.3.0
smart-contract api and embedded ethereum virtual machine7 versions - Latest release: 6 months ago - 326 downloads last month - 13 stars on GitHub - 1 maintainer
skorpius 1.0.1
World's Strongest Smart Contract Security Scanner with Machine Learning2 versions - Latest release: 13 days ago - 1 maintainer
Top 8.0% on pypi.org
8 versions - Latest release: almost 4 years ago - 3 dependent repositories - 2.14 thousand downloads last month - 148 stars on GitHub - 1 maintainer
solidity-parser 0.1.1
A Solidity parser for Python built on top of a robust ANTLR4 grammar8 versions - Latest release: almost 4 years ago - 3 dependent repositories - 2.14 thousand downloads last month - 148 stars on GitHub - 1 maintainer
solidity-flattener 0.2.2
Flattens Solidity code that uses imports into a single file.4 versions - Latest release: almost 8 years ago - 5 dependent repositories - 25 downloads last month - 265 stars on GitHub - 2 maintainers
solcheck 0.1.5
A smart contract auditing tools6 versions - Latest release: 3 months ago - 28 downloads last month - 0 stars on GitHub - 1 maintainer
ipor-fusion 0.23.0
The IPOR Fusion SDK for Python24 versions - Latest release: about 1 month ago - 408 downloads last month - 3 stars on GitHub - 1 maintainer
sphinxcontrib-soliditydomain 0.5.1
Solidity domain for Sphinx10 versions - Latest release: almost 7 years ago - 13 dependent repositories - 19 downloads last month - 3 stars on GitHub - 1 maintainer
eburger 1.0.7
eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart...9 versions - Latest release: over 1 year ago - 57 downloads last month - 37 stars on GitHub - 1 maintainer
sl-optimizer 0.0.4
Optimizing the arrangement of data in storage layout.4 versions - Latest release: over 1 year ago - 15 downloads last month - 0 stars on GitHub - 1 maintainer
soldocs 0.1.1
Generating Markdown documentation from populus compiled contracts.json2 versions - Latest release: over 7 years ago - 3 dependent repositories - 7 downloads last month - 1 stars on GitHub - 1 maintainer
moonworm 0.9.3
moonworm: Generate a command line interface to any Ethereum smart contract48 versions - Latest release: about 1 year ago - 2 dependent packages - 1 dependent repositories - 123 downloads last month - 38 stars on GitHub - 1 maintainer
Top 5.5% on pypi.org
20 versions - Latest release: over 1 year ago - 1 dependent package - 144 dependent repositories - 29.9 thousand downloads last month - 39 stars on GitHub - 1 maintainer
py-solc-ast 1.2.10
A tool for exploring the abstract syntax tree generated by solc.20 versions - Latest release: over 1 year ago - 1 dependent package - 144 dependent repositories - 29.9 thousand downloads last month - 39 stars on GitHub - 1 maintainer
py-solidity-ast 0.1.5
A Python library for parsing and working with the AST output of the Solc compiler6 versions - Latest release: almost 2 years ago - 30 downloads last month - 11 stars on GitHub - 1 maintainer
py-solc-x-ir 1.0.0
Python wrapper and version management tool for the solc Solidity compiler with IR support.1 version - Latest release: over 2 years ago - 1 dependent repositories - 35 downloads last month - 0 stars on GitHub - 1 maintainer
py-solc-x-epvt 0.4.0
Python wrapper around the solc binary with 0.5.x support1 version - Latest release: over 2 years ago - 5 downloads last month - 0 stars on GitHub - 1 maintainer
Top 4.7% on pypi.org
100 versions - Latest release: 2 months ago - 2 dependent packages - 6 dependent repositories - 11.2 thousand downloads last month - 83 stars on GitHub - 1 maintainer
ocean-contracts 2.4.0
🐳 Ocean Protocol L1 - v4100 versions - Latest release: 2 months ago - 2 dependent packages - 6 dependent repositories - 11.2 thousand downloads last month - 83 stars on GitHub - 1 maintainer
lib-estimate-sol 0.0.2
Script to estimate the size of solidity source code1 version - Latest release: about 3 years ago - 1 dependent repositories - 6 downloads last month - 3 stars on GitHub - 1 maintainer
checksfinance-soulmoment 0.0.1
An implementation of Soul-bound token in Cairo.1 version - Latest release: over 3 years ago - 1 dependent repositories - 14 downloads last month - 37 stars on GitHub - 1 maintainer
neuradao-ocean-contracts 1.0.0
🐳 Ocean Protocol L1 - v41 version - Latest release: about 3 years ago - 11 downloads last month - 82 stars on GitHub - 1 maintainer
estimate-sol 0.0.0
Script to estimate the size of solidity source code1 version - Latest release: about 3 years ago - 4 downloads last month - 3 stars on GitHub - 1 maintainer
solidity-typestub 0.0.1
Generate python typestubs for abi of solidity contracts1 version - Latest release: almost 4 years ago - 1 dependent repositories - 5 downloads last month - 0 stars on GitHub - 1 maintainer
smart-contracts-for-testing 0.1.0
Popular Solidity smart contracts to be used in testing: ERC-20, Uniswap v2, etc.1 version - Latest release: over 3 years ago - 1 dependent repositories - 9 downloads last month - 727 stars on GitHub - 1 maintainer
solidity-unfolder 1.0.1
A Python package to unfold soldity code with imports into a single file.1 version - Latest release: over 7 years ago - 2 dependent repositories - 8 downloads last month - 21 stars on GitHub - 1 maintainer
pytest-eth 0.0.0.dev1
PyTest plugin for testing Smart Contracts for Ethereum Virtual Machine (EVM).1 version - Latest release: about 5 years ago - 1 dependent repositories - 6 downloads last month - 27 stars on GitHub - 1 maintainer
pytest-solidity 0.0.0.dev1
A PyTest library plugin for Solidity language.1 version - Latest release: over 3 years ago - 1 dependent repositories - 5 downloads last month - 27 stars on GitHub - 1 maintainer
wake-arena-cli 1.4.0
Wake Arena CLI tool22 versions - Latest release: 3 months ago - 243 downloads last month - 290 stars on GitHub - 1 maintainer
Top 4.7% on pypi.org
10 versions - Latest release: over 6 years ago - 13 dependent packages - 18 dependent repositories - 17.3 thousand downloads last month - 35 stars on GitHub - 1 maintainer
eip712-structs 1.1.0
A python library for EIP712 objects10 versions - Latest release: over 6 years ago - 13 dependent packages - 18 dependent repositories - 17.3 thousand downloads last month - 35 stars on GitHub - 1 maintainer
gmx-python-ng 1.0.1
A Python SDK for interacting with GMX2 versions - Latest release: 4 months ago - 1.24 thousand downloads last month - 0 stars on GitHub - 2 maintainers
abi2solc 0.1.0
A library for generating Solidity interfaces from ABIs.1 version - Latest release: about 6 years ago - 1 dependent repositories - 59 downloads last month - 7 stars on GitHub - 1 maintainer
balpy-v2 0.1.2
Balancer V2 Monorepo3 versions - Latest release: over 2 years ago - 32 downloads last month - 324 stars on GitHub - 1 maintainer
pycontractsdk 0.0.9
This is a sdk of constract7 versions - Latest release: over 6 years ago - 1 dependent repositories - 22 downloads last month - 1 maintainer
Top 3.0% on pypi.org
30 versions - Latest release: 4 months ago - 29 dependent packages - 304 dependent repositories - 73.7 thousand downloads last month - 144 stars on GitHub - 2 maintainers
py-solc-x 2.0.4 💰
Python wrapper and version management tool for the solc Solidity compiler.30 versions - Latest release: 4 months ago - 29 dependent packages - 304 dependent repositories - 73.7 thousand downloads last month - 144 stars on GitHub - 2 maintainers
Top 2.4% on pypi.org
9 versions - Latest release: 6 months ago - 7 dependent packages - 82 dependent repositories - 178 thousand downloads last month - 789 stars on GitHub - 2 maintainers
solc-select 1.1.0
Manage multiple Solidity compiler versions.9 versions - Latest release: 6 months ago - 7 dependent packages - 82 dependent repositories - 178 thousand downloads last month - 789 stars on GitHub - 2 maintainers
Related Keywords
ethereum
74
blockchain
28
python
27
smart-contracts
27
security
19
web3
17
evm
16
solc
14
defi
13
audit
13
testing
9
vyper
9
ai
8
pytest
8
solidity-contracts
8
web3py
8
framework
8
static-analysis
7
smart-contract
6
uniswap
6
vulnerability
6
brownie
6
scanner
6
machine-learning
6
deployment
5
development
5
security-analysis
5
sushiswap
5
bnb-chain
5
binance-smart-chain
5
python3
5
polygon
5
parser
5
pancakeswap
5
cryptocurrency
5
lsp-server
4
symbolic-execution
4
testing-framework
4
ast
4
py-solc
4
erc-20
4
apeworx
4
eth
3
rust
3
dapp
3
program-analysis
3
pytest-plugin
3
pytest-cobra
3
ethereum-blockchain
3
cobra
3
solidity-flattener
3
starknet
3
compiler
3
ape
3
hacktoberfest
3
developer-tools
3
crypto
3
nft
3
sdk
3
antlr
2
ocean-contracts
2
datatoken
2
oceanprotocol
2
abi
2
alloy
2
starkware
2
dapptools
2
fuzzing
2
mainnet-fork
2
seth
2
tooling
2
evm-bytecode
2
cairo-lang
2
cairo
2
mythx
2
eip712
2
vyper-contracts
2
difference
2
equivalence-checker
2
invariants
2
antlr4-python3
2
rewrite-rules
2
antlr4-grammar
2
antlr4
2
semantic-analysis
2
semantic-equivalence
2
constract
2
agent-based modeling
2
simulation
2
utxo
2
key-value-database
2
distributed-ledger
2
distributed-database
2
blockchain-platform
2
documentation
2
solidity-compiler
2
bnb smart chain
2
avalanche
2
arbitrum
2
chainlink
2