Computer Science & Theory
Comprehensive resources for computer science fundamentals, algorithms, theory, and essential books for developers and researchers.
Computer Science
Algorithms & Data Structures
-
Algorithm Visualizer
Interactive algorithm visualization
-
VisuAlgo
Data structure and algorithm visualizations
-
Big-O Cheat Sheet
Algorithm complexity reference
-
LeetCode
Coding interview preparation
-
HackerRank
Programming challenges and contests
Computer Science Theory
-
MIT OpenCourseWare
Free MIT course materials
-
Coursera CS Courses
Online computer science courses
-
edX CS Courses
University-level CS courses
-
Khan Academy CS
Free CS education resources
-
CS50 Harvard
Harvard's introduction to computer science
Mathematics for CS
-
Khan Academy Math
Free math education
-
3Blue1Brown
Mathematical concepts visualization
-
MIT Math Courses
MIT mathematics courses
-
Paul's Online Math Notes
Comprehensive math tutorials
-
Wolfram MathWorld
Mathematical encyclopedia
Theory
Computational Complexity
-
Complexity Zoo
Comprehensive complexity class reference
-
P vs NP Problem
One of the seven Millennium Prize Problems
-
Computational Complexity Blog
Latest in complexity theory
Formal Methods
-
TLA+
Temporal Logic of Actions
-
Alloy
Software modeling language
-
Coq
Formal proof assistant
-
Isabelle/HOL
Interactive theorem prover
Type Theory
-
Homotopy Type Theory
Unifying mathematics and programming
-
Type Theory Book
Type Theory and Functional Programming
-
Agda
Dependently typed functional language
Books
Classic CS Books
-
Introduction to Algorithms
CLRS - The algorithm bible
-
The Art of Computer Programming
Knuth's comprehensive series
-
Structure and Interpretation of Computer Programs
SICP - Classic programming text
-
Concrete Mathematics
Mathematical foundation for CS
-
Design Patterns
Gang of Four design patterns
Modern CS Books
-
Clean Code
Writing maintainable code
-
The Pragmatic Programmer
Software development best practices
-
Code Complete
Software construction practices
-
Refactoring
Improving code design
-
Domain-Driven Design
Complex software design approach