Giters
编程语言理论 (PLT-zh)

编程语言理论

PLT-zh

Geek Repo

Github PK Tool:Github PK Tool

编程语言理论's repositories

glossary-tools

Create, parse, and search glossary.

License:MITStargazers:4Issues:2Issues:0

plt

λΠ Programming Language Theory

Language:CSSStargazers:3Issues:1Issues:0

glossaries

Glossaries for Programming Language and Type Theory

License:CC0-1.0Stargazers:2Issues:0Issues:0

OpenLogic

An open-source, customizable intermediate logic textbook

Language:TeXLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0