#type-checking (12 Repositories)
Ranked open-source repositories tagged with #type-checking, scored by pull request acceptance likelihood and maintainer engagement velocity.
28.6%
4.8h
12 repositories tagged #type-checking
teal-language/tl
The compiler for Teal, a typed dialect of Lua
Josverl/micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Shopify/rubydex
A high-performance static analysis toolkit for Ruby
ruby/rbs
The type signature language for Ruby
zubanls/zuban
Python Type Checker / Language Server
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. (http://dev.stephendiehl.com/fun/)
explosion/thinc
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
brendanzab/language-garden
A garden of small programming language implementations 🪴
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