# mostafatouny/awesome-theoretical-computer-science

Math & CS awesome List, distinguished by proof and logic technique

Repository: https://github.com/mostafatouny/awesome-theoretical-computer-science
Canonical: https://ross.abutalabs.com/products/awesome-theoretical-computer-science
Language: Python
License: CC0-1.0
License Family: permissive
Topics: awesome, awesome-list, list, lists, theoretical-computer-science, theory-of-computation, mathematics, computer-science
Last push: 2026-01-30T20:06:12+00:00

## Health v2 (maintenance only)
Score: 62/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 65, release rhythm 35, longevity 100
- inputs: {"age_days": 2068, "days_push": 215, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1204, forks 72 (observed 2026-08-28T04:03:59.013360+00:00)

## What it is
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
- artifact type: learning-resource
- maturity: active
- function: documentation
- domain: mathematics, tutorials, awesome-lists, education
- platform: -
- tags: awesome-list, theoretical-computer-science, theory-of-computation, computational-complexity, logic, curated-resources, algorithms, web-server

## Member repositories
- mostafatouny/awesome-theoretical-computer-science (main) score 62

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:03:59.013360+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T06:19:40.190938+00:00, confidence not recorded.
  - readme: https://github.com/mostafatouny/awesome-theoretical-computer-science (fetched 2026-08-28T04:03:59.013360+00:00, sha fccfb33f5e68)
- Data as of 2026-08-30T08:39:29.467469+00:00.