Shlw

Prove and conjecture!

China

Pinned Repositories

ml_course_project_tex
Language:TeX2 4 00
Equestrotopia
Progressive Photon Mapping
Language:C++1 3 10
mini-prover
Term project for TaPL. A mini coq-like proof assistant.
Language:Haskell16 3 01
ToolsSeminar
Seminar on Selected Tools
Language:Jupyter Notebook23 10 723
Books-and-Exercises
Book reading
Language:TeX14 4 02
Collision
Term project of Introduction to Computing (A) (Honor Track)
Language:C++4 2 13
LowPoly
Term project of Practice of Programming in C&C++(Honor Track)
Language:Python4 3 00
Naive-SAT-Solver
Term project of Logic and Program Verification
Language:Python2 1 00
shlw.github.io
Academic personal website
Language:HTML0 0 00
Tetris
Term project of Practice of Programming in C&C++(Honor Track)
Language:C++4 2 00

Shlw's Repositories

Shlw/Books-and-Exercises
Book reading
Language:TeX14 4 02
Shlw/Collision
Term project of Introduction to Computing (A) (Honor Track)
Language:C++4 2 13
Shlw/LowPoly
Term project of Practice of Programming in C&C++(Honor Track)
Language:Python4 3 00
Shlw/Tetris
Term project of Practice of Programming in C&C++(Honor Track)
Language:C++4 2 00
Shlw/Naive-SAT-Solver
Term project of Logic and Program Verification
Language:Python2 1 00
Shlw/shlw.github.io
Academic personal website
Language:HTML0 0 00