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
over 2 years ago
python/mypy
⭐
17,070
Optional static typing for Python
dependent packages
0
total releases
0
most recent commit
over 2 years ago
facebook/pyre-check
⭐
6,606
Performant type-checking for python.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
google/pytype
⭐
4,464
A static type analyzer for Python code
dependent packages
0
total releases
0
most recent commit
over 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
over 2 years ago
scalameta/metals
⭐
1,983
Scala language server with rich IDE features 🚀
dependent packages
0
total releases
0
most recent commit
over 2 years ago
soutaro/steep
⭐
1,305
Static type checker for Ruby
dependent packages
0
total releases
0
most recent commit
over 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.
Typechecker
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
