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
• axic / evm.elf
  ☆74Updated 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
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆55Updated 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
  ☆61Updated 4 years ago
• storming0x / ethlift-rs
  CLI tools intended to be use by smart contract developers for general tasks
  ☆67Updated 2 years ago
• flashbots / block-validation-geth
  To be deprecated in favor of https://github.com/flashbots/builder
  ☆45Updated 2 years ago
• Rjected / ethp2p
  P2P types for ethereum
  ☆80Updated 2 years ago
• transmissions11 / levm
  Lightweight Lua EVM
  ☆59Updated 3 years ago
• tintinweb / evm-shell
  An interactive EVM repl/shell.
  ☆32Updated 4 years ago
• milancermak / cairo-4626
  EIP 4626 in Cairo lang for Starknet
  ☆51Updated 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
• refcell / unix
  A lightweight, extensible foundry library for shell scripting.
  ☆62Updated 3 years ago
• kadenzipfel / bit-packed-map
  On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.
  ☆64Updated 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
• 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
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 3 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 2 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• dapp-org / k-uniswap-v2
  ☆41Updated 5 years ago
• BerkeleyBlockchain / stablesims
  StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…
  ☆56Updated 3 years ago
• erigontech / erigon-book
  Technical book about Erigon technology
  ☆56Updated 3 years ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆76Updated 4 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• JumpCrypto / Safu
  Creating a standard for whitehats
  ☆29Updated 2 years ago
• recmo / experiment-solexp
  Fixed point solidity exponentiation.
  ☆75Updated 3 years ago
• wadealexc / ERC20Tweetable
  Minimal ERC20-compatible bytecode
  ☆72Updated 4 years ago
• partylikeits1983 / num-complex-solidity
  Complex numbers for Solidity
  ☆55Updated last year
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 3 years ago