☆14Feb 28, 2025Updated last year
Alternatives and similar repositories for ISSEL-Announcements
Users that are interested in ISSEL-Announcements are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Openclawd configuration audit☆18Feb 5, 2026Updated 9 months ago
- ☆21Mar 31, 2022Updated 4 years ago
- My notes and code from the Paradigm CTF☆41Aug 22, 2022Updated 4 years ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Sep 14, 2023Updated 3 years ago
- Rust bindings for Solidity's AST and visitors☆50Sep 4, 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.
- ☆45Oct 16, 2024Updated 2 years ago
- ☆37Jun 24, 2024Updated 2 years ago
- ☆36Apr 18, 2023Updated 3 years ago
- ☆47Mar 8, 2024Updated 2 years ago
- ☆89Jun 4, 2026Updated 5 months ago
- easy POC template generation from the command line☆78Aug 30, 2024Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆112Oct 6, 2022Updated 4 years ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆96Dec 2, 2025Updated 11 months ago
- ☆113Feb 27, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 🧠 A scriptable semantic grep utility for solidity☆143Aug 8, 2024Updated 2 years ago
- ☆113Mar 6, 2024Updated 2 years ago
- Common security findings in smart contracts☆125Dec 16, 2022Updated 3 years ago
- A Foundry plugin that enables you to plot charts within solidity.☆158Jan 4, 2024Updated 2 years ago
- Diffyscan detects deployment drift by comparing GitHub source with explorer-verified source and on-chain bytecode across EVM networks.☆142Updated this week
- 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
- Security Reviews and Audit Checklists☆144Oct 27, 2026Updated last week
- ☆145Aug 6, 2026Updated 3 months ago
- An AI security awesome list / learning journey☆137Oct 23, 2026Updated 2 weeks 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.
- A forkable template repo for easily writing and testing toy contracts☆150Jan 24, 2024Updated 2 years ago
- To make fuzzing Rust easy☆215Updated this week
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆169Jul 14, 2022Updated 4 years ago
- A repo for ERC4626 Interfaces and Utilities☆188May 26, 2023Updated 3 years ago
- Using mutations to improve specs and test suites☆215Oct 29, 2026Updated last week
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆210Aug 15, 2024Updated 2 years ago
- The Cairo package manager☆224Updated this week
- Solidity compiler tooling by @NomicFoundation☆288Updated this week
- 🍋 An open dataset containing smart contract audit issues from various sources.☆244Mar 21, 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.
- A formal verifier and analysis tool for Solidity Smart Contracts☆256Dec 8, 2022Updated 3 years ago
- A pocket knife for auditing smart contracts.☆259Jan 3, 2023Updated 3 years ago
- ☆263Mar 7, 2023Updated 3 years ago
- Evm laboratory☆314Oct 4, 2026Updated last month
- Symbolic and concrete EVM execution engine☆362Updated this week
- This is a repo with links to everything you'd ever want to learn about data engineering☆832Dec 18, 2024Updated last year
- Generate tests based on the Branching Tree Technique.☆353Mar 14, 2026Updated 7 months ago