☆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:
- ☆21Mar 31, 2022Updated 4 years ago
- This repo contains files and jupyter notebooks for the project- Predicting energy consumption of the entire region in southern CA served…☆41Sep 6, 2020Updated 5 years ago
- ☆37Jun 24, 2024Updated last year
- My notes and code from the Paradigm CTF☆42Aug 22, 2022Updated 3 years ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Sep 14, 2023Updated 2 years ago
- 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.
- ☆46Oct 16, 2024Updated last year
- Rust bindings for Solidity's AST and visitors☆50Sep 4, 2023Updated 2 years ago
- ☆36Apr 18, 2023Updated 3 years ago
- ☆47Mar 8, 2024Updated 2 years ago
- easy POC template generation from the command line☆78Aug 30, 2024Updated last year
- Symbolic execution engine written in Solidity, based on Difference Logic.☆112Oct 6, 2022Updated 3 years ago
- ☆125May 24, 2022Updated 4 years ago
- spacy-wordnet creates annotations that easily allow the use of wordnet and wordnet domains by using the nltk wordnet interface☆261Aug 21, 2025Updated 9 months ago
- 🧠 A scriptable semantic grep utility for solidity☆144Aug 8, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Diff your Github against Etherscan.☆139Jun 11, 2026Updated last week
- Common security findings in smart contracts☆126Dec 16, 2022Updated 3 years ago
- A Foundry plugin that enables you to plot charts within solidity.☆159Jan 4, 2024Updated 2 years ago
- Security Reviews and Audit Checklists☆136Jun 12, 2026Updated last week
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆136Jun 10, 2026Updated last week
- To make fuzzing Rust easy☆208Jun 11, 2026Updated last week
- A repo for ERC4626 Interfaces and Utilities☆188May 26, 2023Updated 3 years ago
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆209Aug 15, 2024Updated last year
- The Cairo package manager☆219Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Solidity compiler tooling by @NomicFoundation☆279Updated this week
- A curated list of smart contracts security audits checklists and resources.☆325Feb 4, 2026Updated 4 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆239Mar 21, 2024Updated 2 years ago
- A formal verifier and analysis tool for Solidity Smart Contracts☆255Dec 8, 2022Updated 3 years ago
- A pocket knife for auditing smart contracts.☆258Jan 3, 2023Updated 3 years ago
- ☆264Mar 7, 2023Updated 3 years ago
- Evm laboratory☆309Jun 4, 2026Updated 2 weeks ago
- Symbolic and concrete EVM execution engine☆341Jun 10, 2026Updated last week
- Feature Selection using Genetic Algorithm (DEAP Framework)☆377Feb 21, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Generate tests based on the Branching Tree Technique.☆351Mar 14, 2026Updated 3 months ago
- This is a repo with links to everything you'd ever want to learn about data engineering☆803Dec 18, 2024Updated last year
- Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)☆390Apr 18, 2026Updated 2 months ago
- Monorepo for Sablier's EVM smart contracts including Lockup, Flow, Airdrops, Bob and Utils protocols☆345May 28, 2026Updated 3 weeks ago
- Blazing fast toolkit for developing Starknet contracts.☆388Updated this week
- Uniswap V3 clone built to learn smart-contracts development in Solidity☆381Apr 4, 2024Updated 2 years ago
- MEV-Boost Relay for Ethereum proposer/builder separation (PBS)☆494Jun 12, 2026Updated last week