Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Typechecker Open Source Projects

Open source projects categorized as Typechecker
Categories  > Compilers  > Typechecker
Edit Category
microsoft/TypeScript ⭐ 96,332
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 0 total releases 0 most recent commit about 2 years ago
python/mypy ⭐ 17,070
Optional static typing for Python
dependent packages 0 total releases 0 most recent commit about 2 years ago
facebook/pyre-check ⭐ 6,606
Performant type-checking for python.
dependent packages 0 total releases 0 most recent commit about 2 years ago
google/pytype ⭐ 4,464
A static type analyzer for Python code
dependent packages 0 total releases 0 most recent commit about 2 years ago
kaleidawave/ezno ⭐ 1,994
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
dependent packages 0 total releases 0 most recent commit about 2 years ago
scalameta/metals ⭐ 1,983
Scala language server with rich IDE features 🚀
dependent packages 0 total releases 0 most recent commit about 2 years ago
soutaro/steep ⭐ 1,305
Static type checker for Ruby
dependent packages 0 total releases 0 most recent commit about 2 years ago
mtshiba/pylyzer ⭐ 1,123
A fast static code analyzer & language server for Python
dependent packages 0 total releases 0 most recent commit over 2 years ago
chanzuckerberg/sorbet-rails ⭐ 636
A set of tools to make the Sorbet typechecker work with Ruby on Rails seamlessly.
dependent packages 0 total releases 0 most recent commit almost 3 years ago
fsprojects/Rezoom.SQL ⭐ 634
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
dependent packages 0 total releases 0 most recent commit almost 6 years ago
Get A Weekly Email With Trending Typechecker Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.