# boazbk/tcs

Book in preparation: introduction to theoretical computer science

Repository: https://github.com/boazbk/tcs
Canonical: https://ross.abutalabs.com/products/tcs
Homepage: http://introtcs.org
Language: TeX
License: NOASSERTION
License Family: other
Last push: 2024-03-18T00:07:12+00:00

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

## Adoption (not part of the score)
Stars 1065, forks 205 (observed 2026-08-28T04:03:26.769675+00:00)

## What it is
An open-source textbook in preparation by Boaz Barak, 'Introduction to Theoretical Computer Science', used in undergraduate courses at Harvard, UVa, and UCLA. The repository contains the TeX/Markdown source for the book, published in HTML and PDF formats at introtcs.org.

## Use cases
- learn theoretical computer science fundamentals
- find a free textbook on Turing machines and computability
- study NP-completeness and the Cook-Levin theorem
- prepare an undergraduate theory of computation course
- understand the Church-Turing thesis and equivalent models of computation
- read about automata and regular expressions
- contribute typo fixes to an open theory textbook

## When to choose
- you need a free, accessible introduction to theoretical CS covering computation, automata, and complexity
- you are teaching or taking an undergraduate intro theory course and want a modern open text
- you want supplementary Jupyter notebooks connecting theory to code

## When to avoid
- you need a finished, polished textbook with all chapters complete (two chapters are still missing)
- you need a derivative-friendly license (CC BY-NC-ND restricts redistribution and modification)
- you seek practical software engineering rather than theory

## Facets
- artifact type: learning-resource
- maturity: active
- function: documentation
- domain: education, tutorials, programming-languages
- platform: cross-platform
- tags: textbook, theoretical-computer-science, turing-machines, complexity-theory, np-completeness, latex, pandoc, open-textbook, education, algorithms, web-server

## Member repositories
- boazbk/tcs (main) score 23

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:03:26.769675+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:55:28.884237+00:00, confidence not recorded.
  - readme: https://github.com/boazbk/tcs (fetched 2026-08-28T04:03:26.769675+00:00, sha 94d6b10eb762)
  - homepage: http://introtcs.org (fetched 2026-08-29T12:57:26.687454+00:00, sha 8665fc0ed4df)
  - site_page: https://introtcs.org/public/lec_05_infinite.html (fetched 2026-08-29T12:57:26.696543+00:00, sha 80c3bac91438)
  - site_page: https://introtcs.org/public/lec_07_other_models.html (fetched 2026-08-29T12:57:26.702404+00:00, sha 7df2513e4d61)
  - site_page: https://introtcs.org/public/lec_13_Cook_Levin.html (fetched 2026-08-29T12:57:26.707716+00:00, sha 83831b247ad1)
- Data as of 2026-08-30T08:39:29.467469+00:00.