runtimeverification/foundry-upgradeable-contracts-examples external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

runtimeverification/foundry-upgradeable-contracts-examples

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/runtimeverification/foundry-upgradeable-contracts-examples)

Close

runtimeverification / foundry-upgradeable-contracts-examplesView on GitHubMore

• External links
• Readme badge

Example tests for exploring upgradeable contracts with Foundry

☆13Nov 4, 2022Updated 3 years ago

Alternatives and similar repositories for foundry-upgradeable-contracts-examples

Users that are interested in foundry-upgradeable-contracts-examples are comparing it to the libraries listed below

• vvs-finance / vvs-swap-core

  View on GitHub
  ☆15Nov 16, 2021Updated 4 years ago
• AshiqAmien / decently-safe-defi

  View on GitHub
  ☆15Jun 24, 2023Updated 2 years ago
• vvs-finance / vvs-farm

  View on GitHub
  ☆23Jan 11, 2022Updated 4 years ago
• profmaad / bitcaml

  View on GitHub
  Bitcoin node implementation in OCaml
  ☆13Jan 23, 2026Updated last month
• ConsenSysMesh / rb-relay

  View on GitHub
  WorkInProgress Contract on Ropsten that verifies Rinkeby transactions
  ☆14Feb 21, 2023Updated 3 years ago
• dhanjani / MoonbirdsSploit

  View on GitHub
  PROOF of concept exploit for the Moonbirds NFT smart contract reentrancy vulnerability.
  ☆11May 31, 2022Updated 3 years ago
• jtriley2p / libhuff

  View on GitHub
  optimized huff snippets
  ☆20May 2, 2023Updated 2 years ago
• Raz0r / evil-nft

  View on GitHub
  ☆14Mar 8, 2022Updated 4 years ago
• cslashm / ECPy

  View on GitHub
  ☆40Aug 22, 2025Updated 6 months ago
• Marvinmw / ChatVul

  View on GitHub
  ☆13Apr 26, 2023Updated 2 years ago
• clabby / sparse-arr-lib

  View on GitHub
  A library to assist with handling sparse arrays in storage.
  ☆28Jan 26, 2023Updated 3 years ago
• immunefi-team / polygon-transferwithsig

  View on GitHub
  ☆47Mar 13, 2024Updated 2 years ago
• code-423n4 / 2022-10-blur

  View on GitHub
  ☆44Oct 18, 2023Updated 2 years ago
• jusonalien / DefiAttackPocBox

  View on GitHub
  ☆19Jun 7, 2022Updated 3 years ago
• nifty-gateway / niftygateway

  View on GitHub
  Nifty gateway with examples
  ☆14Jan 3, 2023Updated 3 years ago
• nifty-gateway / NiftyWallet

  View on GitHub
  Source code of the Nifty Wallet
  ☆13Apr 22, 2019Updated 6 years ago
• wpic / imageuplodify

  View on GitHub
  Simple JQuery-Bootstrap plugin to change image upload field to modern lookandfeel and drag&drop support.
  ☆16May 12, 2018Updated 7 years ago
• erc6900 / resources

  View on GitHub
  ☆20May 16, 2024Updated last year
• astriaorg / sequencer-relayer

  View on GitHub
  relays blocks from the shared sequencer to the DA layer
  ☆27May 25, 2023Updated 2 years ago
• zhouxianyuan / Web3_Knowledge_Base

  View on GitHub
  ☆16Jan 14, 2025Updated last year
• orenyomtov / code-is-law-2

  View on GitHub
  Solidity CTF challenge from BSides TLV 2022
  ☆14Jul 8, 2022Updated 3 years ago
• Nicca42 / atlantis-alpha

  View on GitHub
  Atlantis is an un-opinionated modular DAO framework geared towards cascading sub-DAOs and cross-DAO composability.
  ☆18Dec 23, 2021Updated 4 years ago
• paulmolluzzo / simple_share_popups

  View on GitHub
  Simple share buttons that create popup windows for posting content.
  ☆24May 8, 2014Updated 11 years ago
• vyperlang / learn

  View on GitHub
  Cryptozombies for Vyper: Learn Vyper by building games!
  ☆36Oct 18, 2024Updated last year
• SpazioDati / docker-openrefine

  View on GitHub
  This is a docker containing refine and many extensions (included rdf)
  ☆25Nov 5, 2014Updated 11 years ago
• tinchoabbate / eth-sec-lab

  View on GitHub
  A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.
  ☆41Jul 31, 2023Updated 2 years ago
• prem30488 / C2CUDATranslator

  View on GitHub
  Automatic Conversion of Source Code for C to CUDA C
  ☆23Apr 1, 2014Updated 11 years ago
• ipld / ipld-examples

  View on GitHub
  ☆30Dec 6, 2022Updated 3 years ago
• BuidlGuidl / zupass-scaffold-eth-2

  View on GitHub
  ☆10Feb 22, 2024Updated 2 years ago
• mal-plankton / solidity

  View on GitHub
  Solidity code
  ☆10Jan 29, 2023Updated 3 years ago
• Jon-Becker / research

  View on GitHub
  This repository contains research papers & studies that I have worked on or am currently working on.
  ☆12Jan 29, 2026Updated last month
• GreyhoundAnalytics / tutorials

  View on GitHub
  ☆10Feb 19, 2022Updated 4 years ago
• makcandrov / meplang

  View on GitHub
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆29Feb 20, 2026Updated last month
• Proof-Of-Hack-Protocol / challenges

  View on GitHub
  challenges-repository
  ☆14Nov 3, 2022Updated 3 years ago
• frangio / eip712-wrapper-for-eip1271

  View on GitHub
  ☆16Apr 24, 2024Updated last year
• kethcode / vEVM

  View on GitHub
  ☆116Jul 28, 2023Updated 2 years ago
• bifubao / proof_of_reserves

  View on GitHub
  proof of reserves
  ☆20Mar 21, 2014Updated 12 years ago
• PortSwigger / burp-subdomain

  View on GitHub
  Burp Suite extension to easily export sub domains
  ☆12Dec 2, 2019Updated 6 years ago
• qrtt1 / aws-lambda-tor

  View on GitHub
  ☆28Jun 4, 2019Updated 6 years ago