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