ACMClassCourse-2023

Popular repositories Loading

1. Minesweeper-2023 Minesweeper-2023 Public archive

   Course project of Programming (CS1953, 2023 Fall), ACM Honor Class

   C++ 9 2

2. CPU2024 CPU2024 Public

   RISC-V CPU

   Verilog 8

3. STLite-ACM-2024 STLite-ACM-2024 Public archive

   Toy Implementation of the C++ Standard Template Library (STL). Course project of Data Structure (CS1951, 2024 Spring), ACM Honor Class

   C++ 5 6

4. Bookstore-2023 Bookstore-2023 Public archive

   Fifth Course project of Programming (CS1953, 2023 Fall), ACM Honor Class

   2 7

5. PPCA-AIPacMan-2024 PPCA-AIPacMan-2024 Public

   PPCA AI 吃豆人项目

   Python 2 2

6. PPCA-Formal-Verification-2024 PPCA-Formal-Verification-2024 Public

   PPCA Project: Formal Verification in Coq

   Coq 2