Skip to content

@LambdaDelta-Lab LambdaDelta Lab

Change the repository type filter

All

    Repositories list

    2 repositories

    • plfa.github.io

      Public
      An introduction to programming language theory in Agda
      Agda
      •
      Creative Commons Attribution 4.0 International
      •347•0•0•0•Updated Jul 18, 2025Jul 18, 2025

    • FLT-in-Ruby

      Public
      Introdução à Teoria das Linguagens Formais em Ruby
      rubyformal-languages
      rubyformal-languages
      Ruby
      •0•2•0•0•Updated Aug 13, 2024Aug 13, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.