#Typechecker
Showing 11 of 11 repositories tagged #typechecker, ranked by stars
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Optional static typing for Python
Performant type-checking for python.
A fast type checker and language server for Python
A static type analyzer for Python code
A correct and efficient TypeScript type checker and compiler with additional experiments
Blazing fast Vue.js Toolchain. Compiler, Linter, Type Checker, Formatter, LSP, Story System, Editor Extensions. This already passed 8000+ test suites, includes real world E2E.
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
TypeScript & Go inspired small interpreted programming language written in C#. The interpreter built with DDD principles and Clean Architecture. Implementation powered by Source Generators
🐍 The Mamba programming language, because we care about safety
A package for type-checking the URLs and associated views for Django