Popular repositories Loading

1. ripple-lib-java ripple-lib-java Public

   Forked from ripple-unmaintained/ripple-lib-java

   Java version of ripple-lib (work in progress)

   Java 1

2. bitcoin bitcoin Public

   Forked from bitcoin/bitcoin

   Bitcoin Core integration/staging tree

   C++ 1

3. learn-chaincode learn-chaincode Public

   Forked from IBM-Blockchain-Archive/learn-chaincode

   Learn how to write chaincode.

   Go 1

4. evmverif evmverif Public

   Forked from pirapira/evmverif

   An EVM code verification framework in Coq

   Coq

5. token_why3 token_why3 Public

   Forked from pirapira/token_why3

   A Why3 modelling of a token contract

6. smart-contract smart-contract Public

   Forked from pirapira/smart-contract

   slock smart contract written in solidity

   JavaScript