Solidity grammar for tree sitter
☆185Feb 11, 2026Updated 2 months ago
Alternatives and similar repositories for tree-sitter-solidity
Users that are interested in tree-sitter-solidity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆46Jul 29, 2021Updated 4 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 4 years ago
- ☆50Sep 11, 2023Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆185Oct 2, 2025Updated 7 months 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 8 months ago
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆69Dec 9, 2025Updated 5 months ago
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 4 years ago
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆84Feb 3, 2024Updated 2 years ago
- Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)☆119Feb 28, 2023Updated 3 years ago
- 🧠 A scriptable semantic grep utility for solidity☆145Aug 8, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Solidity contracts and tests used to benchmark performance of fuzzers☆21Jan 24, 2022Updated 4 years ago
- ☆46Mar 8, 2024Updated 2 years ago
- ☆20Oct 20, 2022Updated 3 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆79Oct 9, 2023Updated 2 years ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆216Dec 25, 2023Updated 2 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 4 years ago
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Feb 2, 2022Updated 4 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
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆145Jun 24, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆81Mar 25, 2025Updated last year
- foundry-x-chainlink☆32Mar 17, 2022Updated 4 years ago
- ☆38Feb 11, 2022Updated 4 years ago
- Semgrep rules for smart contracts based on DeFi exploits☆711Jun 2, 2025Updated 11 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆237Mar 21, 2024Updated 2 years ago
- An interactive Solidity Shell☆540May 28, 2023Updated 2 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Dec 20, 2022Updated 3 years ago
- A tool for exploring the solc abstract syntax tree☆37Mar 20, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Collection of reports/articles/publications/etc of mine.☆50May 26, 2022Updated 3 years ago
- Tools for Yul.☆140Mar 29, 2023Updated 3 years ago
- Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts…☆1,548May 3, 2026Updated last week
- Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork☆68Jul 25, 2022Updated 3 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated last year
- Barebones Solidity smart contract fuzzer☆96Jul 20, 2022Updated 3 years ago
- A smart contract security search utility☆76Dec 26, 2024Updated last year