Pinned

1. sqlc sqlc Public

   Forked from sqlc-dev/sqlc

   Generate type-safe code from SQL (a wicked fork)

   Go 3 2

2. needle needle Public

   Instead of the Night King, I prefer SQL.

   Go 6 1

3. TrustCoq TrustCoq Public

   Formal Verification on NDN trust schema

   Coq

4. ndns ndns Public

   Forked from named-data/ndns

   NDNS: Domain Name Service for Named Data Networking

   C++ 1

5. lino-network/lino lino-network/lino Public

   Lino Core (PBFT-based DPoS) in Go. Decentralized autonomous video content economy

   Go 139 18

6. dcache dcache Public

   Go 1 2