rchain-community / rvoteLinks
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:
- Web example https://tgrospic.github.io/rnode-client-js☆19Updated 2 years ago
- Python 3 interface to RChain RNode RPC☆10Updated 3 years ago
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆66Updated 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
- Fungibles and non-fungibles tokens on the RChain blockchain☆19Updated 2 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated last year
- A Haskell framework that facilitates writing ABCI applications☆34Updated last year
- Sphinx source for the architecture docs☆25Updated 2 years ago
- Rholang plugin for the IntelliJ Platform☆11Updated 6 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- Rholang runtime in rust☆18Updated 4 years ago
- Online Rholang interpreter.☆20Updated 4 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Notes and stuff related to the study group☆15Updated 8 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- RChain Bounty Program☆90Updated 6 years ago
- Website!☆22Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- Returns median value of several DSValue, DSCache or other Medianizers☆18Updated 5 years ago
- Documentation of the Umbral PRE cryptosystem☆29Updated 7 years ago
- ☆11Updated 8 years ago
- A typed, functional language that targets the EVM.☆55Updated 8 years ago
- A privacy-preserving, auditable, distributed voting system.☆13Updated 2 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Lightweight ENS resolver and library☆25Updated 8 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 5 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 5 years ago