Mypy Pycharm PluginA simple plugin that allows running mypy from PyCharm and navigate between errors
Stars: ✭ 274 (+222.35%)
typicalIsomorphic, functional type-checking for Javascript
Stars: ✭ 17 (-80%)
mps-coderulesType checking and logical inference for JetBrains MPS
Stars: ✭ 24 (-71.76%)
progge.rsProgram analysis playground for a simple, imperative language
Stars: ✭ 29 (-65.88%)
infrared✨🚀 Blazing fast, inferred static type checker for JavaScript.
Stars: ✭ 46 (-45.88%)
TypologySwift type checking and semantic analysis for developer tools
Stars: ✭ 68 (-20%)
floweretRuntime type annotations for CoffeeScript (and JavaScript too!)
Stars: ✭ 20 (-76.47%)
typepyA Python library for variable type checker/validator/converter at a run time.
Stars: ✭ 16 (-81.18%)
ts-interface-loaderWebpack support for validating TypeScript definitions at runtime.
Stars: ✭ 19 (-77.65%)