{"adoption": {"forks": 343, "observed_at": "2026-08-28T04:09:16.016065+00:00", "stars": 5359}, "canonical_url": "https://ross.abutalabs.com/products/plt", "card": {"archived": false, "artifact_type": "learning-resource", "description": "Programming Language Theory λΠ", "domain": ["programming-languages", "tutorials", "awesome-lists", "education"], "enriched": true, "function": ["documentation", "developer-tools"], "health_score": 20, "homepage": "https://steshaw.org/plt/", "language": "CSS", "license": null, "license_family": "other", "maturity": "active", "member_repos": ["steshaw/plt"], "name": "steshaw/plt", "platform": [], "pushed_at": "2024-12-02T01:47:27+00:00", "repo": "steshaw/plt", "stars": 5359, "tags": ["type-theory", "functional-programming", "category-theory", "proof-theory", "curated-list", "lambda-calculus", "web-server"], "topics": ["programming-languages", "type-theory", "functional-programming", "category-theory", "logic", "proof-theory"], "urls": [], "use_cases": ["find books to learn type theory", "get a reading path for programming language theory", "learn dependent types with Agda or Coq", "find resources on category theory for programmers", "study lambda calculus and proof theory", "recommend PLT learning material to a colleague"], "what_it_is": "A curated collection of resources for learning Programming Language Theory, including type theory books, proof assistants, and academic papers. It is maintained as a website and GitHub repository aimed at practitioners without formal PLT backgrounds.", "when_to_avoid": ["you need an interactive tool or proof assistant rather than a resource list", "you want structured lessons or exercises rather than links to external materials", "you need beginner programming tutorials unrelated to language theory"], "when_to_choose": ["you want a curated, opinionated index of PLT and type theory learning materials", "you are a practitioner self-studying type theory without formal background", "you need pointers to free books like PLFA, Software Foundations, or TAPL"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/plt", "repo": "steshaw/plt", "role": "main", "score": 32}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T17:58:46.224501+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a48746cae70c44e7e105b594aad338ddd105c93c1cb445a40ba6aab785ba69e5", "fetched_at": "2026-08-28T04:09:16.016065+00:00", "kind": "readme", "missing": false, "url": "https://github.com/steshaw/plt"}, {"content_hash": "4452f3e724fffd2836595b948ea6f6a4a8114859ba70dfcc49901bd7a211afd4", "fetched_at": "2026-08-29T08:53:00.887780+00:00", "kind": "homepage", "missing": false, "url": "https://steshaw.org/plt/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T17:58:46.224501+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a48746cae70c44e7e105b594aad338ddd105c93c1cb445a40ba6aab785ba69e5", "fetched_at": "2026-08-28T04:09:16.016065+00:00", "kind": "readme", "missing": false, "url": "https://github.com/steshaw/plt"}, {"content_hash": "4452f3e724fffd2836595b948ea6f6a4a8114859ba70dfcc49901bd7a211afd4", "fetched_at": "2026-08-29T08:53:00.887780+00:00", "kind": "homepage", "missing": false, "url": "https://steshaw.org/plt/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T17:58:46.224501+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a48746cae70c44e7e105b594aad338ddd105c93c1cb445a40ba6aab785ba69e5", "fetched_at": "2026-08-28T04:09:16.016065+00:00", "kind": "readme", "missing": false, "url": "https://github.com/steshaw/plt"}, {"content_hash": "4452f3e724fffd2836595b948ea6f6a4a8114859ba70dfcc49901bd7a211afd4", "fetched_at": "2026-08-29T08:53:00.887780+00:00", "kind": "homepage", "missing": false, "url": "https://steshaw.org/plt/"}], "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:09:16.016065+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T17:58:46.224501+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a48746cae70c44e7e105b594aad338ddd105c93c1cb445a40ba6aab785ba69e5", "fetched_at": "2026-08-28T04:09:16.016065+00:00", "kind": "readme", "missing": false, "url": "https://github.com/steshaw/plt"}, {"content_hash": "4452f3e724fffd2836595b948ea6f6a4a8114859ba70dfcc49901bd7a211afd4", "fetched_at": "2026-08-29T08:53:00.887780+00:00", "kind": "homepage", "missing": false, "url": "https://steshaw.org/plt/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T17:58:46.224501+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a48746cae70c44e7e105b594aad338ddd105c93c1cb445a40ba6aab785ba69e5", "fetched_at": "2026-08-28T04:09:16.016065+00:00", "kind": "readme", "missing": false, "url": "https://github.com/steshaw/plt"}, {"content_hash": "4452f3e724fffd2836595b948ea6f6a4a8114859ba70dfcc49901bd7a211afd4", "fetched_at": "2026-08-29T08:53:00.887780+00:00", "kind": "homepage", "missing": false, "url": "https://steshaw.org/plt/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T17:58:46.224501+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a48746cae70c44e7e105b594aad338ddd105c93c1cb445a40ba6aab785ba69e5", "fetched_at": "2026-08-28T04:09:16.016065+00:00", "kind": "readme", "missing": false, "url": "https://github.com/steshaw/plt"}, {"content_hash": "4452f3e724fffd2836595b948ea6f6a4a8114859ba70dfcc49901bd7a211afd4", "fetched_at": "2026-08-29T08:53:00.887780+00:00", "kind": "homepage", "missing": false, "url": "https://steshaw.org/plt/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:09:16.016065+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T17:58:46.224501+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a48746cae70c44e7e105b594aad338ddd105c93c1cb445a40ba6aab785ba69e5", "fetched_at": "2026-08-28T04:09:16.016065+00:00", "kind": "readme", "missing": false, "url": "https://github.com/steshaw/plt"}, {"content_hash": "4452f3e724fffd2836595b948ea6f6a4a8114859ba70dfcc49901bd7a211afd4", "fetched_at": "2026-08-29T08:53:00.887780+00:00", "kind": "homepage", "missing": false, "url": "https://steshaw.org/plt/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T17:58:46.224501+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a48746cae70c44e7e105b594aad338ddd105c93c1cb445a40ba6aab785ba69e5", "fetched_at": "2026-08-28T04:09:16.016065+00:00", "kind": "readme", "missing": false, "url": "https://github.com/steshaw/plt"}, {"content_hash": "4452f3e724fffd2836595b948ea6f6a4a8114859ba70dfcc49901bd7a211afd4", "fetched_at": "2026-08-29T08:53:00.887780+00:00", "kind": "homepage", "missing": false, "url": "https://steshaw.org/plt/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T17:58:46.224501+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a48746cae70c44e7e105b594aad338ddd105c93c1cb445a40ba6aab785ba69e5", "fetched_at": "2026-08-28T04:09:16.016065+00:00", "kind": "readme", "missing": false, "url": "https://github.com/steshaw/plt"}, {"content_hash": "4452f3e724fffd2836595b948ea6f6a4a8114859ba70dfcc49901bd7a211afd4", "fetched_at": "2026-08-29T08:53:00.887780+00:00", "kind": "homepage", "missing": false, "url": "https://steshaw.org/plt/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T17:58:46.224501+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a48746cae70c44e7e105b594aad338ddd105c93c1cb445a40ba6aab785ba69e5", "fetched_at": "2026-08-28T04:09:16.016065+00:00", "kind": "readme", "missing": false, "url": "https://github.com/steshaw/plt"}, {"content_hash": "4452f3e724fffd2836595b948ea6f6a4a8114859ba70dfcc49901bd7a211afd4", "fetched_at": "2026-08-29T08:53:00.887780+00:00", "kind": "homepage", "missing": false, "url": "https://steshaw.org/plt/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases", "no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 4782, "days_push": 640, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 32, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}