GitHub repository: kevinzhao-dev/bustub
Description: The BusTub Relational Database Management System (Educational)