steshaw/plt resource
Programming Language Theory λΠ observed · 2026-08-28
Health v2 · maintenance only
32/100
- Activity 0
- Release rhythm 35
- Longevity 100
Flags: no_releases 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: 4782
- days_rel: n/a
- days_push: 640
- n_releases_24m: 0
Adoption not part of the score
5359 stars · 343 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded
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
learning-resource · maturity active
documentation developer-tools programming-languages tutorials awesome-lists education type-theory functional-programming category-theory proof-theory curated-list lambda-calculus web-server
2 sources
- readme: https://github.com/steshaw/plt · fetched 2026-08-28 · a48746cae70c
- homepage: https://steshaw.org/plt/ · fetched 2026-08-29 · 4452f3e724ff
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| steshaw/plt | main | 32 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem