Alternatives and similar repositories for scilla-docs:

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

• FireStack2018 / Awesome-Zilliqa
  ☆18Updated 6 years ago
• zeitgeistpm / Dynamic-Market-Maker-Zeitgeist
  In this repository I simulate the work of the recently proposed Dynamic Market Maker, which proposes dynamic variations in the determinat…
  ☆9Updated 3 years ago
• corepaper / corepaper
  Research, specifications and proposals about blockchain projects.
  ☆18Updated 2 years ago
• axic / eth2-deposit-contract
  This is a port of the Vyper Eth 2.0 deposit contract to Solidity.
  ☆19Updated 4 years ago
• herumi / bls-eth-rust
  ☆20Updated 2 years ago
• ShitPlanet / ShitPlanetContract
  ☆11Updated 3 years ago
• corepaper / evm
  The Core Paper Project of EVM
  ☆15Updated 5 years ago
• AmbireTech / adex-protocol-substrate
  Substrate implementation of the AdEx Protocol v4: OUTPACE & Registry
  ☆33Updated 2 years ago
• kadena-io / kadenamint
  ☆21Updated 4 years ago
• Consensys / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated last year
• AlexeyAkhunov / papers
  ☆39Updated 4 years ago
• archerdao / mev-geth
  ☆11Updated 3 years ago
• omni / bridge-monitor
  Monitoring tool for TokenBridge
  ☆12Updated 3 years ago
• matter-labs-archive / RSAAccumulator
  Initial implementation of RSA accumulator for history compaction in Plasma constructions
  ☆22Updated 6 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago
• ConsenSysMesh / rb-relay
  WorkInProgress Contract on Ropsten that verifies Rinkeby transactions
  ☆14Updated 2 years ago
• mykeylab / keyid-eth-contracts
  KEY ID contracts on Ethereum
  ☆13Updated 2 years ago
• DigixGlobal / dao-contracts
  DigixDAO 1.0 contracts
  ☆34Updated last year
• paritytech / rhododendron
  Asynchronously safe BFT consensus, implementation in Rust
  ☆35Updated 5 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆27Updated 2 years ago
• summa-tx / relays
  Cross-chain relays :)
  ☆54Updated 2 years ago
• axic / blake2-solidity
  This is a Solidity library aiming to implement BLAKE2 (using EIP-152).
  ☆15Updated 4 years ago
• ZenGo-X / zengo-will
  ☆15Updated 3 years ago
• renproject / gateway-sol
  Ren gateway contracts written in Solidity
  ☆16Updated 2 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆37Updated 6 years ago
• luciditytech / lucidity-plasma-cash
  Lucidity's Plasma Cash Implementation
  ☆16Updated 6 years ago
• gottstech / gotts
  A blockchain for non-collateralized stable-coins, follow MimbleWimble protocol but with explicit amount.
  ☆49Updated 4 years ago
• provable-things / ptokens-core
  The core component which makes pTokens bridges work
  ☆18Updated 2 years ago
• leobago / BSC-ETH2
  This repository compiles the work that the BSC team does on Eth2.0.
  ☆13Updated 2 years ago
• TotlePlatform / contracts
  Totle Smart Contracts
  ☆37Updated 2 years ago