Alternatives and similar repositories for evm-placeholder-verification

Users that are interested in evm-placeholder-verification are comparing it to the libraries listed below

• jtriley2p / tcontext
  ☆10Updated last year
• aragonzkresearch / ovote
  Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf
  ☆11Updated 2 years ago
• morpho-org / morpho-certora-tutorials
  ☆10Updated 3 years ago
• chinmay-farkya / Yul-contracts
  ☆10Updated 2 years ago
• mal-plankton / solidity
  Solidity code
  ☆10Updated 2 years ago
• georgercarder / compression
  solidity compression utility
  ☆21Updated last year
• outdoteth / cally
  exotic NFT and ERC20 covered call vaults
  ☆10Updated 3 years ago
• alexanderattar / solidity-tools
  General space for Solidity smart contract code and notes
  ☆10Updated 2 years ago
• yearn / Yearn-ERC4626-Router
  ERC4626 Router for Yearn V3 vaults.
  ☆11Updated 2 years ago
• 0xcacti / tictactoe
  Solidity implementation of tictactoe with heavy influence from fiveoutofnine.
  ☆10Updated 2 years ago
• EYBlockchain / zokrates.js
  This is a Node.js wrapper around ZoKrates.
  ☆10Updated 5 years ago
• Philogy / custi
  ☆11Updated 3 years ago
• Turupawn / PrivacyDAppDemo
  ☆11Updated last year
• Rari-Capital / nova-interfaces
  All the key Nova libraries and interfaces in one DappTools friendly repo!
  ☆11Updated 4 years ago
• okwme / bonding-curve-generic
  ☆10Updated 7 years ago
• Transient-Labs / tl-creator-contracts
  Transient Labs Creator Contracts enabling creators to innovate with their own sovereign smart contracts.
  ☆13Updated 3 months ago
• z80dev / crosschain-utilities
  various contracts to set off or receive cross-chain calls
  ☆10Updated 3 years ago
• 0xPhaze / Gachapon
  ☆11Updated 3 years ago
• sky-ecosystem / dsr-manager
  ☆10Updated 2 years ago
• compound-finance / encumber_samples
  A collection of examples and prototypes around the encumber interface
  ☆12Updated 2 years ago
• nerolation / zk-PoA-Tokens
  ☆11Updated 3 years ago
• HausDAO / Moloch2.5
  Moloch 2.5 and Dao MInion Summoner
  ☆10Updated 3 years ago
• wighawag / universal-forwarder
  The only meta transaction forwarder you need
  ☆11Updated last year
• 1ultimat3 / fuzzied
  Fuzzied - continuous fuzzing for smart contracts [ETHBerlin³ Submission]
  ☆10Updated 3 years ago
• Swivel-Finance / illuminate
  ☆11Updated last year
• 0xSplits / splits-liquid
  ☆11Updated last year
• nlok5923 / SherLOCKED
  🏆 Finalist at EthOnline'23 Hackathon 🏆
  ☆12Updated 2 years ago
• HerodotusDev / solidity-mmr
  Solidity Merkle Mountain Range library
  ☆12Updated last year
• degatchi / learning-huff
  ☆10Updated 3 years ago
• MrDeadCe11 / ERC998TopDownComposable
  A ERC998 Top Down Composable and Enumerable Contract with tests for Solidity ^0.8.0
  ☆10Updated 3 years ago