teal-language / tl
The compiler for Teal, a typed dialect of Lua
teal-language / tl
ruby / rbs
The type signature language for Ruby
zubanls / zuban
Python Type Checker / Language Server
typetools / checker-framework
Pluggable type-checking for Java
jasmcaus / caer
High-performance Vision library in Python. Scale your research, not boilerplate.
johnthagen / python-blueprint
🗺️ Example Python project using best practices 🐍 https://github.com/johnthagen/python-blueprint
PowderworksCode / headstart
Start dependent crates before their dependencies finish type-checking