Skip to content
@rhovision-org

RhoVision Community

Official community managed rho calculus and @rholang tools and applications.

Pinned Loading

  1. rholo rholo Public

    Rholo: An improved RChain in Rust — a blockchain (smart contract) platform with CBC-Casper proof of stake and Rholang for concurrent execution. A public testnet runs this code.

    Rust 4 5

Repositories

Showing 10 of 69 repositories
  • r-sure Public

    Open insurance market primitives for rholo: Lloyd's-style syndicates, slips, policies, claims and settlement

    rhovision-org/r-sure's past year of commit activity
    Python 0 AGPL-3.0 0 0 0 Updated Nov 6, 2026
  • rhogov Public

    Multi stakeholder governance.

    rhovision-org/rhogov's past year of commit activity
    TypeScript 0 Apache-2.0 1 7 3 Updated Nov 6, 2026
  • rholo Public

    Rholo: An improved RChain in Rust — a blockchain (smart contract) platform with CBC-Casper proof of stake and Rholang for concurrent execution. A public testnet runs this code.

    rhovision-org/rholo's past year of commit activity
    Rust 4 AGPL-3.0 5 7 1 Updated Nov 5, 2026
  • quantum-logical-framework Public

    quantum genesis constructive possibilist quantum logical synthesis

    rhovision-org/quantum-logical-framework's past year of commit activity
    Lean 15 MIT 3 7 2 Updated Nov 5, 2026
  • r-share Public

    Booking and rental primitives for rholo: capacity over an interval, atomic slot allocation, and r-cash escrow.

    rhovision-org/r-share's past year of commit activity
    Rust 0 AGPL-3.0 0 0 0 Updated Nov 5, 2026
  • r-gen Public

    The first reasonably complete suite of Rholang contracts and Lean 4 proofs for Dan Robles' CoEngineers and Ingenesist Project vision.

    rhovision-org/r-gen's past year of commit activity
    Python 1 AGPL-3.0 1 0 0 Updated Nov 4, 2026
  • quantum-os Public

    Peer-to-peer QuantumOS: ZFA kernel (Rust/WASM) + WebRTC browser peers

    rhovision-org/quantum-os's past year of commit activity
    JavaScript 7 0 18 1 Updated Nov 4, 2026
  • r-cash Public

    R-Cash: a permissionless multi-currency account and cross-border payments network on Rholo

    rhovision-org/r-cash's past year of commit activity
    Python 0 AGPL-3.0 0 0 0 Updated Nov 4, 2026
  • rgov Public

    RChain liquid democracy demo: capability sharing, mailbox, directory, chat, ...

    rhovision-org/rgov's past year of commit activity
    JavaScript 10 14 76 5 Updated Oct 24, 2026
  • rchain-api Public

    An API for rchain dapps to communicate with the blockchain

    rhovision-org/rchain-api's past year of commit activity
    JavaScript 22 12 17 7 Updated Oct 24, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…