A library for efficient similarity search and clustering of dense vectors.

Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.

10701 Semester Project

AMD's graph optimization engine.

A collection of awesome-prompt-datasets, awesome-instruction-dataset, to train ChatLLM such as chatgpt 收录各种各样的指令数据集, 用于训练 ChatLLM 模型。

64bit multithreaded python data analytics tools for numpy arrays and datasets

Friendly and idiomatic Rust wrappers over SymCrypt

CaDiCaL SAT Solver

Print-friendly, minimalist CV page

The textbook Patrick and I wrote for 98-300 Intro to Cantonese at CMU

Animation engine for explanatory math videos