GitHub repository: xuruiyang2002/miniklee
Primary language: C++
Description: MinKLEE for teaching