Watch Seddon/UCAS-开源软件课程 forked from ucas-opensource-course/UCAS-开源软件课程

中国科学院大学《开源软件》课程

Watch Seddon/boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

Watch Seddon/go_learning forked from 极客时间/go_learning

Watch user_7480262/NWPU DiffTest

NWPU Difftest for loongson cpu

Watch Seddon/kitti_completion

Watch Seddon/NLSPN_ECCV20

Watch Seddon/apex

Watch Seddon/GenshinCPU

This repo is GenshinCPU From NWPU(NSCSCC First Prize)

Watch Seddon/NSCSCC_Linux_Kernel

This repo is for nscscc2021,we fix some bugs in the kernel for ls232 platform.

Watch JiaxiJIANG/GenshinCPU

nwpu nscscc cpu