Pinned Loading

1. sqlc sqlc Public

   Forked from sqlc-dev/sqlc

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

   Go 5 8

2. needle needle Public

   Instead of the Night King, I prefer SQL.

   Go 7 1

3. TrustCoq TrustCoq Public

   Formal Verification on NDN trust schema

   Coq 2

4. ndns ndns Public

   Forked from named-data/ndns

   NDNS: Domain Name Service for Named Data Networking

   C++ 2

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

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

   Go 142 18

6. dcache dcache Public

   Two-layer cache in Go with penetration protection, breakdown prevention, compression, and observability.

   Go 2 2