wangjunwei1999

wangjunwei1999's Stars

• HuShaoRu/CompCert

  The CompCert formally-verified C compiler

  Language:Coq11

• staffsang/-live-

  用来更新偶像大师live的字幕文件（有其他需求可自行下载修改）

  13018

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k230

• biuuu/ShinyColors

  偶像大师闪耀色彩汉化

  Language:JavaScript47974

• thu-cs-lab/supervisor-rv

  计算机组成原理课程 RISC-V 监控程序，支持 32 位和 64 位

  Language:Assembly11423

• SI-RISCV/e200_opensource

  Deprecated, please go to next generation Ultra-Low Power RISC-V Core https://github.com/riscv-mcu/e203_hbirdv2

  Language:Verilog2.6k1k

• decaf-lang/minidecaf

  The MiniDecaf compilers.

  6712

• dunnousername/yanderifier

  First-Order-Wrapper (formerly known as Yanderify) is a front-end tool for first-order-motion. It aims to make using first-order-motion face animation accessible to everyone, for education and entertainment.

  Language:Python1.8k292

• bumptech/glide

  An image loading and caching library for Android focused on smooth scrolling

  Language:Java34.7k6.1k

• Telenav/NodeFlow

  NodeFlow is a library that makes visualizing hierarchical content easier.

  Language:Java54461

• ROIM1998/THU-CST-Cracker

  清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University

  Language:C++1232

• proxyee-down-org/proxyee-down

  http下载工具，基于http代理，支持多连接分块下载

  Language:Java24.9k4.4k

• TheAlgorithms/Python

  All Algorithms implemented in Python

  Language:Python196k45.9k

• PKUanonym/REKCARC-TSC-UHT

  清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University

  Language:HTML33.5k7.7k