Hua-hana

PL | Formal Verification | Working on Rust verified compiler

Shanghai Jiao Tong University

Pinned Repositories

ACM
Amazing Choochoo Mogician, for Data Structure 2018
Language:C#0 0 00
Analyzing-TCP-Reno-Tahoe-Westwood-using-NS3
Congestion window, throughput, goodput, congestion loss analysis in a dumbbell topology
Language:C++0 0 00
CPUmodels
GoNative project: formal machines models in Coq
Language:Coq0 0 00
CS-architecture-experiment
lab5:design a Single-cycle processor lab6:design a pipeline processor
Language:C0 1 00
Hua-hana.github.io
Language:HTML0 1 00
MiniBasic
A minor Basic language interpreter with UI
Language:C++0 1 10
OS-experiment
Language:C0 1 00
Secondary-Sort
Language:Java0 1 00
CompCert
The CompCert formally-verified C compiler
Language:Coq5 1 02

Hua-hana's Repositories

Hua-hana/ACM
Amazing Choochoo Mogician, for Data Structure 2018
Language:C#0 0 00
Hua-hana/Analyzing-TCP-Reno-Tahoe-Westwood-using-NS3
Congestion window, throughput, goodput, congestion loss analysis in a dumbbell topology
Language:C++0 0 00
Hua-hana/CPUmodels
GoNative project: formal machines models in Coq
Language:Coq0 0 00
Hua-hana/CS-architecture-experiment
lab5:design a Single-cycle processor lab6:design a pipeline processor
Language:C0 1 00
Hua-hana/Hua-hana.github.io
Language:HTML0 1 00
Hua-hana/MiniBasic
A minor Basic language interpreter with UI
Language:C++0 1 10
Hua-hana/OS-experiment
Language:C0 1 00
Hua-hana/Secondary-Sort
Language:Java0 1 00
Hua-hana/stanford-compiler
Language:Java1 0
Hua-hana/waka-box
📊 Update a pinned gist to contain your weekly WakaTime stats
Language:JavaScript0 0
Hua-hana/yolov4-deepsort
Object tracking implemented with YOLOv4, DeepSort, and TensorFlow.
Language:Python0 0