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 / apigateway
  A light-weight golang API Gateway implement.
  ☆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 / 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 / galaxy
  Advanced distributed consensus framework support pluggable algorithms
  ☆15Updated 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 / craft
  Define common types and structures which used frequently
  ☆11Updated 5 years ago
• DSiSc / wallet
  A high-security wallet implemention
  ☆10Updated 5 years ago
• proyecto-chaucha / chaucha-gha-wallet-generator
  Chaucha functions for usage with Github Actions
  ☆9Updated 4 years ago
• gordonpace / contractLarva
  Runtime verification tool for Solidity smart contracts.
  ☆32Updated last year
• OpenZeppelin / starter-kit-tutorial
  An OpenZeppelin starter kit tutorial containing React, OpenZeppelin SDK & OpenZeppelin Contracts.
  ☆38Updated 4 years ago
• IC3Hydra / Hydra
  Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
  ☆73Updated 6 years ago
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆15Updated last year
• airalab / learning-center
  Airalab learning center GitBook repository.
  ☆16Updated 6 years ago
• digital-asset-archive / ex-models
  ☆45Updated 2 years ago
• paritytech / pallet-contracts-waterfall
  Collection of simple Substrate smart contract examples written in Rust, AssemblyScript, Solang and the smart contract language ink! to t…
  ☆30Updated 3 years ago
• aragon / conviction-funding-pilot
  Conviction Funding community grants: https://aragon.org/blog/introducing-the-conviction-funding-pilot
  ☆11Updated last year
• crustio / crust-sworker
  sWorker(storage worker) is an offchain storage work inspector of Crust MPoW protocol running inside TEE enclave
  ☆35Updated 2 months ago
• tagomaru / truffle-sca2t
  Smart contract auditing assistant tool for Truffle Framework.
  ☆18Updated 2 years ago
• hyperledger-archives / sawtooth-sabre
  Sawtooth Sabre (WASM Smart Contracts)
  ☆50Updated 11 months ago
• hyperledger-archives / sawtooth-raft
  ☆26Updated 3 years ago
• danintel / sawtooth-cookiejar
  Simple Hyperledger Sawtooth Cookie Jar Application
  ☆28Updated 4 months ago
• accordproject / hlf-cicero-contract
  Accord Project Cicero contracts on Hyperledger Fabric v2
  ☆14Updated 2 years ago
• digital-asset / daml-finance-app
  ☆21Updated last month
• accordproject / models
  Accord Project Model Repository
  ☆29Updated 2 months ago
• daijiale / ipfs-geo
  a geography relation object model demo with ipfs
  ☆23Updated 6 years ago