rchain-community / rvote
an voting dApp for RChain Coop governance
☆10Updated 2 years ago
Alternatives and similar repositories for rvote
Users that are interested in rvote are comparing it to the libraries listed below
Sorting:
- Python 3 interface to RChain RNode RPC☆10Updated 3 years ago
- Web example https://tgrospic.github.io/rnode-client-js☆19Updated last year
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆67Updated 3 years 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
- An API for rchain dapps to communicate with the blockchain☆22Updated last year
- Fungibles and non-fungibles tokens on the RChain blockchain☆19Updated 2 years ago
- Rholang plugin for the IntelliJ Platform☆11Updated 6 years ago
- Online Rholang interpreter.☆20Updated 4 years ago
- Sphinx source for the architecture docs☆25Updated 2 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated 11 months ago
- MIRROR of https://gitlab.com/TrueLevel/casper/core-cbc☆10Updated 5 years ago
- RChain Bounty Program☆90Updated 6 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- ☆8Updated 6 years ago
- Rholang runtime in rust☆18Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆46Updated 5 years ago
- Public legal documents for RChain Cooperative☆8Updated 2 years ago
- ☆90Updated 7 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- ☆21Updated 4 years ago
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 4 years ago
- ERC20 in K☆49Updated 6 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Updated 2 months ago
- The pegnet daemon to track txs, conversions, etc☆13Updated 3 years ago
- A privacy-preserving, auditable, distributed voting system.☆13Updated 2 years ago
- RChain DApp Game -- Be the nth caller to win☆19Updated 6 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago