language-verification

There are 0 repository under language-verification topic.

typedgrammar / typed-japanese
🌸 Learn Japanese grammar with TypeScript
computational-linguistics dsl grammar japanese japanese-grammar language-learning language-verification nlp type-level-programming type-system typescript typescript-types
Language:TypeScript 1894
mbeddr / language_verification
A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.
dsl jetbrains-mps language-verification verification
1
SatyendraBanjare / Type-Theory-notes
Report on advancements in Type Theory and application of Program Verification
typesystem type-theory proof-assistant quantum-programming-language theroy-reports programming-language quantum-computing verification theory program-verification language-verification
Language:TeX 0