Solidity grammar for ANTLR4
☆58Apr 18, 2025Updated 10 months ago
Alternatives and similar repositories for antlr
Users that are interested in antlr are comparing it to the libraries listed below
Sorting:
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆182Oct 2, 2025Updated 4 months ago
- ☆13May 27, 2019Updated 6 years ago
- Solidity ANTLR4 grammar Python parser☆13Mar 11, 2025Updated 11 months ago
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆13Aug 8, 2023Updated 2 years ago
- ☆17Jan 23, 2024Updated 2 years ago
- Solidity grammar for ANTLR4☆122May 2, 2020Updated 5 years ago
- List of currently developed optimism bridges☆26May 25, 2021Updated 4 years ago
- Nicad clone detector with support for solidty smart contracts I.e. file-extraction, function-extraction, contract-extraction and block-ex…☆23Mar 14, 2023Updated 2 years ago
- ☆37Mar 26, 2021Updated 4 years ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆145Jun 24, 2024Updated last year
- ☆10Mar 2, 2023Updated 2 years ago
- ☆15Feb 11, 2023Updated 3 years ago
- A tool to generate synthetic tests for the Solidity platform☆28Mar 25, 2024Updated last year
- Abstraction layer for smart contract build systems☆194Updated this week
- Javascript library for EthPM package manifest and registry operations☆13Jan 23, 2023Updated 3 years ago
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆14Aug 8, 2023Updated 2 years ago
- Ethereum smart contract similarity measurement at the basic block level based on triplet netwok☆11Feb 24, 2021Updated 5 years ago
- ☆25Jun 21, 2022Updated 3 years ago
- Mutation Testing for Ethereum Smart Contracts☆206Nov 21, 2023Updated 2 years ago
- Uniswap V3 On-chain oracle infrastructure☆15Sep 2, 2021Updated 4 years ago
- 📊 Generates Solidity Code Metrics Reports for Solidity Source Units in your Repository.☆12Jul 18, 2022Updated 3 years ago
- User interface with high level of deFi functionalities☆16Jan 24, 2023Updated 3 years ago
- Lockable ERC721 contract☆19Jun 30, 2023Updated 2 years ago
- Indexing three datasets for GPTScan☆65Jun 11, 2024Updated last year
- ☆18Nov 9, 2022Updated 3 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 6 months ago
- ☆20Jul 8, 2024Updated last year
- Solidity grammar for tree sitter☆183Feb 11, 2026Updated 2 weeks ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 3 years ago
- A tool for exploring the solc abstract syntax tree☆38Mar 20, 2024Updated last year
- ☆45Jul 29, 2021Updated 4 years ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆22Sep 15, 2024Updated last year
- Hardhat plugin that adds ways to ignore Solidity warnings☆18Updated this week
- Cellular automata on replicated state machine☆26Jun 27, 2022Updated 3 years ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Dec 16, 2024Updated last year
- Claim code generation and on chain verification using EIP-712 instead of merkle proofs☆51Jun 9, 2022Updated 3 years ago
- Carbon bearing NFT, allows you to store BCT (Base Carbon Tonne) carbon credits inside of it.☆22Jan 20, 2022Updated 4 years ago
- Gas-Efficient Solidity DateTime Library☆20Nov 10, 2022Updated 3 years ago
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Feb 15, 2023Updated 3 years ago