Skip to content
@plfa

plfa

Popular repositories Loading

  1. plfa.github.io plfa.github.io Public

    An introduction to programming language theory in Agda

    Agda 1.5k 353

  2. plfl plfl Public

    Programming Language Foundations in Lean

    HTML 55 6

  3. lagda.md2tex lagda.md2tex Public

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

    TeX 1

Repositories

Showing 3 of 3 repositories
  • plfa.github.io Public

    An introduction to programming language theory in Agda

    plfa/plfa.github.io's past year of commit activity
    Agda 1,514 CC-BY-4.0 353 49 (13 issues need help) 17 Updated Sep 7, 2026
  • plfl Public

    Programming Language Foundations in Lean

    plfa/plfl's past year of commit activity
    HTML 55 6 0 0 Updated Apr 11, 2026
  • lagda.md2tex Public

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

    plfa/lagda.md2tex's past year of commit activity
    TeX 1 0 0 0 Updated Feb 27, 2023

Top languages

TeX Agda HTML

Most used topics

Loading…