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 / reference
  Rchain reference material
  ☆53Updated 2 years ago
• rchain / Rholang
  ☆90Updated 7 years ago
• vsergeev / 0xtrades.info
  A real-time trade viewer for the 0x protocol.
  ☆36Updated 5 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
• rchain / bounties
  RChain Bounty Program
  ☆90Updated 6 years ago
• JoshOrndorff / LearnRholangByExample
  Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
  ☆67Updated 3 years ago
• evm-lang-design / evm-lang-design
  Language Design Community for the EVM: Intro and Resources
  ☆137Updated 7 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 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
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• rchain-community / rchain-api
  An API for rchain dapps to communicate with the blockchain
  ☆22Updated last year
• agoric-labs / PlaygroundVat
  OBSOLETE prototype Vat host: use SwingSet instead
  ☆30Updated 5 years ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆132Updated last year
• drcode / ethereum-order-statistic-tree
  An Order Statistic Tree in the Ethereum Solidity Language
  ☆50Updated 7 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• Consensys / Project-Alchemy
  Ethereum-Zcash Integration effort
  ☆66Updated 6 years ago
• rchain-community / rchain.cloud
  Online Rholang interpreter.
  ☆20Updated 4 years ago
• OCamlPro / liquidity
  A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
  ☆157Updated 4 years ago
• tezos / tezos-papers
  Original position paper and white paper for Tezos
  ☆38Updated 6 years ago
• pipermerriam / ethereum-computation-market
  A marketplace for trustless off chain computation.
  ☆55Updated 6 years ago
• JoshOrndorff / nth-caller-game
  RChain DApp Game -- Be the nth caller to win
  ☆19Updated 6 years ago
• fredcy / tezos-client
  Tezos Explorer
  ☆36Updated 7 years ago
• cosmos / research
  ☆22Updated 4 years ago
• protocol / reading-group
  papers to read
  ☆62Updated 10 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• slothbag / hierarchical-dao
  ☆11Updated 8 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆81Updated 9 years ago