⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
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 48 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,486 CC-BY-4.0 344 48 (13 issues need help) 13 Updated Jan 27, 2026
  • plfl Public

    Programming Language Foundations in Lean

    plfa/plfl’s past year of commit activity
    C 48 6 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…