Pinned Loading

1. justitia justitia Public

   Justitia chain project

   Go 20 8

2. formalmethod formalmethod Public

   Formal Methods of Smart Contracts

   8 3

3. galaxy galaxy Public

   Advanced distributed consensus framework support pluggable algorithms

   Go 15 4

4. gossipswitch gossipswitch Public

   A Gossip switch implementation.

   Go 11 4

5. crypto-suite crypto-suite Public

   A Crypto Suite Project

   C 2

6. evm-NG evm-NG Public

   Next Generation Contract VM from EVM(forked from go-ethereum)

   Go 3