☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Probably Nothing☆12May 23, 2022Updated 3 years ago
- 🎛 Core smart contracts of Uniswap V2☆16Oct 1, 2024Updated last year
- Pending transaction stream in rust☆27May 31, 2021Updated 4 years ago
- ☆38Feb 11, 2022Updated 4 years ago
- rollup node experiments☆15Jan 25, 2022Updated 4 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.
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago
- ☆12Dec 3, 2021Updated 4 years ago
- ☆17Aug 29, 2022Updated 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
- EVM Toolkit language support for Visual Studio Code☆18Sep 10, 2022Updated 3 years ago
- Know if a call is from an EOA no matter what☆33Jun 25, 2021Updated 4 years ago
- Rust Primitives, Learnings, & Frameworks☆17Mar 29, 2022Updated 4 years ago
- ☆12Jan 30, 2023Updated 3 years ago
- ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions☆41Sep 15, 2021Updated 4 years ago
- 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.
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Feb 2, 2022Updated 4 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 2 years ago
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540☆22Mar 18, 2022Updated 4 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆31Jul 9, 2022Updated 3 years ago
- EVM bytecode disassembler☆25Jan 4, 2022Updated 4 years ago
- Variable Rate Gradual Dutch Auctions with Martingale Price Correction.☆37Sep 9, 2022Updated 3 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- ☆15Nov 22, 2021Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A set of tools for use with the huff language.☆21Jun 24, 2022Updated 3 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- ☆18Jan 8, 2023Updated 3 years ago
- A port of the weiroll vm in huff☆27Jan 18, 2023Updated 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
- A high-level javascript transpiler for weiroll☆53Sep 9, 2022Updated 3 years ago
- An EVM interpreter (wip)☆12Aug 29, 2021Updated 4 years ago
- A dollar auction implementation in Solidity.☆25May 17, 2022Updated 3 years ago
- Library for building symbolically executable stack-based virtual machines☆76Oct 20, 2022Updated 3 years ago
- 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.
- ☆48May 8, 2021Updated 4 years ago
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- Extensive Tests with the Forge Standard Library,☆20Apr 19, 2022Updated 3 years ago
- On-Chain Experiment Hub☆14Mar 31, 2022Updated 3 years ago
- Quadratic Decay Exponential Surge☆11Aug 22, 2022Updated 3 years ago
- ☆37Jun 14, 2022Updated 3 years ago
- ☆13Apr 9, 2021Updated 4 years ago