JoranHonig / tree-sitter-solidityView external linksLinks
Solidity grammar for tree sitter
☆181Updated this week
Alternatives and similar repositories for tree-sitter-solidity
Users that are interested in tree-sitter-solidity are comparing it to the libraries listed below
Sorting:
- Mutation Testing for Ethereum Smart Contracts☆206Nov 21, 2023Updated 2 years ago
- https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code☆40Jan 18, 2022Updated 4 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 3 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 3 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆46Jul 17, 2022Updated 3 years ago
- ☆51Sep 11, 2023Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆182Oct 2, 2025Updated 4 months ago
- ☆20Oct 20, 2022Updated 3 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Oct 9, 2023Updated 2 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- ☆45Jul 29, 2021Updated 4 years ago
- Solidity contracts and tests used to benchmark performance of fuzzers☆21Jan 24, 2022Updated 4 years ago
- 🧠 A scriptable semantic grep utility for solidity☆144Aug 8, 2024Updated last year
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆82Feb 3, 2024Updated 2 years ago
- ☆38Feb 11, 2022Updated 4 years ago
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆68Dec 9, 2025Updated 2 months ago
- ☆17Mar 17, 2023Updated 2 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated 5 months ago
- ☆46Mar 8, 2024Updated last year
- Library for building symbolically executable stack-based virtual machines☆75Oct 20, 2022Updated 3 years ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆213Dec 25, 2023Updated 2 years ago
- Materials related to security: docs, checklists, processes, etc...☆203Updated this week
- Reference documentation on every gas price API and all the different formats☆101Aug 17, 2025Updated 5 months ago
- A reentrancy attack on the Deadfrenz Lab Pass contract☆19Feb 20, 2022Updated 3 years ago
- ☆110Nov 8, 2025Updated 3 months ago
- A smart contract security search utility☆76Dec 26, 2024Updated last year
- Collection of reports/articles/publications/etc of mine.☆50May 26, 2022Updated 3 years ago
- Measure gas savings with different Solidity optimizations☆54Apr 17, 2022Updated 3 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆120Mar 22, 2023Updated 2 years ago
- foundry-x-chainlink☆32Mar 17, 2022Updated 3 years ago
- An interactive Solidity Shell☆541May 28, 2023Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆227Apr 19, 2023Updated 2 years ago
- Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts…☆1,487Feb 8, 2026Updated last week
- A tool for exploring the solc abstract syntax tree☆38Mar 20, 2024Updated last year
- Semgrep rules for smart contracts based on DeFi exploits☆705Jun 2, 2025Updated 8 months ago
- Barebones Solidity smart contract fuzzer☆96Jul 20, 2022Updated 3 years ago