Alternatives and similar repositories for scilla-vanilla:

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

• smartcontracts / more-minimal-plasma
  More Minimal Plasma
  ☆45Updated 6 years ago
• FourthState / plasma-mvp-rootchain
  smart contract implementation according to the Plasma MVP spec.
  ☆79Updated 3 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆86Updated 2 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• voltairelabs / plasma
  Ethereum plasma implementation
  ☆49Updated 7 years ago
• mrsmkl / truebit-plasma
  Template for implementing Plasma child chains with Truebit
  ☆50Updated 7 years ago
• loomnetwork / plasma-paper
  Plasma Cash: Towards Improved Plasma Constructions.
  ☆50Updated 6 years ago
• SpankChain / chainsaw
  Simple Ethereum event tracking
  ☆54Updated 6 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 7 years ago
• relevant-community / contracts
  Relevant Bonding Curve and Token Contracts
  ☆76Updated 6 years ago
• plasma-group / ovm
  OVM specs & contracts
  ☆36Updated 2 years ago
• FourthState / plasma-research
  Research documents related to our implementation
  ☆43Updated 6 years ago
• atvanguard / ethsingapore-zk-dai
  ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.
  ☆52Updated 5 years ago
• magmo / force-move-protocol
  A force-move protocol implementation
  ☆55Updated 2 years ago
• BANKEX / PlasmaParentContract
  Main chain smart contract for Bankex Plasma implementation
  ☆47Updated 6 years ago
• GridPlus / client
  The Grid+ Agent client used to connect to our network
  ☆33Updated 6 years ago
• cwhinfrey / tidbit
  A library for oracles on Ethereum
  ☆51Updated 2 years ago
• PortalNetwork / portal-network-browser-extension
  🕳️🌐🔌 Portal Network Browser Extension, enables browsing IPFS website by using Ethereum Name Service and Ethereum Classic Name Service.
  ☆16Updated 5 years ago
• PerunEthereum / Perun
  Implementation of the Perun protocol
  ☆49Updated 4 years ago
• levelkdev / upgradable-dapp-toolkit
  Contracts for implementation of upgradability patterns
  ☆19Updated 7 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• TrueBitFoundation / webasm-solidity
  [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity
  ☆67Updated 4 years ago
• eolszewski / simple-payment-channel
  Example code leveraging a simple one-way payment channel
  ☆34Updated 6 years ago
• clearmatics / asset-token
  Designed to represent a fungible asset as an ERC777 token
  ☆39Updated 4 years ago
• sogoiii / ecrecover-example
  ☆57Updated 3 years ago
• goerli / parity-goerli
  The Clique engine for Parity Ethereum staging repository, will be merged upstream
  ☆22Updated 6 years ago
• plasma-group / plasma-chain-operator
  A one-click deploy Plasma chain
  ☆33Updated 5 years ago
• realitio / realitio-dapp
  Moved to https://github.com/RealityETH/monorepo/tree/main/packages/dapp
  ☆35Updated 2 years ago
• GridPlus / cryptobridge-contracts
  Smart contracts for trustless bridges
  ☆75Updated 5 years ago
• livepeer / merkle-mine
  Token distribution based on providing Merkle proofs of inclusion in genesis state to generate allocation
  ☆29Updated 6 years ago