Pinned Repositories
besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
dafny
Dafny is a verification-aware programming language
Dafny-VSCode
Dafny for Visual Studio Code
documentation
This repo generates the Protocol Guild documentation.
enhanced-bft
a workspace for developing improvements to BFT consensus
eth2.0-dafny
Eth2.0 spec in Dafny
eth2.0-specs
Ethereum 2.0 Specifications
eth_pyspec_to_dafny
ethereum-research
pantheon
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
saltiniroberto's Repositories
saltiniroberto/pantheon
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
saltiniroberto/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
saltiniroberto/dafny
Dafny is a verification-aware programming language
saltiniroberto/Dafny-VSCode
Dafny for Visual Studio Code
saltiniroberto/documentation
This repo generates the Protocol Guild documentation.
saltiniroberto/enhanced-bft
a workspace for developing improvements to BFT consensus
saltiniroberto/eth2.0-dafny
Eth2.0 spec in Dafny
saltiniroberto/eth2.0-specs
Ethereum 2.0 Specifications
saltiniroberto/eth_pyspec_to_dafny
saltiniroberto/ethereum-research
saltiniroberto/highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
saltiniroberto/Slackord2
Slackord2 is a cross-platform application that allows you to migrate Slack messages into a Discord server.
saltiniroberto/ssf
saltiniroberto/teku
Java Implementation of the Ethereum 2.0 Beacon Chain
saltiniroberto/tlaplus-training
saltiniroberto/truffle
A tool for developing smart contracts. Crafted with the finest cacaos.
saltiniroberto/TwoUp
saltiniroberto/vs-code-extension-dafny-cli
saltiniroberto/zeppelin-solidity
OpenZeppelin, a framework to build secure smart contracts on Ethereum
saltiniroberto/zkFact