Topic · type-checking

type-checking

Tracked open-source repos tagged type-checking, sorted by stars.

Repos

10

Total stars

22,747

Avg. stars

2,275

Share

0.00%

Topics that frequently appear alongside type-checking on the same repo.

Recent risers

Repos created in the last 90 days, tagged type-checking.

No new repos tagged with this topic in the last 90 days.

#1
ts-toolbelt ↗@millspTypeScript
👷 TypeScript's largest type utility library
★ 7,153+1Star change over the last 7 days
#2
ow ↗@sindresorhusTypeScript
Function argument validation for humans
★ 3,864-1Star change over the last 7 days
#3
thinc ↗@explosionPython
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
★ 2,890+0Star change over the last 7 days
#4
tl ↗@teal-languageLua
The compiler for Teal, a typed dialect of Lua
★ 2,815+4Star change over the last 7 days
#5
rbs ↗@rubyRuby
The type signature language for Ruby
★ 2,176+4Star change over the last 7 days
#6
zuban ↗@zubanlsRust
Python Type Checker / Language Server
★ 1,171+3Star change over the last 7 days
#7
caer ↗@jasmcausPython
High-performance Vision library in Python. Scale your research, not boilerplate.
★ 816+2Star change over the last 7 days
#8
python-blueprint ↗@johnthagenPython
🗺️ Example Python project using best practices 🐍 https://github.com/johnthagen/python-blueprint
★ 738+1Star change over the last 7 days
#9
hammox ↗@mszElixir
🏝 automated contract testing via type checking for Elixir functions and mocks
★ 594+0Star change over the last 7 days
#10
elixir-type_check ↗@QqwyElixir
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
★ 532+0Star change over the last 7 days

← Back to topics