Discover the Best Open-Source Typechecker Projects Sorted by Stars

Get Insights into Stars Growth, Contributions, Diversity, Bus Factor, and Community Governance. Optimize Your Project's Performance and Collaborate with a Thriving Community.

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

93,814

Optional static typing for Python

16,199

Performant type-checking for python.

6,457

A static type analyzer for Python code

4,321

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

1,671

Static type checker for Ruby

1,259

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

661

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

599

Python 3.5+ runtime type checking for integration testing and data validation

541

🏝 automated contract testing via type checking for Elixir functions and mocks

529

Runtime Type Checks for TypeScript

473

Get updates on the fastest growing repos and cool stats about GitHub right in your inbox

Once per month. No spam.