typedgrammar /typed-japanese
用 TypeScript 学习日语语法
TypeScript1954

language-verification 话题在 GitHub 上没有填写简介,这里按 Star 数汇总最相关的热门仓库。
用 TypeScript 学习日语语法
A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.
Report on advancements in Type Theory and application of Program Verification