jpwang's Projects
NJU Compiler Lab
The CompCert formally-verified C compiler
常用英语词汇表
ics-wiki
NJU irsim in rust
an implementation of sparse matrix using linked list
Nash Equilibria Solver using python
Beamer sample for NJUer!
GitHub Profile
blog
A parser generator written in C++
A 2048 game mini Project with QT
简单的正则表达式识别器
The ray tracing in one weekend series programs written in rust
simple Select And Translate tool for linux
NJU SE lab
CS144 Lab Assignments
An easy-to-learn/use static analysis framework for Java
Implement type checkers from Types and Programming Languages using haskell
NJU FLA Project
XLS: Accelerated HW Synthesis