Popular repositories Loading

1. sbft-formal-verification-model sbft-formal-verification-model Public

   This is a very early version of the project. It is continued in https://github.com/vmware/concord-bft/tree/master/docs/sbft-formal-model

   Dafny 2

2. concord-bft concord-bft Public

   Forked from vmware/concord-bft

   Concord byzantine fault tolerant state machine replication library

   C++

3. json json Public

   Forked from nlohmann/json

   JSON for Modern C++

   C++

4. zkllvm-template zkllvm-template Public

   Forked from NilFoundation/zkllvm-template

   Template repository for zkLLVM-based projects

   Solidity

5. crypto3-hash crypto3-hash Public

   Forked from NilFoundation/crypto3-hash

   Hashing for =nil; Crypto3 cryptography suite

   C++