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 344

  2. plfl plfl Public

    Programming Language Foundations in Lean

    C 47 5

  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,474 CC-BY-4.0 344 47 (13 issues need help) 14 Updated Nov 25, 2025
  • plfl Public

    Programming Language Foundations in Lean

    plfa/plfl’s past year of commit activity
    C 47 5 0 0 Updated Jul 22, 2025
  • 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

C TeX Agda

Most used topics

Loading…