Official repository for the Security Frameworks by SEAL. Curated and battle-tested security best practices with a focus on crypto/web3.
☆94Oct 26, 2026Updated this week
Alternatives and similar repositories for frameworks
Users that are interested in frameworks 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 13, 2026Updated 7 months ago
- ☆30Aug 12, 2026Updated 2 months ago
- A CLI to setup a full equiped web3 dev container.☆21Aug 20, 2026Updated 2 months ago
- ☆85Feb 1, 2026Updated 8 months ago
- Using smart contracts to verify the content of a webpage, mitigating the risk of connecting a wallet to a website affected by a DNS takeo…☆27Dec 7, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My version of a clone factory with immutable args WIP!☆18May 7, 2022Updated 4 years ago
- This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and compu…☆415Updated this week
- SEAL 911 is a project designed to give users, developers, and security researchers an accessible way to connect with a small group of hig…☆338Oct 17, 2026Updated last week
- A smart contract payment system built for automated service management☆24May 7, 2025Updated last year
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆29Jul 27, 2023Updated 3 years ago
- 👛 Personalize your Wallet☆21Jan 19, 2026Updated 9 months ago
- ☆40Aug 23, 2022Updated 4 years ago
- Work in progress explorer for AccessControl roles☆14Oct 14, 2026Updated 2 weeks ago
- List of Halmos resources.☆63Feb 14, 2025Updated last year
- 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.
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated 2 years ago
- Refinement proofs in Lean for EVM bytecode☆26Oct 19, 2026Updated last week
- ☆12Dec 30, 2024Updated last year
- ☆13Sep 9, 2026Updated last month
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- ☆12Mar 21, 2022Updated 4 years ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆78Dec 11, 2025Updated 10 months ago
- ☆14Jun 28, 2026Updated 4 months ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 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.
- Solidity ANTLR4 grammar Python parser☆13Mar 11, 2025Updated last year
- ☆18Aug 14, 2025Updated last year
- ☆50May 12, 2023Updated 3 years ago
- Smart contract audit / optimization reports generated by solstat.☆14Nov 3, 2022Updated 3 years ago
- ☆13Sep 18, 2023Updated 3 years ago
- A hyperoptimised implementation of the legendary Curve Tricrypto contract☆33Dec 26, 2022Updated 3 years ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆244Mar 21, 2024Updated 2 years ago
- ☆104Nov 25, 2025Updated 11 months ago
- 📜 Useful script to build complex Gnosis Safe transactions involving Gnosis Multisend and/or Zodiac modifiers☆18Apr 16, 2026Updated 6 months 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.
- ☆11Apr 10, 2026Updated 6 months ago
- Solidity bytecode mapping for caller authorization☆20Jul 12, 2022Updated 4 years ago
- EVM Smart Contract Storage Viewer and Comparator☆37Oct 22, 2026Updated last week
- Signet Orders examples in solidity☆13May 28, 2026Updated 5 months ago
- Simple Rust script for finding colliding 4byte function selectors☆59Jun 12, 2023Updated 3 years ago
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆38Nov 22, 2025Updated 11 months ago
- Curation of DevSecOps tools that all work together inside the minimum amount of containers. Just run make exec and read the How To!☆44Nov 11, 2024Updated last year