Alternatives and similar repositories for librho:

Users that are interested in librho are comparing it to the libraries listed below

• RChain-Collaborative-Learning / Introduction-to-the-Design-of-Computational-Calculi
  ☆8Updated 6 years ago
• rchain-community / rchain-api
  An API for rchain dapps to communicate with the blockchain
  ☆22Updated 8 months ago
• JoshOrndorff / nth-caller-game
  RChain DApp Game -- Be the nth caller to win
  ☆19Updated 6 years ago
• rchain-community / rchain.cloud
  Online Rholang interpreter.
  ☆20Updated 3 years ago
• rchain / architecture-docs
  Sphinx source for the architecture docs
  ☆25Updated last year
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 7 years ago
• fab13n / lamtez
  An ML-inspired smart contract language, compiling to Tezos' Michelson VM
  ☆22Updated 7 years ago
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 7 years ago
• rchain / reference
  Rchain reference material
  ☆53Updated 2 years ago
• RChain-Collaborative-Learning / PiCalc-to-Rholang
  Learning materials including slides, exercises, etc for our discussion of the pi calculus.
  ☆8Updated 6 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 5 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• rchain / Rholang
  ☆90Updated 6 years ago
• wangjia184 / rholang-rust
  Rholang runtime in rust
  ☆18Updated 3 years ago
• rchain-community / rvote
  an voting dApp for RChain Coop governance
  ☆10Updated last year
• metastatedev / smarter-contracts
  Application-layer smart contracts & tooling.
  ☆10Updated 5 years ago
• tgrospic / rnode-client-js
  Web example https://tgrospic.github.io/rnode-client-js
  ☆19Updated last year
• pipermerriam / ethereum-grove
  Fast, efficient, queryable storage for ethereum contracts.
  ☆54Updated 7 years ago
• tezos / tezos-papers
  Original position paper and white paper for Tezos
  ☆38Updated 6 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• JoshOrndorff / LearnRholangByExample
  Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
  ☆67Updated 2 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• fabcotech / rchain-token
  Fungibles and non-fungibles tokens on the RChain blockchain
  ☆19Updated 2 years ago
• leithaus / pi4u
  A collection of papers about new models and applications of mobile process calculi
  ☆12Updated 5 years ago
• blockwatch-cc / tzstats-legacy
  Tezos Block Explorer by Blockwatch
  ☆18Updated 2 years ago
• mediachain / aleph
  א: The mediachain universe manipulation engine
  ☆38Updated 4 years ago
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated last year
• eeonevision / anychaindb
  AnychainDB is fast, distributed, blockchain database based on Tendermint and MongoDB
  ☆16Updated 5 years ago
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 7 years ago
• andynog / cosmocope
  Find repositories, releases, and modules for projects in the Cosmos ecosystem.
  ☆17Updated last year