GeezerVison — plfa

Home|About|Gaming cabinet|Archives|How it works|Starter sites

GeezerVison is showing github.com — plfa

Popular repositories Loading

plfa.github.io plfa.github.io Public

An introduction to programming language theory in Agda

Agda 1.5k 356
plfl plfl Public

Programming Language Foundations in Lean

HTML 58 6
lagda.md2tex lagda.md2tex Public

Tool for converting literate Agda in markdown to literate Agda in tex

TeX 1

Repositories

Loading

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Agda HTML TeX

Sort

Last updated Name Stars

Showing 3 of 3 repositories

plfa.github.io Public
An introduction to programming language theory in Agda

Uh oh!

There was an error while loading. Please reload this page.

plfa/plfa.github.io's past year of commit activity

Agda 1,528 CC-BY-4.0 356 48 (13 issues need help) 16 Updated Nov 9, 2026
plfl Public
Programming Language Foundations in Lean

Uh oh!

There was an error while loading. Please reload this page.

plfa/plfl's past year of commit activity

HTML 58 6 0 0 Updated Apr 11, 2026
lagda.md2tex Public
Tool for converting literate Agda in markdown to literate Agda in tex

Uh oh!

There was an error while loading. Please reload this page.

plfa/lagda.md2tex's past year of commit activity

TeX 1 0 0 0 Updated Feb 27, 2023

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.