Shawn-Yang-Xiao

Univerisity of Chinese Academy of ScienceBeijing, China

Pinned Repositories

hw-cbmc
The HW-CBMC and EBMC Model Checkers for Verilog
Language:C++53 8 2814
Answer-for-Software-Foundations
Language:HTML00
RUCBASE_lab
Language:C++20
Shawn-Yang-Xiao.github.io
Language:HTML00
UPenn-CIS194-Introduction-to-Haskell
Language:Haskell00

Shawn-Yang-Xiao's Repositories

Shawn-Yang-Xiao/RUCBASE_lab
Language:C++20
Shawn-Yang-Xiao/Answer-for-Software-Foundations
Language:HTML00
Shawn-Yang-Xiao/Shawn-Yang-Xiao.github.io
Language:HTML00
Shawn-Yang-Xiao/UPenn-CIS194-Introduction-to-Haskell
Language:Haskell00