All Projects → strongtyping → Similar Projects or Alternatives

70 Open source projects that are alternatives of or similar to strongtyping

Mypy Pycharm Plugin
A simple plugin that allows running mypy from PyCharm and navigate between errors
Stars: ✭ 274 (+222.35%)
Mutual labels:  type-checking
typical
Isomorphic, functional type-checking for Javascript
Stars: ✭ 17 (-80%)
Mutual labels:  type-checking
mps-coderules
Type checking and logical inference for JetBrains MPS
Stars: ✭ 24 (-71.76%)
Mutual labels:  type-checking
progge.rs
Program analysis playground for a simple, imperative language
Stars: ✭ 29 (-65.88%)
Mutual labels:  type-checking
infrared
✨🚀 Blazing fast, inferred static type checker for JavaScript.
Stars: ✭ 46 (-45.88%)
Mutual labels:  type-checking
Typology
Swift type checking and semantic analysis for developer tools
Stars: ✭ 68 (-20%)
Mutual labels:  type-checking
floweret
Runtime type annotations for CoffeeScript (and JavaScript too!)
Stars: ✭ 20 (-76.47%)
Mutual labels:  type-checking
typepy
A Python library for variable type checker/validator/converter at a run time.
Stars: ✭ 16 (-81.18%)
Mutual labels:  type-checking
Closure Compiler
A JavaScript checker and optimizer.
Stars: ✭ 6,277 (+7284.71%)
Mutual labels:  typechecking
ts-interface-loader
Webpack support for validating TypeScript definitions at runtime.
Stars: ✭ 19 (-77.65%)
Mutual labels:  typechecking
61-70 of 70 similar projects