plfa/plfa.github.io

plfa/plfa.github.io has 1,527 GitHub stars and 356 forks. GitHot measured 0 stars in 24 hours. Last checked 2026-11-05 09:25 UTC. Last push 2026-10-31.

How these counts are measured

An introduction to programming language theory in Agda

1,527 stars 356 forks

Measured star growth

in 24h: 0
in 7 days: Collecting history
in 15 days: Collecting history
in 1 month: Collecting history

Net star changes over overlapping periods, not daily totals. Missing measurements are left blank. Stars measure attention, not software quality.

README.md

Original

Read the README on GitHub

Explore related projects

codecrafters-io/build-your-own-x

Master programming by recreating your favorite technologies from scratch.

559,987 stars

public-apis/public-apis

A collective list of free APIs

496,238 stars

morluto/rea

Reverse engineer anything with agents, from app behavior down to native binaries.

432,660 stars

openclaw/openclaw

The AI that really does things. Any OS. Any Platform. The lobster way. 🦞

393,945 stars