{"adoption": {"forks": 205, "observed_at": "2026-08-28T04:03:26.769675+00:00", "stars": 1065}, "canonical_url": "https://ross.abutalabs.com/products/tcs", "card": {"archived": false, "artifact_type": "learning-resource", "description": "Book in preparation: introduction to theoretical computer science", "domain": ["education", "tutorials", "programming-languages"], "enriched": true, "function": ["documentation"], "health_score": 22, "homepage": "http://introtcs.org", "language": "TeX", "license": "NOASSERTION", "license_family": "other", "maturity": "active", "member_repos": ["boazbk/tcs"], "name": "boazbk/tcs", "platform": ["cross-platform"], "pushed_at": "2024-03-18T00:07:12+00:00", "repo": "boazbk/tcs", "stars": 1065, "tags": ["textbook", "theoretical-computer-science", "turing-machines", "complexity-theory", "np-completeness", "latex", "pandoc", "open-textbook", "education", "algorithms", "web-server"], "topics": [], "urls": [], "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"], "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/tcs", "repo": "boazbk/tcs", "role": "main", "score": 23}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:55:28.884237+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "94d6b10eb76233241e11eaa456d7715eec8a5f21bf2301f15ce04c069d957d62", "fetched_at": "2026-08-28T04:03:26.769675+00:00", "kind": "readme", "missing": false, "url": "https://github.com/boazbk/tcs"}, {"content_hash": "8665fc0ed4df6a4dd54f527f8f9570303a6a41edb4a43ea998899fbbbcb4608c", "fetched_at": "2026-08-29T12:57:26.687454+00:00", "kind": "homepage", "missing": false, "url": "http://introtcs.org"}, {"content_hash": "80c3bac914380c3b1993ae3d908be5b53c35edc685f242703a75821a6fbb51d2", "fetched_at": "2026-08-29T12:57:26.696543+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_05_infinite.html"}, {"content_hash": "7df2513e4d617cc417e847804287f44a17666d0a3183aa3f2c08ded3544a42d4", "fetched_at": "2026-08-29T12:57:26.702404+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_07_other_models.html"}, {"content_hash": "83831b247ad1ee89fe4d74406b94ac136cb8013186505e4b22e9f6eba66bc046", "fetched_at": "2026-08-29T12:57:26.707716+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_13_Cook_Levin.html"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:55:28.884237+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "94d6b10eb76233241e11eaa456d7715eec8a5f21bf2301f15ce04c069d957d62", "fetched_at": "2026-08-28T04:03:26.769675+00:00", "kind": "readme", "missing": false, "url": "https://github.com/boazbk/tcs"}, {"content_hash": "8665fc0ed4df6a4dd54f527f8f9570303a6a41edb4a43ea998899fbbbcb4608c", "fetched_at": "2026-08-29T12:57:26.687454+00:00", "kind": "homepage", "missing": false, "url": "http://introtcs.org"}, {"content_hash": "80c3bac914380c3b1993ae3d908be5b53c35edc685f242703a75821a6fbb51d2", "fetched_at": "2026-08-29T12:57:26.696543+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_05_infinite.html"}, {"content_hash": "7df2513e4d617cc417e847804287f44a17666d0a3183aa3f2c08ded3544a42d4", "fetched_at": "2026-08-29T12:57:26.702404+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_07_other_models.html"}, {"content_hash": "83831b247ad1ee89fe4d74406b94ac136cb8013186505e4b22e9f6eba66bc046", "fetched_at": "2026-08-29T12:57:26.707716+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_13_Cook_Levin.html"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:55:28.884237+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "94d6b10eb76233241e11eaa456d7715eec8a5f21bf2301f15ce04c069d957d62", "fetched_at": "2026-08-28T04:03:26.769675+00:00", "kind": "readme", "missing": false, "url": "https://github.com/boazbk/tcs"}, {"content_hash": "8665fc0ed4df6a4dd54f527f8f9570303a6a41edb4a43ea998899fbbbcb4608c", "fetched_at": "2026-08-29T12:57:26.687454+00:00", "kind": "homepage", "missing": false, "url": "http://introtcs.org"}, {"content_hash": "80c3bac914380c3b1993ae3d908be5b53c35edc685f242703a75821a6fbb51d2", "fetched_at": "2026-08-29T12:57:26.696543+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_05_infinite.html"}, {"content_hash": "7df2513e4d617cc417e847804287f44a17666d0a3183aa3f2c08ded3544a42d4", "fetched_at": "2026-08-29T12:57:26.702404+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_07_other_models.html"}, {"content_hash": "83831b247ad1ee89fe4d74406b94ac136cb8013186505e4b22e9f6eba66bc046", "fetched_at": "2026-08-29T12:57:26.707716+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_13_Cook_Levin.html"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:55:28.884237+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "94d6b10eb76233241e11eaa456d7715eec8a5f21bf2301f15ce04c069d957d62", "fetched_at": "2026-08-28T04:03:26.769675+00:00", "kind": "readme", "missing": false, "url": "https://github.com/boazbk/tcs"}, {"content_hash": "8665fc0ed4df6a4dd54f527f8f9570303a6a41edb4a43ea998899fbbbcb4608c", "fetched_at": "2026-08-29T12:57:26.687454+00:00", "kind": "homepage", "missing": false, "url": "http://introtcs.org"}, {"content_hash": "80c3bac914380c3b1993ae3d908be5b53c35edc685f242703a75821a6fbb51d2", "fetched_at": "2026-08-29T12:57:26.696543+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_05_infinite.html"}, {"content_hash": "7df2513e4d617cc417e847804287f44a17666d0a3183aa3f2c08ded3544a42d4", "fetched_at": "2026-08-29T12:57:26.702404+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_07_other_models.html"}, {"content_hash": "83831b247ad1ee89fe4d74406b94ac136cb8013186505e4b22e9f6eba66bc046", "fetched_at": "2026-08-29T12:57:26.707716+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_13_Cook_Levin.html"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:55:28.884237+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "94d6b10eb76233241e11eaa456d7715eec8a5f21bf2301f15ce04c069d957d62", "fetched_at": "2026-08-28T04:03:26.769675+00:00", "kind": "readme", "missing": false, "url": "https://github.com/boazbk/tcs"}, {"content_hash": "8665fc0ed4df6a4dd54f527f8f9570303a6a41edb4a43ea998899fbbbcb4608c", "fetched_at": "2026-08-29T12:57:26.687454+00:00", "kind": "homepage", "missing": false, "url": "http://introtcs.org"}, {"content_hash": "80c3bac914380c3b1993ae3d908be5b53c35edc685f242703a75821a6fbb51d2", "fetched_at": "2026-08-29T12:57:26.696543+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_05_infinite.html"}, {"content_hash": "7df2513e4d617cc417e847804287f44a17666d0a3183aa3f2c08ded3544a42d4", "fetched_at": "2026-08-29T12:57:26.702404+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_07_other_models.html"}, {"content_hash": "83831b247ad1ee89fe4d74406b94ac136cb8013186505e4b22e9f6eba66bc046", "fetched_at": "2026-08-29T12:57:26.707716+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_13_Cook_Levin.html"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:55:28.884237+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "94d6b10eb76233241e11eaa456d7715eec8a5f21bf2301f15ce04c069d957d62", "fetched_at": "2026-08-28T04:03:26.769675+00:00", "kind": "readme", "missing": false, "url": "https://github.com/boazbk/tcs"}, {"content_hash": "8665fc0ed4df6a4dd54f527f8f9570303a6a41edb4a43ea998899fbbbcb4608c", "fetched_at": "2026-08-29T12:57:26.687454+00:00", "kind": "homepage", "missing": false, "url": "http://introtcs.org"}, {"content_hash": "80c3bac914380c3b1993ae3d908be5b53c35edc685f242703a75821a6fbb51d2", "fetched_at": "2026-08-29T12:57:26.696543+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_05_infinite.html"}, {"content_hash": "7df2513e4d617cc417e847804287f44a17666d0a3183aa3f2c08ded3544a42d4", "fetched_at": "2026-08-29T12:57:26.702404+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_07_other_models.html"}, {"content_hash": "83831b247ad1ee89fe4d74406b94ac136cb8013186505e4b22e9f6eba66bc046", "fetched_at": "2026-08-29T12:57:26.707716+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_13_Cook_Levin.html"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:26.769675+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:55:28.884237+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "94d6b10eb76233241e11eaa456d7715eec8a5f21bf2301f15ce04c069d957d62", "fetched_at": "2026-08-28T04:03:26.769675+00:00", "kind": "readme", "missing": false, "url": "https://github.com/boazbk/tcs"}, {"content_hash": "8665fc0ed4df6a4dd54f527f8f9570303a6a41edb4a43ea998899fbbbcb4608c", "fetched_at": "2026-08-29T12:57:26.687454+00:00", "kind": "homepage", "missing": false, "url": "http://introtcs.org"}, {"content_hash": "80c3bac914380c3b1993ae3d908be5b53c35edc685f242703a75821a6fbb51d2", "fetched_at": "2026-08-29T12:57:26.696543+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_05_infinite.html"}, {"content_hash": "7df2513e4d617cc417e847804287f44a17666d0a3183aa3f2c08ded3544a42d4", "fetched_at": "2026-08-29T12:57:26.702404+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_07_other_models.html"}, {"content_hash": "83831b247ad1ee89fe4d74406b94ac136cb8013186505e4b22e9f6eba66bc046", "fetched_at": "2026-08-29T12:57:26.707716+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_13_Cook_Levin.html"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:55:28.884237+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "94d6b10eb76233241e11eaa456d7715eec8a5f21bf2301f15ce04c069d957d62", "fetched_at": "2026-08-28T04:03:26.769675+00:00", "kind": "readme", "missing": false, "url": "https://github.com/boazbk/tcs"}, {"content_hash": "8665fc0ed4df6a4dd54f527f8f9570303a6a41edb4a43ea998899fbbbcb4608c", "fetched_at": "2026-08-29T12:57:26.687454+00:00", "kind": "homepage", "missing": false, "url": "http://introtcs.org"}, {"content_hash": "80c3bac914380c3b1993ae3d908be5b53c35edc685f242703a75821a6fbb51d2", "fetched_at": "2026-08-29T12:57:26.696543+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_05_infinite.html"}, {"content_hash": "7df2513e4d617cc417e847804287f44a17666d0a3183aa3f2c08ded3544a42d4", "fetched_at": "2026-08-29T12:57:26.702404+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_07_other_models.html"}, {"content_hash": "83831b247ad1ee89fe4d74406b94ac136cb8013186505e4b22e9f6eba66bc046", "fetched_at": "2026-08-29T12:57:26.707716+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_13_Cook_Levin.html"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:55:28.884237+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "94d6b10eb76233241e11eaa456d7715eec8a5f21bf2301f15ce04c069d957d62", "fetched_at": "2026-08-28T04:03:26.769675+00:00", "kind": "readme", "missing": false, "url": "https://github.com/boazbk/tcs"}, {"content_hash": "8665fc0ed4df6a4dd54f527f8f9570303a6a41edb4a43ea998899fbbbcb4608c", "fetched_at": "2026-08-29T12:57:26.687454+00:00", "kind": "homepage", "missing": false, "url": "http://introtcs.org"}, {"content_hash": "80c3bac914380c3b1993ae3d908be5b53c35edc685f242703a75821a6fbb51d2", "fetched_at": "2026-08-29T12:57:26.696543+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_05_infinite.html"}, {"content_hash": "7df2513e4d617cc417e847804287f44a17666d0a3183aa3f2c08ded3544a42d4", "fetched_at": "2026-08-29T12:57:26.702404+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_07_other_models.html"}, {"content_hash": "83831b247ad1ee89fe4d74406b94ac136cb8013186505e4b22e9f6eba66bc046", "fetched_at": "2026-08-29T12:57:26.707716+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_13_Cook_Levin.html"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:55:28.884237+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "94d6b10eb76233241e11eaa456d7715eec8a5f21bf2301f15ce04c069d957d62", "fetched_at": "2026-08-28T04:03:26.769675+00:00", "kind": "readme", "missing": false, "url": "https://github.com/boazbk/tcs"}, {"content_hash": "8665fc0ed4df6a4dd54f527f8f9570303a6a41edb4a43ea998899fbbbcb4608c", "fetched_at": "2026-08-29T12:57:26.687454+00:00", "kind": "homepage", "missing": false, "url": "http://introtcs.org"}, {"content_hash": "80c3bac914380c3b1993ae3d908be5b53c35edc685f242703a75821a6fbb51d2", "fetched_at": "2026-08-29T12:57:26.696543+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_05_infinite.html"}, {"content_hash": "7df2513e4d617cc417e847804287f44a17666d0a3183aa3f2c08ded3544a42d4", "fetched_at": "2026-08-29T12:57:26.702404+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_07_other_models.html"}, {"content_hash": "83831b247ad1ee89fe4d74406b94ac136cb8013186505e4b22e9f6eba66bc046", "fetched_at": "2026-08-29T12:57:26.707716+00:00", "kind": "site_page", "missing": false, "url": "https://introtcs.org/public/lec_13_Cook_Levin.html"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3325, "days_push": 899, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 23, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}