Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
☆56Aug 26, 2024Updated last year
Alternatives and similar repositories for solx
Users that are interested in solx are comparing it to the libraries listed below
Sorting:
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆13Apr 27, 2025Updated 10 months ago
- sane NFT fractionalization with no fees or middlemen☆14Feb 10, 2024Updated 2 years ago
- ☆14Oct 11, 2024Updated last year
- ☆64Feb 22, 2026Updated last week
- A rewrite of Optimism's MIPS.sol thread context in Huff☆26Aug 6, 2023Updated 2 years ago
- ☆29Aug 7, 2023Updated 2 years ago
- Cheaper (up to 35k gas) Create3 deployments for small sized contracts (<= ~3.6KB).☆30Jan 28, 2025Updated last year
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆20Aug 17, 2024Updated last year
- Efficient Type Driven Smart Contract Interactions☆107May 3, 2024Updated last year
- ☆72Jan 13, 2024Updated 2 years ago
- Solidity static analyzer☆82Dec 7, 2023Updated 2 years ago
- Huffidity, but let's you jump back to Solidity runtime execution from Huff runtime execution.☆33Aug 28, 2023Updated 2 years ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Jul 15, 2024Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆33Oct 31, 2023Updated 2 years ago
- Solidity helpers for working with Seaport on and off-chain using Forge scripts☆23Apr 22, 2024Updated last year
- ☆11May 4, 2024Updated last year
- Suave/TEE PoCs of MEV Resistant AMMs☆45Feb 6, 2025Updated last year
- Generate tests based on the Branching Tree Technique.☆343Updated this week
- LVR & IL Hedge Hook: Dynamic Fees for pools and Power Perps / Borrwing hedges for LPs. Towards a risk neutral DeFi.☆23Sep 18, 2024Updated last year
- ☆50Jun 12, 2022Updated 3 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Jan 30, 2024Updated 2 years ago
- The Compact is an ownerless ERC6909 contract that facilitates the formation and mediation of reusable resource locks.☆182Dec 23, 2025Updated 2 months ago
- CTF challenges made by MiloTruck☆97Jul 3, 2025Updated 8 months ago
- Secure and private reimplementation of the WalletConnect protocol☆23Sep 6, 2024Updated last year
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆28Mar 9, 2023Updated 2 years ago
- The most optimized ERC20 & Wrapped Ether implementation.☆144Dec 31, 2023Updated 2 years ago
- Collection of past CTFs to play and practice locally.☆52Aug 20, 2024Updated last year
- Submodules Kill Solidity☆38Aug 18, 2023Updated 2 years ago
- Boot an Optimism Node, Blazingly Fast.☆25Oct 1, 2023Updated 2 years ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆75Nov 16, 2023Updated 2 years ago
- A ⁵⁄₉-themed NFT to commemorate me running 10000km in 555 days of running everyday.☆62Jan 20, 2026Updated last month
- Using mutations to improve specs and test suites☆204May 12, 2025Updated 9 months ago
- ☆108Updated this week
- ⏳ Smart contracts of the Sablier Lockup protocol☆343Updated this week
- ☆63Mar 9, 2023Updated 2 years ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- List of Halmos resources.☆59Feb 14, 2025Updated last year
- ☆33Oct 25, 2022Updated 3 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Updated this week