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 / apigateway
  A light-weight golang API Gateway implement.
  ☆12Updated 5 years ago
• DSiSc / blockstore
  An implemention of ledger which support customization by config file
  ☆11Updated 5 years ago
• DSiSc / gossipswitch
  A Gossip switch implementation.
  ☆11Updated 5 years ago
• DSiSc / repository
  Middleware of blockchain storage layer accessing
  ☆12Updated 5 years ago
• DSiSc / contracts_library
  Open Source Smart Contract Library
  ☆11Updated 6 years ago
• DSiSc / txpool
  A high-performance blockchain transaction pool
  ☆14Updated 5 years ago
• DSiSc / validator
  A high-speed validator verify transaction and block
  ☆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 / craft
  Define common types and structures which used frequently
  ☆11Updated 5 years ago
• DSiSc / wallet
  A high-security wallet implemention
  ☆10Updated 5 years ago
• beacon-thugs-harmony / beacon_chain_simulator
  Implements a prototype and interactive simulation for the sharded pos ethereum 2.0.
  ☆12Updated 6 years ago
• sbip-sg / solc-json-parser
  A Powerful AST Parser for Solidity
  ☆11Updated 7 months ago
• kupl / SmartFix-Artifact
  ☆11Updated last year
• aoli-al / Solythesis
  Solythesis: Securing Smart Contract with Runtime Validation
  ☆12Updated 2 years ago
• xternet / echidna-etheno-hh-template
  Echidna, Etheno, and HardHat template for fuzzing complex systems.
  ☆9Updated 2 years ago
• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 2 years ago
• sefaakca / SolAnalyser
  ☆10Updated 3 years ago
• StakerApp / staker-shares-contracts
  HEX share minter and share market. Reduces gas costs by sharing a stake between many participants. Share minter can mint to any valid rec…
  ☆9Updated 2 years ago
• zhangjiannan / QFgrant
  A substrate pallet prototype for a quadratic funding grant
  ☆10Updated 3 years ago
• Unitychain / zkvote-node
  Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network
  ☆16Updated 4 years ago
• ajna-finance / ajna-grants
  Ajna Grant Coordination Fund
  ☆9Updated last year
• leekt / foundry-4337
  ☆11Updated last year
• bgd-labs / aave-v3-listing-stewards
  Helpers smart contracts/examples for Aave v3 asset listings
  ☆10Updated 2 years ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆26Updated 6 years ago
• 0xpolarzero / airdrop-gas-benchmarks
  Gas consumption benchmarks for popular airdrop patterns.
  ☆11Updated last year
• pventuzelo / reversing_ewasm_contract_101
  Reversing Ewasm (Ethereum WebAssembly) contract 101 - Workshop
  ☆18Updated 4 years ago
• 0xmagus / huff-practice
  A collection of huff examples.
  ☆14Updated 2 years ago
• danhper / evm-analyzer
  Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
  ☆24Updated 4 years ago