The BusTub Relational Database Management System (Educational) - View it on GitHub