Help developers discover the tools you use. Get visibility for your team's tech choices and contribute to the community's knowledge.
Typically 5x or more faster than mypy and other type checkers that are written in Python. It is meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. | It is 100% compatible with Ruby. It type checks normal method definitions, and introduces backwards-compatible syntax for method signatures. Explicit method signatures make it useful for anyone reading the code. Type annotations serve as a tool for understanding long after they're written. |
Hover tool tips that display type information; Links to symbol definitions; Smart priority queuing for interactive feedback during editing | Fast: Powerful |
Statistics | |
GitHub Stars 14.9K | GitHub Stars 3.7K |
GitHub Forks 1.7K | GitHub Forks 574 |
Stacks 36 | Stacks 11 |
Followers 31 | Followers 7 |
Votes 0 | Votes 0 |
Integrations | |
| No integrations available | |

It adds syntactic sugar inspired by Ruby, Python and Haskell in an effort to enhance JavaScript's brevity and readability. Specific additional features include list comprehension and de-structuring assignment.

TypeScript is a language for application-scale JavaScript development. It's a typed superset of JavaScript that compiles to plain JavaScript.

Flow is a static type checker for Javascript created by Facebook.