Alternatives and similar repositories for pinball-ctf

Users that are interested in pinball-ctf are comparing it to the libraries listed below

• JoranHonig / uniswap-v2-core

  View on GitHub
  🎛 Core smart contracts of Uniswap V2
  ☆16Oct 1, 2024Updated last year
• ControlCplusControlV / Sushi-Sway

  View on GitHub
  Probably Nothing
  ☆12May 23, 2022Updated 3 years ago
• refcell / evm.rs

  View on GitHub
  Barebones Rust EVM Implementation
  ☆12Feb 9, 2022Updated 4 years ago
• williamberman / evm-symbolic-execution

  View on GitHub
  ☆38Feb 11, 2022Updated 4 years ago
• leonardoalt / hevm_paper

  View on GitHub
  ☆12Dec 3, 2021Updated 4 years ago
• PossibilityResult / Decentralized-Auctions

  View on GitHub
  ☆12Jan 30, 2023Updated 3 years ago
• The-Arbiter / Hash-Storage-Example

  View on GitHub
  A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.
  ☆13Jul 30, 2022Updated 3 years ago
• protolambda / rollup-node-experiments

  View on GitHub
  rollup node experiments
  ☆15Jan 25, 2022Updated 4 years ago
• 0xkarmacoma / snow-computer-club

  View on GitHub
  ☆17Aug 29, 2022Updated 3 years ago
• Saw-mon-and-Natalie / vscode-evm-toolkit

  View on GitHub
  EVM Toolkit language support for Visual Studio Code
  ☆18Sep 10, 2022Updated 3 years ago
• CodeForcer / rust-pending-stream

  View on GitHub
  Pending transaction stream in rust
  ☆27May 31, 2021Updated 4 years ago
• Certora / FoundryIntegration

  View on GitHub
  Certora integration with the Forge testing framework of Foundry
  ☆21Jun 8, 2023Updated 2 years ago
• refcell / rustbox

  View on GitHub
  Rust Primitives, Learnings, & Frameworks
  ☆17Mar 29, 2022Updated 3 years ago
• Philogy / gobbler-thrones

  View on GitHub
  ☆18Jan 8, 2023Updated 3 years ago
• spearbit / echidna-spearbit-demo

  View on GitHub
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆31Jul 9, 2022Updated 3 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• zkSoju / zen

  View on GitHub
  Zen is a token trading protocol for transferring NFTs P2P.
  ☆15Sep 7, 2022Updated 3 years ago
• whitenois3 / mvrgda

  View on GitHub
  Variable Rate Gradual Dutch Auctions with Martingale Price Correction.
  ☆37Sep 9, 2022Updated 3 years ago
• mattdf / EIP3074Protection

  View on GitHub
  Know if a call is from an EOA no matter what
  ☆33Jun 25, 2021Updated 4 years ago
• m1guelpf / dollar-auction.sol

  View on GitHub
  A dollar auction implementation in Solidity.
  ☆25May 17, 2022Updated 3 years ago
• Maddiaa0 / weiroll-huff

  View on GitHub
  A port of the weiroll vm in huff
  ☆27Jan 18, 2023Updated 3 years ago
• meoawtistic / ruff

  View on GitHub
  ☆37Jun 14, 2022Updated 3 years ago
• axic / weth3074

  View on GitHub
  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
• csienslab / ProMutator

  View on GitHub
  ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions
  ☆41Sep 15, 2021Updated 4 years ago
• lonerapier / Degenmate

  View on GitHub
  The most degen solidity lib out there.
  ☆27Jul 13, 2023Updated 2 years ago
• lucadonnoh / graphiro

  View on GitHub
  A graph library built with Cairo
  ☆28Jul 12, 2022Updated 3 years ago
• plotchy / jop-foundry

  View on GitHub
  ☆21Mar 31, 2022Updated 3 years ago
• hrkrshnn / gastest

  View on GitHub
  A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540
  ☆22Mar 18, 2022Updated 3 years ago
• refcell / stdtests

  View on GitHub
  Extensive Tests with the Forge Standard Library,
  ☆20Apr 19, 2022Updated 3 years ago
• saucepoint / solwiss-tournament

  View on GitHub
  Swiss tournament manager in solidity
  ☆24Sep 11, 2022Updated 3 years ago
• simon-something / Solidity-ASM-weth

  View on GitHub
  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
• 0xalpharush / evm-disassembler

  View on GitHub
  EVM bytecode disassembler
  ☆25Jan 4, 2022Updated 4 years ago
• Vectorized / QDES

  View on GitHub
  Quadratic Decay Exponential Surge
  ☆11Aug 22, 2022Updated 3 years ago
• whitenois3 / TINIH

  View on GitHub
  Produce probabilities for economy-based environments.
  ☆11Sep 10, 2022Updated 3 years ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• WilfredTA / symbolic-stack-machines

  View on GitHub
  Library for building symbolically executable stack-based virtual machines
  ☆75Oct 20, 2022Updated 3 years ago
• recmo / experiment-solexp

  View on GitHub
  Fixed point solidity exponentiation.
  ☆75Apr 11, 2022Updated 3 years ago
• Veridise / Eurus

  View on GitHub
  Precise Attack Synthesis for DeFi Apps
  ☆47Aug 15, 2022Updated 3 years ago
• digama0 / frat

  View on GitHub
  DRAT proof processor
  ☆16Apr 8, 2023Updated 2 years ago