Alternatives and similar repositories for 2vyper

Users that are interested in 2vyper are comparing it to the libraries listed below

• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• 0age / devcon5-contract-runtime-mutability
  Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka
  ☆36Updated 6 years ago
• axic / evm.elf
  ☆74Updated 3 years ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆60Updated 4 years ago
• refcell / unix
  A lightweight, extensible foundry library for shell scripting.
  ☆62Updated 3 years ago
• storming0x / ethlift-rs
  CLI tools intended to be use by smart contract developers for general tasks
  ☆67Updated 2 years ago
• 0xBeans / IAmTheOptimizor
  A gas competition to see who the best optimizor is
  ☆74Updated 3 years ago
• sky-ecosystem / mips-best-practices
  A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).
  ☆44Updated 3 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆55Updated 3 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆91Updated 4 years ago
• milancermak / cairo-4626
  EIP 4626 in Cairo lang for Starknet
  ☆51Updated 3 years ago
• JumpCrypto / Safu
  Creating a standard for whitehats
  ☆29Updated 2 years ago
• cerc-io / tx-spammer
  Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)
  ☆17Updated last year
• emo-eth / solarray
  A blazing-fast helper library for convenient Solidity dynamic arrays
  ☆42Updated last year
• wadealexc / ERC20Tweetable
  Minimal ERC20-compatible bytecode
  ☆71Updated 4 years ago
• noxx3xxon / evm-by-example
  ☆77Updated 3 years ago
• ribbon-finance / metavault
  Templating for meta vaults
  ☆23Updated 3 years ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 3 years ago
• sense-finance / space-v1
  Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle
  ☆39Updated 2 years ago
• botdad / arbirps
  On chain rock paper scissors game using zero knowledge proofs for hiding plays
  ☆68Updated 3 years ago
• kadenzipfel / bit-packed-map
  On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.
  ☆64Updated 3 years ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• ElliotFriedman / forge-proposal-simulator
  standardized framework to simulate governance proposals with forge
  ☆57Updated 2 years ago
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆59Updated 2 years ago
• 0xKitsune / Foundry-Huff
  A Foundry template to compile and test Huff contracts.
  ☆51Updated 3 years ago
• huff-language / vscode-huff
  An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.
  ☆50Updated last year
• shunkakinoki / foundry-simulator
  Simulate txs to human readable format
  ☆28Updated 2 years ago
• brockelmore / HEVMHelpers
  ☆48Updated 4 years ago
• BerkeleyBlockchain / stablesims
  StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…
  ☆55Updated 3 years ago