#

language-verification

Here are 3 public repositories matching this topic...

typedgrammar / typed-japanese

🌸 Learn Japanese grammar with TypeScript

nlp typescript dsl japanese grammar language-learning computational-linguistics type-system type-level-programming language-verification typescript-types japanese-grammar

Updated Jun 21, 2026
TypeScript

mbeddr / language_verification

A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.

dsl verification jetbrains-mps language-verification

Updated Apr 17, 2020

SatyendraBanjare / Type-Theory-notes

Report on advancements in Type Theory and application of Program Verification

programming-language verification proof-assistant type-theory quantum-computing theory program-verification quantum-programming-language typesystem theroy-reports language-verification

Updated Oct 23, 2018
TeX

Add this topic to your repo

To associate your repository with the language-verification topic, visit your repo's landing page and select "manage topics."