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
• herumi / bls-eth-rust
  ☆20Updated 2 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆38Updated 6 years ago
• renproject / gateway-sol
  Ren gateway contracts written in Solidity
  ☆16Updated 2 years ago
• corepaper / evm
  The Core Paper Project of EVM
  ☆15Updated 5 years ago
• DigixGlobal / dao-contracts
  DigixDAO 1.0 contracts
  ☆33Updated 2 years ago
• ConsenSysDiligence / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated 2 years ago
• harmony-one / harmony-open
  Open-participation projects for Harmony
  ☆16Updated 3 years ago
• dapphub / ds-pause
  Schedule function calls that can only be executed once some delay has elapsed
  ☆26Updated 3 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 5 years ago
• DigixGlobal / solidity-statemachine-library
  State Machine
  ☆18Updated 7 years ago
• SkidanovAlex / snowball
  Snowball simulation
  ☆17Updated 5 years ago
• AlexeyAkhunov / papers
  ☆39Updated 4 years ago
• cosmos / fundraiser-cli
  CLI tool for participating in Cosmos Fundraiser
  ☆12Updated 4 years ago
• provable-things / ptokens-core
  The core component which makes pTokens bridges work
  ☆18Updated 3 years ago
• axic / blake2-solidity
  This is a Solidity library aiming to implement BLAKE2 (using EIP-152).
  ☆15Updated 5 years ago
• kadena-io / kadenamint
  ☆22Updated 4 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• TotlePlatform / contracts
  Totle Smart Contracts
  ☆37Updated 3 years ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• axic / eth2-deposit-contract
  This is a port of the Vyper Eth 2.0 deposit contract to Solidity.
  ☆19Updated 4 years ago
• kumabid / idex-contracts-whistler
  IDEX 2.0 smart contracts
  ☆43Updated 2 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆28Updated 6 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 6 years ago
• matter-labs-archive / RSAAccumulator
  Initial implementation of RSA accumulator for history compaction in Plasma constructions
  ☆22Updated 6 years ago
• yearn / yinsure-finance
  ☆19Updated 4 years ago
• darwinia-network / bridger
  Relayer client implementation for Darwinia LCMP protocols.
  ☆12Updated last year
• summa-tx / relays
  Cross-chain relays :)
  ☆55Updated 2 years ago
• AmbireTech / adex-protocol-substrate
  Substrate implementation of the AdEx Protocol v4: OUTPACE & Registry
  ☆33Updated 3 years ago