Kaiwen Shi's repositories
blockchain_conference_paper
The existed blockchain-related academic papers. All papers are sorted according the conference and publihed year.
000
Language:Coq000
CSAPP3E
Solutions of Computer Systems: A Programmer's Perspective (3rd Edition) by Randal E. Bryant, David R. O'Hallaron
Language:C000
Language:HTML000
huobi-chain
The next generation high performance public chain for financial infrastructure.
Language:RustApache-2.0000
huobi-eco-chain
Huobi Eco Chain client based on the go-ethereum fork
Language:GoLGPL-3.0000
000
000
Test
test for github action
000
Model-Checking
Some notions of Model Checking
000
ustcthesis
LaTeX template for USTC thesis
LPPL-1.3c000