Technical Library & Bookcase

Interactive bookshelf containing currently read books and research notes.

Formal Languages & Compilers
Operating Systems
Formal Methods
Cybersecurity
// Shelf under active expansion...