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
• 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
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 3 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• 0xBeans / IAmTheOptimizor
  A gas competition to see who the best optimizor is
  ☆74Updated 3 years ago
• axic / evm.elf
  ☆74Updated 3 years ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 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
• kadenzipfel / bit-packed-map
  On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.
  ☆64Updated 3 years ago
• Rjected / ethp2p
  P2P types for ethereum
  ☆79Updated 2 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
  ☆54Updated 3 years ago
• counterdao / dss
  Decentralized Summation System
  ☆45Updated 3 years ago
• JetJadeja / flashloan-workshop
  Contracts for my flashloan workshop/lecture at UPenn
  ☆77Updated 3 years ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 3 years ago
• milancermak / cairo-4626
  EIP 4626 in Cairo lang for Starknet
  ☆52Updated 3 years ago
• botdad / arbirps
  On chain rock paper scissors game using zero knowledge proofs for hiding plays
  ☆67Updated 3 years ago
• summa-tx / memview-sol
  Memory access with runtime typechecking in Solidity
  ☆76Updated 2 years ago
• flashbots / block-validation-geth
  To be deprecated in favor of https://github.com/flashbots/builder
  ☆45Updated 2 years ago
• noxx3xxon / evm-by-example
  ☆74Updated 3 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆91Updated 4 years ago
• refcell / unix
  A lightweight, extensible foundry library for shell scripting.
  ☆62Updated 3 years ago
• recmo / experiment-solexp
  Fixed point solidity exponentiation.
  ☆75Updated 3 years ago
• jtriley2p / mutexer
  ☆58Updated 2 years ago
• erigontech / erigon-book
  Technical book about Erigon technology
  ☆56Updated 3 years ago
• xorddotcom / SHIELD
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆59Updated 3 years ago
• ScopeLift / l2-optimizoooors
  Gas efficient routers for L2 applications
  ☆116Updated 3 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 3 years ago
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 3 years ago