Alternatives and similar repositories for SolPrologV2

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

• kariy / starkmint
  ☆13Updated 2 years ago
• dvush / cl-evasm
  EVM assembly as an embedded Common Lisp dsl
  ☆21Updated 2 years ago
• z0r0z / veSUSHI
  Vote-escrowed SUSHI built on ERC-4626 vault standard.
  ☆15Updated 3 years ago
• exp-table / starknet-playground
  My playgrounderino for starkneterino
  ☆13Updated 3 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆31Updated 2 years ago
• umbracle / geth-data-layer
  Go library to access the blockchain state of Go-ethereum
  ☆16Updated 2 years ago
• nmushegian / minilang
  term rewrite system for bootstrapping languages
  ☆9Updated 3 years ago
• morpho-org / legacy-morpho-token
  Morpho token contracts.
  ☆14Updated 7 months ago
• prestwich / ethers-aws-signer
  ☆23Updated 3 years ago
• adhusson / shim-transient-storage
  Use the EVM cache state to shim transient storage
  ☆20Updated 2 years ago
• holiman / txparse
  An Ethereum transaction-parser
  ☆15Updated last month
• sambarnes / cairo-bloom
  A naive bloom filter implementation in Cairo
  ☆37Updated 3 years ago
• rainbreak / crop
  ☆13Updated 4 years ago
• nmushegian / wall
  DELEGATECALL-safe multi-owner auth
  ☆12Updated 3 years ago
• tcoulter / jackhammer
  Start a Hardhat Network node from the command line
  ☆12Updated 3 years ago
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 3 years ago
• leonardoalt / hevm_paper
  ☆12Updated 3 years ago
• liamzebedee / goliath-blockchain
  An Ethereum-compatible blockchain with a giant capacity for storage
  ☆21Updated 3 years ago
• 0xvv / BatchDepositHuff
  Efficient beacon chain batch deposit contract written in huff
  ☆23Updated last year
• Certora / CertoraProverSupplementary
  Supplementary Material to be used with the Certora Prover
  ☆17Updated 3 years ago
• nxm-rs / nexum
  Blazing-fast Ethereum wallet, where Rust brings web and terminal together for hackers.
  ☆16Updated this week
• adhusson / delegate-prank
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆19Updated 10 months ago
• noir-lang / book
  ☆15Updated 2 years ago
• mattdf / vim-yul
  Syntax files for Yul
  ☆18Updated 4 years ago
• bigsky77 / hyperion
  Stablecoin AMM for Starknet
  ☆14Updated 2 years ago
• ControlCplusControlV / Jade
  Vyper Mutation Testing Framework
  ☆17Updated 2 years ago
• wolflo / proxies.huff
  Minimal Ethereum delegatecall proxies
  ☆22Updated 2 years ago
• 0xProject / VDF
  A Solidity implementation of a VDF verifier contract
  ☆16Updated 2 years ago
• ricobank / multifab-draft
  SUPERCEDED by ricobank/multifab
  ☆20Updated 3 years ago
• kobigurk / stardrop
  Anonymous rewards on StarkNet
  ☆35Updated 3 years ago