Theoretical Computer Science
A curated list of resources for theoretical computer science, emphasizing mathematical techniques and rigor.
What is Theoretical Computer Science?
Awesome Theoretical Computer Science is a curated GitHub repository that aggregates high-quality learning resources for the field of theoretical computer science. It organizes materials like textbooks, lecture notes, video courses, and research surveys across sub-disciplines such as computational complexity, algorithms, logic, and programming language theory. The collection emphasizes mathematical rigor and proof techniques, serving as a structured entry point for anyone seeking to study the theoretical foundations of computing.
Students, researchers, and academics in computer science or mathematics who want to learn or deepen their understanding of theoretical topics. It is particularly valuable for graduate students preparing for research, educators designing courses, and self-learners seeking structured, vetted resources.
Unlike generic resource lists, it focuses specifically on the mathematical and proof-oriented side of computer science, offering carefully categorized materials that emphasize theoretical rigor. It saves time by aggregating scattered academic resources into a single, well-organized repository maintained by the community.
Overview
Math & CS awesome List, distinguished by proof and logic technique
Use Cases
Best For
- Graduate students seeking comprehensive reading lists for theory courses
- Researchers looking for surveys or monographs in specialized subfields
- Educators designing curricula for theoretical computer science classes
- Self-learners wanting structured paths to study computational complexity or type theory
- Academic librarians curating references for computer science departments
- Enthusiasts exploring connections between computer science, logic, and philosophy
Not Ideal For
- Practitioners seeking step-by-step coding tutorials for implementing algorithms in production code
- Teams needing quick references for industry-standard software engineering tools and frameworks
- Learners with minimal mathematical background who prefer visual or interactive educational platforms
- Projects focused exclusively on applied data science without interest in underlying theory
Pros & Cons
Pros
Organizes thousands of resources across all major TCS subfields, from computational complexity to type theory, saving researchers hours of scattered searching.
Explicitly prioritizes materials that emphasize proof techniques and mathematical foundations, making it unique among more applied programming lists.
Aggregates textbooks, video lectures, MOOCs, and lecture notes in one place, accommodating diverse learning styles and academic needs.
Includes conferences, workshops, and job resources, helping users transition from study to research or professional opportunities in theoretical CS.
Cons
As a static markdown file, it lacks search, filtering, or user ratings, making navigation through hundreds of links inefficient for specific queries.
The sheer volume and academic tone can overwhelm beginners without guided pathways or difficulty indicators for listed resources.
Relies on manual community contributions, so it may lag behind cutting-edge research or miss emerging online courses and tools.
Frequently Asked Questions
Related Projects
Open Source Society University🎓 Path to a free self-taught education in Computer Science!
Awesome machine learningA curated list of awesome Machine Learning frameworks, libraries and software.
University Courses:books: List of awesome university courses for learning Computer Science!
Data Science:memo: An awesome Data Science repository to learn and apply for real world problems.
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.