rchain-community / rvote
an voting dApp for RChain Coop governance
☆10Updated last year
Alternatives and similar repositories for rvote:
Users that are interested in rvote are comparing it to the libraries listed below
- Python 3 interface to RChain RNode RPC☆10Updated 2 years ago
- Web example https://tgrospic.github.io/rnode-client-js☆19Updated last year
- An API for rchain dapps to communicate with the blockchain☆22Updated 11 months ago
- 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
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆67Updated 3 years ago
- Fungibles and non-fungibles tokens on the RChain blockchain☆19Updated 2 years ago
- Online Rholang interpreter.☆20Updated 4 years ago
- Rholang plugin for the IntelliJ Platform☆11Updated 6 years ago
- Sphinx source for the architecture docs☆25Updated last year
- Rholang runtime in rust☆18Updated 3 years ago
- RChain Bounty Program☆90Updated 6 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated 9 months ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- Rchain reference material☆53Updated 2 years ago
- MIRROR of https://gitlab.com/TrueLevel/casper/core-cbc☆10Updated 5 years ago
- A privacy-preserving, auditable, distributed voting system.☆13Updated 2 years ago
- Public legal documents for RChain Cooperative☆8Updated 2 years ago
- An implementation of Darknode smart contracts, written in Solidity☆86Updated 2 years ago
- Khalil, R. and Gervais, A. 2017. ACM Conference on Computer and Communications Security. Revive: Rebalancing Off-Blockchain Payment Netwo…☆42Updated 7 years ago
- Learning materials including slides, exercises, etc for our discussion of the pi calculus.☆8Updated 6 years ago
- ☆90Updated 7 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- The website.☆29Updated 7 years ago
- Home for Filecoin Research☆72Updated 3 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated last year
- ☆21Updated 4 years ago
- ☆8Updated 6 years ago