Topic: "language-verification"
typedgrammar/typed-japanese
🌸 Learn Japanese grammar with TypeScript
Language: TypeScript - Size: 181 KB - Last synced at: 24 days ago - Pushed at: 28 days ago - Stars: 1,541 - Forks: 15
mbeddr/language_verification 📦
A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.
Size: 17.5 MB - Last synced at: 9 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
SatyendraBanjare/Type-Theory-notes 📦
Report on advancements in Type Theory and application of Program Verification
Language: TeX - Size: 9.51 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
