Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Type Checking Open Source Projects
Open source projects categorized as Type Checking
Categories
>
Compilers
>
Type Checking
Edit Category
google/closure-compiler
⭐
7,175
A JavaScript checker and optimizer.
dependent packages
0
total releases
0
most recent commit
about 2 years ago
millsp/ts-toolbelt
⭐
6,011
👷 TypeScript's largest type utility library
dependent packages
0
total releases
0
most recent commit
over 3 years ago
sindresorhus/ow
⭐
3,740
Function argument validation for humans
dependent packages
0
total releases
0
most recent commit
almost 3 years ago
TypeStrong/ts-loader
⭐
3,406
TypeScript loader for webpack
dependent packages
0
total releases
0
most recent commit
over 2 years ago
explosion/thinc
⭐
2,774
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
dependent packages
0
total releases
0
most recent commit
about 2 years ago
sdiehl/write-you-a-haskell
⭐
2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
dependent packages
0
total releases
0
most recent commit
over 6 years ago
agda/agda
⭐
2,281
Agda is a dependently typed programming language / interactive theorem prover.
dependent packages
0
total releases
0
most recent commit
about 2 years ago
gcanti/tcomb
⭐
1,883
Type checking and DDD for JavaScript
dependent packages
0
total releases
0
most recent commit
almost 7 years ago
teal-language/tl
⭐
1,829
The compiler for Teal, a typed dialect of Lua
dependent packages
0
total releases
0
most recent commit
about 2 years ago
ruby/rbs
⭐
1,825
Type Signature for Ruby
dependent packages
0
total releases
0
most recent commit
about 2 years ago
Get A Weekly Email With Trending Type Checking Projects
No Spam. Unsubscribe easily at any time.
Type Checking
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.