mostafatouny/awesome-theoretical-computer-science resource
Math & CS awesome List, distinguished by proof and logic technique observed · 2026-08-28
Health v2 · maintenance only
62/100
- Activity 65
- Release rhythm 35
- Longevity 100
Flags: no_releases
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 2068
- days_rel: n/a
- days_push: 215
- n_releases_24m: 0
Adoption not part of the score
1204 stars · 72 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
A curated awesome list of learning resources for theoretical computer science, spanning lecture notes, videos, books, and problem sets. It is organized by topic including theory of computation, computational complexity, logic, and programming language theory, with emphasis on mathematical proof and rigor.
Use cases
- find books to learn computational complexity theory
- locate lecture notes and videos for theory of computation
- discover resources on computability and logic for self-study
- build a curriculum for learning theoretical computer science
- find problem sets and puzzles on complexity and proof techniques
- explore programming language theory learning materials
When to choose
- you want a curated index of high-quality TCS learning materials
- you are self-studying complexity theory, computability, or logic
- you need lecture notes, MOOCs, or books organized by subfield
When to avoid
- you need runnable software or tools rather than reading material
- you want applied or practical computer science resources
- you need interactive courses rather than a link list
Facets
learning-resource · maturity active
documentation mathematics tutorials awesome-lists education awesome-list theoretical-computer-science theory-of-computation computational-complexity logic curated-resources algorithms web-server
1 source
- readme: https://github.com/mostafatouny/awesome-theoretical-computer-science · fetched 2026-08-28 · fccfb33f5e68
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| mostafatouny/awesome-theoretical-computer-science | main | 62 |
For agents
markdown · JSON · MCP: product_card(name="mostafatouny/awesome-theoretical-computer-science")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem