# steshaw/plt

Programming Language Theory λΠ

Repository: https://github.com/steshaw/plt
Canonical: https://ross.abutalabs.com/products/plt
Homepage: https://steshaw.org/plt/
Language: CSS
License Family: other
Topics: programming-languages, type-theory, functional-programming, category-theory, logic, proof-theory
Last push: 2024-12-02T01:47:27+00:00

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

## Adoption (not part of the score)
Stars 5359, forks 343 (observed 2026-08-28T04:09:16.016065+00:00)

## 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.

## 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

## 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

## 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

## Facets
- artifact type: learning-resource
- maturity: active
- function: documentation, developer-tools
- domain: programming-languages, tutorials, awesome-lists, education
- platform: -
- tags: type-theory, functional-programming, category-theory, proof-theory, curated-list, lambda-calculus, web-server

## Member repositories
- steshaw/plt (main) score 32

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:09:16.016065+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-29T17:58:46.224501+00:00, confidence not recorded.
  - readme: https://github.com/steshaw/plt (fetched 2026-08-28T04:09:16.016065+00:00, sha a48746cae70c)
  - homepage: https://steshaw.org/plt/ (fetched 2026-08-29T08:53:00.887780+00:00, sha 4452f3e724ff)
- Data as of 2026-08-30T08:39:29.467469+00:00.