Alternatives and similar repositories for z4:

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

• paritytech / smart-bench
  Smart contracts benchmarking on Substrate
  ☆23Updated 5 months ago
• OpenZeppelin / openzeppelin-pallet-abstractions
  ☆15Updated this week
• ava-labs / timestampvm-rs
  Timestamp VM in Rust
  ☆19Updated 8 months ago
• AcalaNetwork / predeploy-contracts
  ☆19Updated last month
• axic / solc-rust
  Rust bindings for the Solidity compiler.
  ☆27Updated 5 years ago
• Polkadot-Blockchain-Academy / Academy-PoW
  PoW blockchain node to gain hands-on experience starting a real network together
  ☆25Updated 10 months ago
• web3labs / ink-verifier-server
  Server for Ink! source code verification
  ☆9Updated 2 years ago
• polybase / polylang
  ☆37Updated last year
• neonlabsorg / evm
  Pure Rust implementation of Ethereum Virtual Machine
  ☆26Updated 5 months ago
• sigp / ethereum_ssz
  SimpleSerialize (SSZ) implementation optimised for speed and security
  ☆24Updated last week
• interlay / interbtc-clients
  interBTC Clients | Vault, Oracle, Faucet
  ☆52Updated 9 months ago
• chainflip-io / chainflip-eth-contracts
  ☆16Updated 3 months ago
• axelarnetwork / tofnd
  A gRPC server wrapper for the https://github.com/axelarnetwork/tofn library.
  ☆26Updated 9 months ago
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• sigp / anchor
  Rust implementation of the SSV protocol
  ☆28Updated last week
• rust-blockchain / evm-tests
  ☆13Updated last year
• arkworks-rs / std
  A standard library wrapper for use in the `arkworks` ecosystem
  ☆39Updated 2 weeks ago
• omni / trustless-bridge-demo
  ☆21Updated 2 years ago
• ChorusOne / celo-light-client
  Celo Light Client (IBC compatible)
  ☆16Updated 3 years ago
• use-inkubator / Ecosystem-Grants
  ☆29Updated last week
• AstarNetwork / plonk
  ☆17Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆30Updated 7 months ago
• polk4-net / substrate-nft
  Substrate NFT !ink smart contract base
  ☆15Updated 3 years ago
• DeployDAO / migrator
  ⬆ A program for deploying and upgrading programs.
  ☆28Updated 2 years ago
• Phala-Network / awesome-phat-contracts
  A curated list of awesome projects and resources relating to Phat Contracts
  ☆27Updated last year
• ComposableFi / composable-vm
  Interchain Atomicity, Blockbuilding and Routing via Composable VM
  ☆13Updated 11 months ago
• paritytech / chatbot
  Polkadot ChatBot
  ☆17Updated 6 months ago
• informalsystems / sovereign-ibc
  Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups
  ☆22Updated 9 months ago
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 7 months ago
• LedgerHQ / app-starknet
  Official Ledger Starknet application (Rust implementation)
  ☆21Updated this week