Alternatives and similar repositories for scilla-docs

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

• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆38Updated 6 years ago
• kadena-io / kadenamint
  ☆22Updated 4 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 2 years ago
• FireStack2018 / Awesome-Zilliqa
  ☆18Updated 6 years ago
• MinaProtocol / mina-grants
  All contents related to the Mina grant program and projects in scope
  ☆15Updated 3 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• corepaper / evm
  The Core Paper Project of EVM
  ☆15Updated 5 years ago
• paritytech / rust-secp256k1
  Rust language bindings for Bitcoin secp256k1 library.
  ☆17Updated 5 years ago
• cryptiumlabs / library
  This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…
  ☆31Updated 4 years ago
• herumi / bls-eth-rust
  ☆20Updated 3 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆28Updated 6 years ago
• kumabid / idex-contracts-whistler
  IDEX 2.0 smart contracts
  ☆43Updated 2 years ago
• ava-labs / avalanche-rosetta
  Rosetta server for Avalanche (C-Chain and P-Chain)
  ☆30Updated 7 months ago
• thorchain / THORChain-v1
  A lightning fast decentralised liquidity protocol.
  ☆47Updated 6 years ago
• paritytech / oo7
  The Bonds framework along with associated modules.
  ☆54Updated 5 years ago
• ethereum / benchmarking
  Benchmarking data for EVM ops and precompiles
  ☆22Updated 2 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• ewasm / testnet
  Testnet planning & documentation
  ☆65Updated 6 years ago
• leobago / BSC-ETH2
  This repository compiles the work that the BSC team does on Eth2.0.
  ☆13Updated 2 years ago
• somish / NexusMutual
  Nexus Mutual uses the power of blockchain technology and Ethereum to allow people from all over the world to share insurance risk togethe…
  ☆49Updated 2 years ago
• AlexeyAkhunov / papers
  ☆39Updated 4 years ago
• AmbireTech / adex-protocol-substrate
  Substrate implementation of the AdEx Protocol v4: OUTPACE & Registry
  ☆33Updated 3 years ago
• paritytech / second-price-auction
  A Dutch auction crowdsale dapp
  ☆17Updated 7 years ago
• darwinia-network / darwinia-messages-sol
  Darwinia cross-chain messages gateway and protocol for EVM developers 💌
  ☆30Updated last year
• DigixGlobal / dao-contracts
  DigixDAO 1.0 contracts
  ☆33Updated 2 years ago
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆34Updated 3 years ago
• omni / poa-bridge
  POA <-> Ethereum bridge for self transfers of POA native token to POA20 (ERC20 representation). Not supported. Use TokenBridge instead
  ☆84Updated 3 years ago
• renproject / hyperdrive
  An experimental consensus algorithm for secure multiparty computations
  ☆63Updated 2 years ago
• INFURA / devp2p-network
  Tools for analyzing the DevP2P network
  ☆33Updated last year
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago