- ๐ญ Iโm currently working:
- for AWS/ฮป
- on rust-lang/clippy
- on A symbolic data generation engine
- ๐ฑ Iโm currently learning about:
- Database and query engine internals
- Symbolic execution
- Formal methods
- i am open to the right job; remotely or in Dublin
m-rph / bustub Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cmu-db/bustub
The BusTub Relational Database Management System (Educational)
Home Page: https://15445.courses.cs.cmu.edu/
License: MIT License