Popular repositories Loading

1. minesweeper minesweeper Public

   Project of Hardware System @ HUST, Fall 2023 (Software Part)

   C 3

2. netease-music-world-rs netease-music-world-rs Public

   A minimal cli tool written in Rust that helps overseas users accessing NetEase Music.

   Rust 3 4

3. machine-learning-assignments machine-learning-assignments Public

   Machine Learning @ HUST, Spring 2023

   Python 2

4. database-system-experiments database-system-experiments Public

   Database System Experiments (MySQL) @ HUST, Spring 2023

   Java 2

5. computer-network-labs computer-network-labs Public

   Computer Communication and Network @ HUST, Fall 2023

   C++ 2

6. llvm2smt-pass llvm2smt-pass Public

   An experimental llvm pass trying to encode the semantics of LLVM IR to SMT-LIB.

   C++ 2