Popular repositories Loading

1. concord-bft concord-bft Public

   Forked from vmware/concord-bft

   Concord byzantine fault tolerant state machine replication library

   C++ 1

2. daml daml Public

   Forked from digital-asset/daml

   The Daml smart contract language

   Scala 1

3. summer-school-2021 summer-school-2021 Public

   Forked from wenhuizhang/summer-school-2020

   Dafny

4. rocksdb rocksdb Public

   Forked from facebook/rocksdb

   A library that provides an embeddable, persistent key-value store for fast storage.

   C++