#type-checking (13 Repositories)
Ranked open-source repositories tagged with #type-checking, scored by pull request acceptance likelihood and maintainer engagement velocity.
25.9%
8.9h
13 repositories tagged #type-checking
Shopify/rubydex
A high-performance static analysis toolkit for Ruby
ruby/rbs
The type signature language for Ruby
teal-language/tl
The compiler for Teal, a typed dialect of Lua
zubanls/zuban
Python Type Checker / Language Server
Josverl/micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
brendanzab/language-garden
A garden of small programming language implementations 🪴
explosion/thinc
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
sylvainpolletvillard/ObjectModel
Strong Dynamically Typed Object Modeling for JavaScript
dropbox/mypy-PyCharm-plugin
A simple plugin that allows running mypy from PyCharm and navigate between errors
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
Qqwy/elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles.
sindresorhus/ow
Function argument validation for humans