- ⭐ - must read
- ⭐ Structure and Interpretation of Computer Programs by Harold Abelson and Gerald Jay Sussman
- How to Design Programs by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
- Программирование. Теоремы и задачи by Александр Шень
- Clean Code by Robert Martin
- The Art of Computer Programming by Donald E. Knuth
- Concrete Mathematics: A Foundation for Computer Science by Ronald Graham, Donald Knuth, and Oren Patashnik
- The C Programming Language by Brian Kernighan and Dennis Ritchie
- Learn You a Haskell for Great Good! by Miran Lipovaca
- Haskell Book by Anton Kholomiov
- Computer Organization and Design: The Hardware / Software Interface by David Patterson, John Hennessy
- Distributed Systems: Principles and Paradigms
- Computer Architecture
- Compilers: Principles, Techniques, & Tools
- Write You a Haskell by Stephen Diehl
- Crafting Interpreters by Bob Nystorm
- Beautiful Racket by Matthew Butterick
- Write Yourself a Scheme in 48 Hours by Jonathan Tang
- Write You A Scheme, Version 2 by Adam Wespiser
- Immix: A Mark-Region Garbage Collector with Space Efficiency, Fast Collection, and Mutator Performance by Stephen M. Blackburn and Kathryn S. McKinley
- Computer Networking: A Top-Down Approach by James Kurose and Keith Ross
- Computer Networks: Principles, Technologies and Protocols for Network Design by Natalia and Victor Olifer
-
Computer Networks by Andrew Tanenbaum
- Readings in Database Systems by Joseph Hellerstein
- Purely Functional Data Structures by Chris Okasaki
- Data Structures Basics
- Data Structures
- Python for Data Analysis by Wes McKinney
- Algorithms and Data Structures by Niklaus Wirth
- Introduction to Algorithms by Thomas Cormen, Charles Leiserson, Ronald Rivest and Clifford Stein
- The Algorithm Design Manual by Steven Skiena
- Analysis of Algorithms: An Active Learning Approach by Jeffrey McConnell
- Sorting Algorithms Animations
- Algorithmic Complexity
- Big-O Algorithm Complexity Cheat Sheet
- Modern Operating Systems by Andrew Tanenbaum
- IntermezzOS
- The little book about OS development by Erik Helin and Adam Renberg
- The Linux Kernel Module Programming Guide by Peter Jay Salzman
- Become a Programmer, Motherfucker
- Awesome Compilers
- Teach Yourself Programming in Ten Years
- Teach Yourself Computer Science
- Open Source Society University
- Free Programming Books
- Google Interview University
- Machine Learning for Software Engineers
- What happens when...
- Элементарная математика by Марк Сканави
- Краткий курс высшей математики by Исидор Натансон
- Algebra: Chapter 0 by Paolo Aluffi
- Введение в алгебру. В 3 частях. Часть 1. Основы алгебры by Алексей Кострикин
- Введение в алгебру. В 3 частях. Часть 2. Линейная алгебра by Алексей Кострикин
- Введение в алгебру. В 3 частях. Часть 3. Основные структуры алгебры by Алексей Кострикин
- Сборник задач по алгебре by Алексей Кострикин
- Курс высшей алгебры by Александр Курош
- Курс алгебры by Эрнест Винберг
- Краткий курс Математического анализа by Лев Кудрявцев
- Курс математического анализа. Учебник. В 3 томах. Том 1 by Лев Кудрявцев
- Курс математического анализа. В 2 книгах. Том 2. Книга 1. Учебник by Лев Кудрявцев
- Курс математического анализа. Том 2. В 2 книгах. Книга 2 by Лев Кудрявцев
- Курс математического анализа. В 3 томах. Том 3. Учебник by Лев Кудрявцев
- Математический анализ. Часть 1 by Владимир Зорич
- Математический анализ. Часть 2 by Владимир Зорич
- Сборник задач и упражнений по математическому анализу. Учебное пособие by Демидович Борис Павлович
- Курс дифференциального и интегрального исчисления в 3 томах by Grigorii Fichtenholz
- Комбинаторика by Наум Виленкин, Александр Виленкин
- Задачи по теории вероятностей by Альберт Ширяев
- Курс теории вероятностей. Учебник
- Элементарное введение в теорию вероятностей by Борис Гнеденко, Александр Хинчин
- Сборник задач по теории вероятностей by Андрей Зубков, Борис Севастьянов, Владимир Чистяков
- Дискретная математика для программистов / Discrete Mathematics for Compuing by Род Хаггарти
- Graph Theory
- Homotopy Type Theory by Vladimir Voevodsky
- Types and Programming Languages by Benjamin C. Pierce
- Стабильные гомотопии и обобщенные гомологии / Stable Homotopy and Generalised Homology by Джон Фрэнк Адамс
- A Tutorial Introduction to the Lambda Calculus
- Лямбда-исчисление
- So You Want to be a Functional Programmer
- Функциональное программирование 2015