Stars
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Ethereum system contract implementations (asm)
Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
A symbolic execution engine for EVM smart contract binaries.
Persistent dict, backed by sqlite3 and pickle, multithread-safe.
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum dApps.
A mutation testing tool for Solidity Smart Contracts
Solidity compiler tooling by @NomicFoundation
A script to cleanup your paper before uploading it to arXiv
DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types
Smart contract debugging data format – Standards development working group
Datalog compiler embedded in Rust as a procedural macro
Seq2Parse: Error Correcting Parsing using a Transformer Classifier