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
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆67Updated 2 years ago
- Fungibles and non-fungibles tokens on the RChain blockchain☆19Updated 2 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated 8 months ago
- Online Rholang interpreter.☆20Updated 3 years ago
- Rholang plugin for the IntelliJ Platform☆11Updated 6 years ago
- Dappy browser is a next-generation web browser that works without DNS and without TLS Certificate Authorities, instead it uses blockchain…☆45Updated last year
- Rholang runtime in rust☆18Updated 3 years ago
- Sphinx source for the architecture docs☆25Updated last year
- A Haskell framework that facilitates writing ABCI applications☆34Updated 7 months ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- ☆21Updated 4 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- RChain DApp Game -- Be the nth caller to win☆19Updated 6 years ago
- MIRROR of https://gitlab.com/TrueLevel/casper/core-cbc☆10Updated 4 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- Notes and stuff related to the study group☆15Updated 7 years ago
- Learning materials including slides, exercises, etc for our discussion of the pi calculus.☆8Updated 6 years ago
- Public legal documents for RChain Cooperative☆8Updated 2 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆53Updated 6 months ago
- ☆10Updated 8 years ago
- ☆90Updated 6 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- ☆8Updated 6 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 4 years ago
- ☆42Updated 8 years ago