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 / contracts_library
  Open Source Smart Contract Library
  ☆11Updated 6 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 / validator
  A high-speed validator verify transaction and block
  ☆14Updated 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
• DSiSc / justitia
  Justitia chain project
  ☆20Updated 5 years ago
• lupuleasa-core / wearehostsformemes
  memetics and the meta-meme
  ☆8Updated last year
• PolymeshAssociation / Grants-Program
  Process for Polymesh Association grant program
  ☆18Updated last year
• proyecto-chaucha / chaucha-gha-wallet-generator
  Chaucha functions for usage with Github Actions
  ☆10Updated 4 years ago
• Unitychain / zkvote-node
  Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network
  ☆16Updated 5 years ago
• facebookarchive / smt2utils
  Libraries and tools for the SMT-LIB-2 standard.
  ☆23Updated 3 years ago
• airchains-network / svm-station
  Streamlined Solana Virtual Machine Integration for High-Performance rollups.
  ☆10Updated 11 months ago
• CommunityXYZ / community-js
  Javascript library for CommunityXYZ. Interact directly with your community without having to visit our website!
  ☆32Updated last year
• AndreiD / Proof-Of-Authority-Blockchain
  a parity proof of authority blockchain
  ☆13Updated 6 years ago
• airalab / robonomics-js
  Simple JS SDK for Robonomics dapp developers
  ☆11Updated 2 years ago
• csunny / ipfs_blog
  A blog system developed using IPFS
  ☆13Updated 6 years ago
• zkEinstein / credit-checks
  This repository will contain code the Zk-Snark for on-chain credit checks
  ☆10Updated 4 years ago
• sshh12 / llm_oracle
  LLM Oracle is a GPT-4 powered tool for predicting future events. It's like a Magic 8 Ball that is able to perform basic research, calcula…
  ☆17Updated 2 years ago
• gitcoinco / grant-hub
  ☆20Updated 2 years ago
• xuperchain / wavm
  A High Performance XuperChain WASM Virtual Machine based on WAVM
  ☆23Updated 5 years ago
• dassencio / parallel-code-scanning
  An example of a GitHub Actions workflow showing how code scanning with CodeQL can be parallelized on monorepos.
  ☆13Updated 2 years ago
• storacha / ucanto
  🐧 UCAN RPC
  ☆59Updated 2 weeks ago
• ChainAgnostic / varsig
  The cryptographic signature multifomat
  ☆13Updated last month
• darwinia-network / bridger
  Relayer client implementation for Darwinia LCMP protocols.
  ☆12Updated last year