RaoulSchaffranek's Stars
pyinstaller/pyinstaller
Freeze (package) Python programs into stand-alone executables
ethereum/web3.py
A python interface for interacting with the Ethereum blockchain and ecosystem.
leanprover/lean4
Lean 4 programming language and theorem prover
blockchain-etl/ethereum-etl
Python scripts for ETL (extract, transform and load) jobs for Ethereum blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transactions. Data is available in Google BigQuery https://goo.gl/oY5BCQ
ethereum/py-evm
A Python implementation of the Ethereum Virtual Machine
d-xo/weird-erc20
weird erc20 tokens
dethcrypto/dethcode
View source of deployed Ethereum contracts in VSCode
a16z/halmos
A symbolic testing tool for EVM smart contracts
nascentxyz/pyrometer
A tool for analyzing the security and parameters of a solidity smart contract
sec-bit/awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
ethereum/eth-tester
Tool suite for testing ethereum applications.
crytic/pyevmasm
Ethereum Virtual Machine (EVM) disassembler and assembler
fergarrui/ethereum-graph-debugger
Ethereum solidity graph plain debugger. To have the whole picture when debugging.
leonardoalt/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
Ackee-Blockchain/wake
Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
lucas-manuel/invariant-examples
crytic/crytic-compile
Abstraction layer for smart contract build systems
GillianPlatform/Gillian
The Gillian Platform main repository
ucsb-seclab/greed
A symbolic execution engine for EVM smart contract binaries.
karmacoma-eth/halmos-sandbox
A forkable template repo for easily writing and testing toy contracts
ethdebug/format
Smart contract debugging data format – Standards development working group
ethpwn/ethpwn
ethpwn - the Swiss Army Knife for Smart Contract Hacking
meelgroup/manthan
Manthan for Boolean function synthesis
eth-sc-comp/benchmarks
Symbolic Execution Benchmarks for Ethereum Smart Contracts
hananbeer/master
Modify ASTs Easily & Reliably
runtimeverification/k-editor-support
Plugin files for editing K files
anajuliabit/web3-bug-contests-analyze-2023
runtimeverification/kup
K and Semantics Distribution Tool
ZealynxSecurity/Possum-Labs
DigitalDefenseCompany/verigood-ai-cli
AI-Powered Formal Software Verification