saltiniroberto

saltiniroberto's Stars

• prototypo/ethereum-eips-ontology

  An ontology of Ethereum terms extracted from the Ethereum glossaries and Ethereum Improvement Proposals (EIPs). Available in plain text and SKOS formats.

  Language:Python298

• Consensys/qbft-formal-spec-and-verification

  Language:Dafny93

• ethereum/distributed-validator-specs

  Ethereum Distributed Validator Specifications

  Language:Python8013

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#3k266

• Consensys/eth2.0-dafny

  Eth2.0 spec in Dafny

  Language:Dafny7414

• prototypo/blockchains-in-space

  Define a blockchain for use in space and write about it.

  Language:TeX1

• EntEthAlliance/enhanced-bft

  a workspace for developing improvements to BFT consensus

  83

• PegaSysEng/pantheon

  An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client

  380130