Alternatives and similar repositories for SolPrologV2

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

• liamzebedee / goliath-blockchain
  An Ethereum-compatible blockchain with a giant capacity for storage
  ☆21Updated 3 years ago
• sambarnes / cairo-bloom
  A naive bloom filter implementation in Cairo
  ☆37Updated 3 years ago
• simon-something / Solidity-ASM-weth
  Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in a…
  ☆26Updated 3 years ago
• z80dev / dasy
  a lisp built on top of vyper
  ☆43Updated 2 months ago
• refcell / cairopal
  Modern, Flexible Starknet Dapp Template
  ☆42Updated 3 years ago
• exp-table / starknet-playground
  My playgrounderino for starkneterino
  ☆13Updated 3 years ago
• 0xPARC / cabal
  ☆14Updated 3 years ago
• kariy / starkmint
  ☆13Updated 2 years ago
• hananbeer / brainfuck
  solidity implementation for brainfuck interpreter
  ☆19Updated 3 years ago
• mattdf / EIP3074Protection
  Know if a call is from an EOA no matter what
  ☆33Updated 4 years ago
• 0age / RStore
  RStore - use the runtime code of metamorphic contracts for dynamic storage.
  ☆20Updated 2 years ago
• kevinz917 / zksnarks-library
  Library of zkSNARKS circuits written in the Circom language.
  ☆50Updated 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
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 2 years ago
• argotorg / yul-isabelle
  ☆41Updated 3 years ago
• d1ll0n / huff
  Repository for Huff - an EVM programming language
  ☆28Updated 5 years ago
• Rari-Capital / duppgrade
  Update or revert to a specific DappTools commit with ease.
  ☆37Updated 3 years ago
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 3 years ago
• yoavw / cross-rollup-bridge
  ☆52Updated 4 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆32Updated 2 years ago
• vezenovm / mastermind-noir
  ☆32Updated 3 years ago
• cronokirby / seed-split
  Splitting seed phrases into shares
  ☆64Updated 3 years ago
• dvush / cl-evasm
  EVM assembly as an embedded Common Lisp dsl
  ☆21Updated 3 years ago
• kmbarry1 / flash-thaw
  ☆15Updated 3 years ago
• umbracle / geth-data-layer
  Go library to access the blockchain state of Go-ethereum
  ☆16Updated 2 years ago
• ethereum / beaconrunner
  Agent-based simulation environment for PoS Ethereum
  ☆55Updated 2 years ago
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 3 years ago
• danfinlay / matt-auction-scaffold-eth
  A Scaffold-Eth based version of the MATT auction https://roamresearch.com/#/app/capabul/page/Z72zJ8WKS
  ☆17Updated 3 years ago
• noir-lang / acvm-backend-barretenberg
  ☆41Updated 2 years ago
• avsbgame / avsb
  ☆21Updated 3 years ago