☆35Jul 8, 2022Updated 4 years ago
Alternatives and similar repositories for solmate-math-fuzz
Users that are interested in solmate-math-fuzz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code☆40Jan 18, 2022Updated 4 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Jun 3, 2022Updated 4 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 4 years ago
- A Foundry template to compile and test Huff contracts.☆51Jun 21, 2022Updated 4 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.
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 4 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆46Jul 17, 2022Updated 4 years ago
- clones-with-immutable-args by wighawag written in Huff.☆28Sep 15, 2022Updated 3 years ago
- ☆23Jul 1, 2023Updated 3 years ago
- Collection of reports/articles/publications/etc of mine.☆50May 26, 2022Updated 4 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Oct 1, 2022Updated 3 years ago
- ☆55Oct 4, 2022Updated 3 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 8 years ago
- ☆50Sep 11, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆40Aug 23, 2022Updated 3 years ago
- Solidity contracts and tests used to benchmark performance of fuzzers☆21Jan 24, 2022Updated 4 years ago
- ☆19Jun 20, 2022Updated 4 years ago
- Generic Vector library for Solidity☆27Mar 21, 2022Updated 4 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆31Jul 9, 2022Updated 4 years ago
- ☆72May 14, 2025Updated last year
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38May 11, 2023Updated 3 years ago
- My notes and code from the Paradigm CTF☆42Aug 22, 2022Updated 3 years ago
- A barebones framework for hand tuned smart contracts in pure opcodes.☆48Aug 22, 2022Updated 3 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.
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 4 years ago
- ☆27Aug 23, 2022Updated 3 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Jul 29, 2023Updated 2 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- ☆21Mar 31, 2022Updated 4 years ago
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Oct 7, 2022Updated 3 years ago
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago
- ERC20.⛳☆20May 4, 2022Updated 4 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.
- On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.☆64Jul 14, 2022Updated 4 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆120Mar 22, 2023Updated 3 years ago
- Solidity library generator for compact struct encoding on the stack.☆110Mar 19, 2023Updated 3 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆33Oct 31, 2023Updated 2 years ago
- ☆75Jun 28, 2022Updated 4 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- ☆51Jan 22, 2024Updated 2 years ago