Alternatives and similar repositories for rvote

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

• rchain / pyrchain
  Python 3 interface to RChain RNode RPC
  ☆10Updated 3 years ago
• tgrospic / rnode-client-js
  Web example https://tgrospic.github.io/rnode-client-js
  ☆19Updated 2 years ago
• rchain-community / rchain-api
  An API for rchain dapps to communicate with the blockchain
  ☆22Updated last year
• fabcotech / dappy
  Dappy browser is a next-generation web browser that works without DNS and without TLS Certificate Authorities, instead it uses blockchain…
  ☆44Updated 2 years ago
• JoshOrndorff / LearnRholangByExample
  Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
  ☆66Updated 3 years ago
• fabcotech / rchain-token
  Fungibles and non-fungibles tokens on the RChain blockchain
  ☆19Updated 2 years ago
• rchain / architecture-docs
  Sphinx source for the architecture docs
  ☆25Updated 2 years ago
• tgrospic / rholang-idea
  Rholang plugin for the IntelliJ Platform
  ☆11Updated 6 years ago
• TrueLevelSA / core-cbc-casper
  MIRROR of https://gitlab.com/TrueLevel/casper/core-cbc
  ☆10Updated 5 years ago
• Electric-Coin-Company / jubjub-prototype
  ☆59Updated 7 years ago
• wangjia184 / rholang-rust
  Rholang runtime in rust
  ☆18Updated 4 years ago
• rchain / bounties
  RChain Bounty Program
  ☆90Updated 6 years ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated last year
• leithaus / pi4u
  A collection of papers about new models and applications of mobile process calculi
  ☆12Updated 5 years ago
• Consensys / wittgenstein
  Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
  ☆45Updated 5 years ago
• rchain-community / rchain.cloud
  Online Rholang interpreter.
  ☆20Updated 4 years ago
• rchain / Rholang
  ☆89Updated 7 years ago
• polkadot-io / polkadot-io.github.io
  The website.
  ☆29Updated 7 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• RChain-Collaborative-Learning / Introduction-to-the-Design-of-Computational-Calculi
  ☆8Updated 6 years ago
• ebfull / halo
  ☆115Updated 3 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• oasislabs / web3c.js
  A js library for confidential web3 calls
  ☆37Updated 2 years ago
• jaybutera / rust-hashgraph
  Implementation of HashGraph consensus
  ☆11Updated 2 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• filecoin-project / research
  Home for Filecoin Research
  ☆73Updated 3 years ago
• input-output-hk / js-cardano-wasm
  various cardano javascript using wasm bindings
  ☆31Updated 2 years ago
• paritytech / rhododendron
  Asynchronously safe BFT consensus, implementation in Rust
  ☆35Updated 5 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 2 years ago