Solidity grammar for tree sitter
☆186Feb 11, 2026Updated 8 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:
- Mutation Testing for Ethereum Smart Contracts☆209Nov 21, 2023Updated 2 years ago
- ☆46Jul 29, 2021Updated 5 years ago
- ☆13Sep 17, 2022Updated 4 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆186Oct 2, 2025Updated last year
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆99Sep 3, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆84Feb 3, 2024Updated 2 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…☆70Dec 9, 2025Updated 10 months ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆145Jun 24, 2024Updated 2 years ago
- https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code☆40Jan 18, 2022Updated 4 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆29May 7, 2022Updated 4 years ago
- ☆35Jul 8, 2022Updated 4 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 last year
- 🧠 A scriptable semantic grep utility for solidity☆143Aug 8, 2024Updated 2 years ago
- ☆51Sep 11, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)☆121Feb 28, 2023Updated 3 years ago
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 4 years ago
- ☆38Feb 11, 2022Updated 4 years ago
- A tool for analyzing the security and parameters of a solidity smart contract☆796Feb 14, 2025Updated last year
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆216Dec 25, 2023Updated 2 years ago
- SolEval is the 1st evaluation framework designed to benchmark Large Language Models (LLMs) for generating Solidity smart contracts at the…☆14Feb 10, 2026Updated 8 months ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆77Oct 9, 2023Updated 3 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆17May 31, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Editor extensions for Solar and Foundry☆11Sep 18, 2025Updated last year
- Practical tutorials of Certora Prover☆248Sep 27, 2023Updated 3 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Dec 20, 2022Updated 3 years ago
- Smart contract fuzzer for Foundry projects — Echidna-inspired, written in Rust☆20Jul 28, 2026Updated 3 months ago
- Solidity contracts and tests used to benchmark performance of fuzzers☆21Jan 24, 2022Updated 4 years ago
- Semgrep rules for smart contracts based on DeFi exploits☆712Jun 2, 2025Updated last year
- ☆47Mar 8, 2024Updated 2 years ago
- Solidity language support and visual security auditor for Visual Studio Code☆598Jun 24, 2024Updated 2 years ago
- A symbolic testing tool for EVM smart contracts☆1,038Aug 6, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LLM for solidity smart contract automated program repair☆17Mar 5, 2025Updated last year
- data and code for paper "CCGIR: Information Retrieval-based Code Comment Generation Method for Smart Contracts", which accepted in KBS. 智…☆17Apr 24, 2022Updated 4 years ago
- An interactive Solidity Shell☆539May 28, 2023Updated 3 years ago
- Symbolic and concrete EVM execution engine☆362Updated this week
- ☆50Jan 14, 2025Updated last year
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆139Jun 26, 2026Updated 4 months ago
- Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts…☆1,635Updated this week