Solidity static analyzer
☆84Dec 7, 2023Updated 2 years ago
Alternatives and similar repositories for sstan
Users that are interested in sstan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆32Oct 31, 2023Updated 2 years ago
- Partial Block Building with TEEs☆19Mar 27, 2024Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆75Feb 2, 2024Updated 2 years ago
- ☆68Sep 11, 2023Updated 3 years ago
- inscriptions lol☆16Dec 24, 2023Updated 2 years ago
- 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.
- A rewrite of Optimism's MIPS.sol thread context in Huff☆26Aug 6, 2023Updated 3 years ago
- Run arbitrary code on the EVM☆266Feb 21, 2024Updated 2 years ago
- Testing echidna vs. forge fuzzing☆77Dec 20, 2022Updated 3 years ago
- Ring Signature-like Protocol for Anonymous Ethereum Signatures☆10Nov 21, 2024Updated last year
- ☆100May 24, 2023Updated 3 years ago
- ☆33Oct 25, 2022Updated 3 years ago
- ☆164Jul 30, 2023Updated 3 years ago
- Symbolic stack CFG generator for EVM☆190Feb 10, 2025Updated last year
- POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors☆45Jul 16, 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.
- ☆14May 3, 2023Updated 3 years ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆37Oct 2, 2026Updated last week
- A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.☆428Nov 17, 2023Updated 2 years ago
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆162Oct 2, 2026Updated last week
- EVM Execution Hooks.☆257Updated this week
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- A Solidity framework for upgradeable modularized applications.☆52Apr 12, 2024Updated 2 years ago
- ☆29Oct 7, 2022Updated 4 years ago
- ☆65Jan 16, 2023Updated 3 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.
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Jan 30, 2024Updated 2 years ago
- Whitenoise CTF I: Doves in the Wind☆20Oct 11, 2022Updated 4 years ago
- mevETH LST Protocol - Repo has migrated see link☆26Mar 12, 2024Updated 2 years ago
- https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code☆40Jan 18, 2022Updated 4 years ago
- ☆192Jun 14, 2023Updated 3 years ago
- ☆62Mar 9, 2023Updated 3 years ago
- ☆35Jul 8, 2022Updated 4 years ago
- Rust bindings for Solidity's AST and visitors☆50Sep 4, 2023Updated 3 years ago
- Stop Loss Orders via Uniswap V4 Hooks☆77Sep 27, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Scaling Ethereum, but this time in rust.☆89Apr 23, 2023Updated 3 years ago
- L2 builder proxy☆17Sep 7, 2026Updated last month
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Dec 23, 2022Updated 3 years ago
- An MEV back-running template for ethers-rs☆74Apr 17, 2025Updated last year
- ☆87Feb 2, 2025Updated last year
- The Good Ethereum Assembler☆147Jul 18, 2026Updated 2 months ago
- Tools for Yul.☆140Mar 29, 2023Updated 3 years ago