Pinned Loading

1. lsrcz/mini-prover lsrcz/mini-prover Public

   Term project for TaPL. A mini coq-like proof assistant.

   Haskell 17 1

2. pppppass/ToolsSeminar pppppass/ToolsSeminar Public archive

   Seminar on Selected Tools

   Jupyter Notebook 23 23

3. liangjs/Equestrotopia liangjs/Equestrotopia Public

   Progressive Photon Mapping

   C++ 1

4. Naive-SAT-Solver Naive-SAT-Solver Public

   Term project of Logic and Program Verification

   Python 2

5. LowPoly LowPoly Public

   Term project of Practice of Programming in C&C++(Honor Track)

   Python 4

6. Collision Collision Public

   Term project of Introduction to Computing (A) (Honor Track)

   C++ 4 3