Alternatives and similar repositories for why3

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

• DSiSc / producer
  Implementation of producer which is used for efficient block production.
  ☆11Updated 5 years ago
• DSiSc / repository
  Middleware of blockchain storage layer accessing
  ☆12Updated 5 years ago
• DSiSc / gossipswitch
  A Gossip switch implementation.
  ☆11Updated 5 years ago
• DSiSc / blockstore
  An implemention of ledger which support customization by config file
  ☆11Updated 5 years ago
• DSiSc / apigateway
  A light-weight golang API Gateway implement.
  ☆12Updated 5 years ago
• DSiSc / galaxy
  Advanced distributed consensus framework support pluggable algorithms
  ☆15Updated 5 years ago
• DSiSc / craft
  Define common types and structures which used frequently
  ☆11Updated 5 years ago
• DSiSc / justitia
  Justitia chain project
  ☆20Updated 5 years ago
• DSiSc / contracts_library
  Open Source Smart Contract Library
  ☆11Updated 6 years ago
• DSiSc / validator
  A high-speed validator verify transaction and block
  ☆14Updated 5 years ago
• DSiSc / txpool
  A high-performance blockchain transaction pool
  ☆14Updated 5 years ago
• DSiSc / wallet
  A high-security wallet implemention
  ☆10Updated 5 years ago
• gordonpace / contractLarva
  Runtime verification tool for Solidity smart contracts.
  ☆34Updated 2 years ago
• stanbar / stellot
  i-voting platform powered by Stellar blockchain
  ☆19Updated last year
• proyecto-chaucha / chaucha-gha-wallet-generator
  Chaucha functions for usage with Github Actions
  ☆10Updated 4 years ago
• blockchainsllc / in3
  The IN3 client (written in C).
  ☆75Updated 2 years ago
• zhangjiannan / QFgrant
  A substrate pallet prototype for a quadratic funding grant
  ☆10Updated 3 years ago
• ConsenSysDiligence / evm-analyzer-benchmark-suite
  A benchmark suite for evaluating the precision of EVM code analysis tools.
  ☆41Updated 6 years ago
• VeriSolid / smart-contracts
  ☆10Updated 7 years ago
• codefortulsa / oscn
  Python utilities for scraping OSCN cases.
  ☆14Updated 5 months ago
• ewasm / scout
  Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.
  ☆90Updated 5 years ago
• MrChico / verifyIPFS
  Solidity library for verifying IPFS hashes
  ☆112Updated 3 years ago
• ipld / edelweiss
  Decentralized Protocol Compiler
  ☆17Updated last year
• streamr-dev / streamr-client-react
  React toolkit for Streamr.
  ☆14Updated 4 months ago
• angrymouse / elymus
  Decentralized stack for paranoids-decentralizers
  ☆24Updated 2 years ago
• matter-labs / hodor
  Open source implementation of zkSTARKs in pure Rust
  ☆83Updated last year
• melekes / merkle-tree-rs
  Merkle Tree implemented in Rust programming language
  ☆29Updated 8 years ago
• hyperledger-labs / blockchain-verifier
  bcverifier: Blockchain verification tool
  ☆16Updated last year
• hcliff / sqlite-ipfs
  SQLite hosted on IPFS
  ☆16Updated 3 years ago
• paritytech / stateless-blockchain
  Stateless Blockchain on Substrate using RSA Accumulators
  ☆65Updated 2 years ago