boazbk/tcs resource
Book in preparation: introduction to theoretical computer science observed · 2026-08-28
Health v2 · maintenance only
23/100
- Activity 0
- Release rhythm 8
- Longevity 100
Flags: no_license
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: 3325
- days_rel: n/a
- days_push: 899
- n_releases_24m: 0
Adoption not part of the score
1065 stars · 205 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
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
learning-resource · maturity active
documentation education tutorials programming-languages cross-platform textbook theoretical-computer-science turing-machines complexity-theory np-completeness latex pandoc open-textbook education algorithms web-server
5 sources
- readme: https://github.com/boazbk/tcs · fetched 2026-08-28 · 94d6b10eb762
- homepage: http://introtcs.org · fetched 2026-08-29 · 8665fc0ed4df
- site_page: https://introtcs.org/public/lec_05_infinite.html · fetched 2026-08-29 · 80c3bac91438
- site_page: https://introtcs.org/public/lec_07_other_models.html · fetched 2026-08-29 · 7df2513e4d61
- site_page: https://introtcs.org/public/lec_13_Cook_Levin.html · fetched 2026-08-29 · 83831b247ad1
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| boazbk/tcs | main | 23 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem