Alternatives and similar repositories for scilla-vanilla

Users that are interested in scilla-vanilla are comparing it to the libraries listed below

• SiliconJungles / onepiece-dapp
  A simple dapp written by Scilla - Running on Zilliqa
  ☆14Updated 2 years ago
• voltairelabs / plasma
  Ethereum plasma implementation
  ☆49Updated 7 years ago
• FourthState / plasma-mvp-sidechain
  Cosmos SDK (Tendermint consensus) side-chain implementation for plasma
  ☆112Updated 2 years ago
• OriginProtocol / origin-playground
  Playground for us to try out new ideas, specifically around Identity (ERC 725) & the Origin Marketplace
  ☆156Updated 3 years ago
• tsuzukit / meta-transaction
  Ethereum meta-transaction concept
  ☆33Updated 3 years ago
• counterfactual / monorepo
  Home for all packages related to the Counterfactual project
  ☆186Updated 5 years ago
• FourthState / plasma-mvp-rootchain
  smart contract implementation according to the Plasma MVP spec.
  ☆79Updated 3 years ago
• Zilliqa / kaya
  RPC Server for Zilliqa
  ☆39Updated 4 years ago
• poanetwork / wiki
  POA Library: wiki, how-to, FAQ. Includes instructions how to set-up a new network, to run a full node, connect wallets,
  ☆81Updated 6 years ago
• republicprotocol / renex-sol
  RenEx Ethereum contracts, written in Solidity
  ☆93Updated 2 years ago
• smartcontracts / more-minimal-plasma
  More Minimal Plasma
  ☆45Updated 7 years ago
• omgnetwork / plasma-cash
  ☆121Updated 6 years ago
• TPL-protocol / tpl-contracts
  Proof of concept for the contracts implementing TPL
  ☆73Updated 3 years ago
• zeppelinos / zos-lib
  Deprecated repo in favour of https://github.com/zeppelinos/zos
  ☆62Updated 7 years ago
• LayerXcom / verified-vyper-contracts
  FVyper: A collection of useful Vyper contracts developed with formal methods
  ☆56Updated 4 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 2 years ago
• TrueBitFoundation / webasm-solidity
  [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity
  ☆67Updated 5 years ago
• BANKEX / PlasmaParentContract
  Main chain smart contract for Bankex Plasma implementation
  ☆46Updated 7 years ago
• GridPlus / cryptobridge-contracts
  Smart contracts for trustless bridges
  ☆75Updated 5 years ago
• status-im / contracts
  ☆87Updated 6 years ago
• uport-project / uport-mobile
  uPort mobile app
  ☆76Updated 4 years ago
• ameensol / merkle-tree-solidity
  JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.
  ☆111Updated last year
• clearmatics / ion
  General interoperability framework for trustless cross-system interaction
  ☆140Updated 4 years ago
• smarx / ethshardingpoc
  ☆76Updated 6 years ago
• omgnetwork / plasma-contracts
  Root chain contracts for Plasma
  ☆115Updated 2 years ago
• machinomy / awesome-state-channels
  Curated list of resources regarding state channels on Ethereum
  ☆58Updated 7 years ago
• loomnetwork / plasma-paper
  Plasma Cash: Towards Improved Plasma Constructions.
  ☆50Updated 6 years ago
• austintgriffith / clevis
  🗜️Ethereum blockchain orchestration, testing, and command line interface.
  ☆104Updated 3 years ago
• maticnetwork / sol-trace
  Trace runtime failures for solidity
  ☆31Updated 6 years ago
• musteka-la / mustekala
  MetaMask Light Client Development
  ☆225Updated 6 years ago