Optional static typing for Python
Performant type-checking for python.
A static type analyzer for Python code
Static type checker for Ruby
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Python 3.5+ runtime type checking for integration testing and data validation
🏝 automated contract testing via type checking for Elixir functions and mocks
Runtime Type Checks for TypeScript
Get updates on the fastest growing repos and cool stats about GitHub right in your inbox
I agree to the storage of my email for the purpose of contacting me.
Once per month. No spam.