0xkarmacoma / pinball-ctfView external linksLinks
β27Oct 29, 2021Updated 4 years ago
Alternatives and similar repositories for pinball-ctf
Users that are interested in pinball-ctf are comparing it to the libraries listed below
Sorting:
- π Core smart contracts of Uniswap V2β16Oct 1, 2024Updated last year
- Probably Nothingβ12May 23, 2022Updated 3 years ago
- Barebones Rust EVM Implementationβ12Feb 9, 2022Updated 4 years ago
- β38Feb 11, 2022Updated 4 years ago
- β12Dec 3, 2021Updated 4 years ago
- β12Jan 30, 2023Updated 3 years ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.β13Jul 30, 2022Updated 3 years ago
- rollup node experimentsβ15Jan 25, 2022Updated 4 years ago
- β17Aug 29, 2022Updated 3 years ago
- EVM Toolkit language support for Visual Studio Codeβ18Sep 10, 2022Updated 3 years ago
- Pending transaction stream in rustβ27May 31, 2021Updated 4 years ago
- Certora integration with the Forge testing framework of Foundryβ21Jun 8, 2023Updated 2 years ago
- Rust Primitives, Learnings, & Frameworksβ17Mar 29, 2022Updated 3 years ago
- β18Jan 8, 2023Updated 3 years ago
- Example code for testing using Echidna explained during the Spearbit presentationβ31Jul 9, 2022Updated 3 years ago
- proof first, evm specific smt solverβ69Apr 11, 2022Updated 3 years ago
- Zen is a token trading protocol for transferring NFTs P2P.β15Sep 7, 2022Updated 3 years ago
- Variable Rate Gradual Dutch Auctions with Martingale Price Correction.β37Sep 9, 2022Updated 3 years ago
- Know if a call is from an EOA no matter whatβ33Jun 25, 2021Updated 4 years ago
- A dollar auction implementation in Solidity.β25May 17, 2022Updated 3 years ago
- A port of the weiroll vm in huffβ27Jan 18, 2023Updated 3 years ago
- β37Jun 14, 2022Updated 3 years ago
- WETH3074 is a new version of the WETH contract which utilizes EIP-3074 to avoid the need for wrapping/unwrapping. In essence it turns ETHβ¦β39Sep 15, 2022Updated 3 years ago
- ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactionsβ41Sep 15, 2021Updated 4 years ago
- The most degen solidity lib out there.β27Jul 13, 2023Updated 2 years ago
- A graph library built with Cairoβ28Jul 12, 2022Updated 3 years ago
- β21Mar 31, 2022Updated 3 years ago
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540β22Mar 18, 2022Updated 3 years ago
- Extensive Tests with the Forge Standard Library,β20Apr 19, 2022Updated 3 years ago
- Swiss tournament manager in solidityβ24Sep 11, 2022Updated 3 years ago
- Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in aβ¦β26Nov 25, 2021Updated 4 years ago
- EVM bytecode disassemblerβ25Jan 4, 2022Updated 4 years ago
- Quadratic Decay Exponential Surgeβ11Aug 22, 2022Updated 3 years ago
- Produce probabilities for economy-based environments.β11Sep 10, 2022Updated 3 years ago
- Batching zero over k checksβ11Feb 11, 2023Updated 3 years ago
- Library for building symbolically executable stack-based virtual machinesβ75Oct 20, 2022Updated 3 years ago
- Fixed point solidity exponentiation.β75Apr 11, 2022Updated 3 years ago
- Precise Attack Synthesis for DeFi Appsβ47Aug 15, 2022Updated 3 years ago
- DRAT proof processorβ16Apr 8, 2023Updated 2 years ago