Zilliqa / scilla

Related projects ⓘ

Alternatives and complementary repositories for scilla

• OCamlPro / liquidity
  A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
  ☆157Updated 3 years ago
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆131Updated last year
• s-tikhomirov / smart-contract-languages
  A curated collection of resources on smart contract programming languages
  ☆239Updated last year
• ewasm / hera
  Hera: Ewasm virtual machine conforming to the EVMC API
  ☆180Updated last year
• pirapira / bamboo
  Bamboo see https://github.com/cornellblockchain/bamboo
  ☆324Updated 2 years ago
• airalab / hs-web3
  Web3 API for Haskell
  ☆190Updated last month
• pirapira / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆237Updated 2 years ago
• Zilliqa / zilliqa-js
  JavaScript SDK for Zilliqa blockchain
  ☆131Updated last year
• ethereum / beacon_chain
  ☆210Updated 2 years ago
• dapphub / hevm
  (OLD REPO) A debug-oriented Ethereum VM (EVM)
  ☆114Updated 6 years ago
• mcoblenz / Obsidian
  Obsidian language development
  ☆77Updated last year
• bandprotocol / bandchain
  BandChain - Decentralized Data Delivery Network
  ☆222Updated 2 years ago
• paritytech / shasper
  Parity Shasper beacon chain implementation using the Substrate framework.
  ☆196Updated 2 years ago
• paritytech / parity-bridge
  ☆315Updated 4 years ago
• runtimeverification / evm-semantics
  K Semantics of the Ethereum Virtual Machine (EVM)
  ☆509Updated this week
• o1-labs / snarky
  OCaml DSL for verifiable computation
  ☆496Updated this week
• w3f / messaging
  Messaging for Web3
  ☆169Updated 2 years ago
• input-output-hk / high-assurance-legacy
  Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
  ☆78Updated 2 years ago
• pirapira / ethereum-formal-verification-overview
  The start page about my efforts around smart contract verification
  ☆299Updated 2 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆123Updated 3 years ago
• stellar / slingshot
  A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
  ☆415Updated 3 years ago
• flintlang / flint
  The Flint Programming Language for Smart Contracts
  ☆245Updated last year
• summa-tx / bitcoin-spv
  utilities for Bitcoin SPV proof verification on (many!) other chains
  ☆171Updated last year
• rchain / Rholang
  ☆91Updated 6 years ago
• ewasm / scout
  Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.
  ☆90Updated 4 years ago
• Zilliqa / kaya
  RPC Server for Zilliqa
  ☆39Updated 3 years ago
• loomnetwork / plasma-cash
  Plasma Cash Contract & Client. ERC721, ERC20, and ETH compatible
  ☆271Updated 5 years ago
• omgnetwork / plasma-contracts
  Root chain contracts for Plasma
  ☆114Updated last year
• obsidiansystems / ledger-app-tezos
  Ledger app for Tezos
  ☆102Updated 2 years ago