Skip to content

@PLT-zh 编程语言理论

Change the repository type filter

All

    Repositories list

    4 repositories

    • plt

      Public
      λΠ Programming Language Theory
      CSS
      •340•3•0•0•Updated May 22, 2024May 22, 2024

    • glossaries

      Public
      Glossaries for Programming Language and Type Theory
      Creative Commons Zero v1.0 Universal
      •0•2•0•0•Updated May 22, 2024May 22, 2024

    • OpenLogic

      Public
      An open-source, customizable intermediate logic textbook
      TeX
      •
      Creative Commons Attribution 4.0 International
      •258•0•0•0•Updated Jun 23, 2019Jun 23, 2019

    • glossary-tools

      Public
      Create, parse, and search glossary.
      MIT License
      •0•4•0•0•Updated Jun 18, 2019Jun 18, 2019