plfa/plfa.github.io

plfa.github.io

✅ Recently maintained

An introduction to programming language theory in Agda

1,526Stars
356Forks
+27-day stars

Agda · CC-BY-4.0 · Last push 2026-10-31

Official repository & installation ↗
bookproof-assistantprogramming-languages

Star history

2025-09-292026-11-02
View historical data
DateStars
2026-10-041,515
2026-10-051,516
2026-10-061,516
2026-10-071,516
2026-10-081,517
2026-10-091,518
2026-10-101,518
2026-10-111,518
2026-10-121,518
2026-10-131,518
2026-10-141,518
2026-10-151,518
2026-10-161,518
2026-10-171,520
2026-10-181,521
2026-10-191,523
2026-10-201,523
2026-10-211,523
2026-10-221,523
2026-10-231,524
2026-10-241,524
2026-10-251,524
2026-10-261,524
2026-10-271,524
2026-10-281,524
2026-10-291,524
2026-10-301,524
2026-10-311,524
2026-11-011,525
2026-11-021,526

Get the project

git clone https://github.com/plfa/plfa.github.io.git

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.

You-Dont-Know-JS

Free open-source book series explaining JavaScript scope, closures, prototypes, and async in depth.

★ 184,834hello-algo

Illustrated data structures and algorithms guide with multi-language code.

★ 131,861GoBooks

Categorized reading list of Go (Golang) books from beginner tutorials to advanced concurrency and distributed systems.

★ 19,767