Solidity ANTLR4 grammar Python parser
☆13Mar 11, 2025Updated last year
Alternatives and similar repositories for sgp
Users that are interested in sgp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zeugwerk-Development-Kit is a fully integrated application-framework and tools for Codesys platforms (i.e. TwinCAT 3)☆19Updated this week
- Low Noise Semgrep Security Rules☆22Feb 6, 2025Updated last year
- 🏦 SigBank - A Database of Smart Contract Function Signatures☆21Feb 20, 2023Updated 3 years ago
- Blog☆23Jun 12, 2026Updated 4 months ago
- Code 4rena Sandbox & Exploits☆14Mar 1, 2022Updated 4 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.
- 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
- The Solidity Smart-Contract Advisor is a cutting-edge tool designed to extend the capabilities of traditional language models in understa…☆13Mar 18, 2026Updated 7 months ago
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆16Aug 8, 2023Updated 3 years ago
- ☆13Jul 11, 2023Updated 3 years ago
- An interactive EVM repl/shell.☆32Sep 30, 2021Updated 5 years ago
- ☆20Apr 19, 2024Updated 2 years ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆145Jun 24, 2024Updated 2 years ago
- ☆71Jul 11, 2024Updated 2 years ago
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆17Aug 8, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Dec 16, 2024Updated last year
- ✨ Solidity Language Lexer and Parser, generated by official ANTLR4 grammar.☆18Feb 2, 2024Updated 2 years ago
- ☆12Mar 21, 2022Updated 4 years ago
- IPBW: Interplanetary Black Widow crawls ur ipfs nodes☆12Sep 2, 2021Updated 5 years ago
- Reserve Folio — A protocol for creating permissionless Index Assets☆11Oct 9, 2025Updated last year
- Ethereum ABI decoder☆13Feb 3, 2023Updated 3 years ago
- Adds background event monitors to pi coding agent sessions: watch shell output or file system changes, wake the session only on real even…☆17May 12, 2026Updated 5 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆244Mar 21, 2024Updated 2 years ago
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆54Aug 1, 2023Updated 3 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.
- Sierra decompiler and analyzer☆12Apr 22, 2025Updated last year
- Anonymous repo for USCHunt, a tool for detecting and classifying upgradeable proxy smart contracts, built atop Slither☆23Apr 2, 2023Updated 3 years ago
- VSCode Language Model Chat Provider integration for Pi coding agent, making Pi models available in VS Code's model picker for use with Gi…☆16Jul 23, 2026Updated 3 months ago
- Qwen3.8-Flash-Next optimized for 1x RTX Pro 6000☆19Sep 17, 2026Updated last month
- Collection of Web3 Audits and Publications by ChainLight of Theori☆14Oct 30, 2023Updated 3 years ago
- Solidity grammar for ANTLR4☆58Apr 18, 2025Updated last year
- RTeAAL Sim: Using Tensor Algebra to Represent and Accelerate RTL Simulation -- ASPLOS'26☆18Mar 31, 2026Updated 6 months ago
- An http2 stack living on top of scapy☆11Oct 24, 2018Updated 8 years ago
- 📊 Generates Solidity Code Metrics Reports for Solidity Source Units in your Repository.☆12Jul 18, 2022Updated 4 years ago
- 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.
- ☆39Apr 14, 2025Updated last year
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Apr 20, 2023Updated 3 years ago
- Pin files for contextual, codebase-level AI assistance.☆16Jul 11, 2024Updated 2 years ago
- This bot is useful to scan honeypot for snipper or gems hunter,☆23Aug 26, 2021Updated 5 years ago
- Generate invariants for Foundry projects with LLM☆108Aug 30, 2024Updated 2 years ago
- A simple workspace based interface to the solidity-parser and objectified Abstract Syntax Tree☆17May 5, 2024Updated 2 years ago
- Formal verification for Solidity smart contracts with the theorem prover Rocq. Providing higher security in a time of smarter AIs.☆54May 24, 2026Updated 5 months ago