Alternatives and similar repositories for Welcome:

Users that are interested in Welcome 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 11 months 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
• JoshOrndorff / LearnRholangByExample
  Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
  ☆67Updated 3 years ago
• rchain / bounties
  RChain Bounty Program
  ☆90Updated 6 years ago
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆132Updated last year
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago
• leithaus / pi4u
  A collection of papers about new models and applications of mobile process calculi
  ☆12Updated 5 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• ipfs / go-ipld-eth-import
  Bring Ethereum to IPFS
  ☆26Updated last year
• Consensys / Project-Alchemy
  Ethereum-Zcash Integration effort
  ☆66Updated 6 years ago
• agoric-labs / PlaygroundVat
  OBSOLETE prototype Vat host: use SwingSet instead
  ☆30Updated 5 years ago
• rchain / Rholang
  ☆90Updated 7 years ago
• leithaus / casper
  Formal specification and reference implementation of Casper
  ☆15Updated 9 years ago
• TrueBitFoundation / incentive-layer
  [DEPRECATED] Incentive layer contracts and deployment information.
  ☆31Updated 6 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• alexvandesande / Daefen
  A library for encoding and decoding large numbers into a pronounceable, high density, string, that uses 3456 syllables as its base.
  ☆21Updated 6 years ago
• vsergeev / 0xtrades.info
  A real-time trade viewer for the 0x protocol.
  ☆36Updated 5 years ago
• JoshOrndorff / nth-caller-game
  RChain DApp Game -- Be the nth caller to win
  ☆19Updated 6 years ago
• rchain / architecture-docs
  Sphinx source for the architecture docs
  ☆25Updated last year
• obscuren / whisper-payment-channel
  Sample payment channel using whisper
  ☆36Updated 9 years ago
• GravityNetwork / Gravity
  Gravity Network: a distributed computing architecture for resilience and interoperability
  ☆37Updated 7 years ago
• rchain-community / rchain.cloud
  Online Rholang interpreter.
  ☆20Updated 4 years ago
• Consensys / zsl-q
  ZSL on Quorum
  ☆73Updated 6 years ago
• timxor / happy-ens
  Resolve *.eth domains with our dns server
  ☆13Updated 7 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 8 years ago
• ConsenSysMesh / ipfs.js
  Wrapper for node-ipfs-api
  ☆43Updated 8 years ago
• tezos / tezos-papers
  Original position paper and white paper for Tezos
  ☆38Updated 6 years ago
• dapp-studies / cryptoeconomics
  A collection of 🔥 resources & research on cryptoeconomics
  ☆27Updated 6 years ago