A JavaScript checker and optimizer.
A simple Rust like Result type for Python 3. Fully type annotated.
🏝 automated contract testing via type checking for Elixir functions and ...
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
coulomb: unit analysis for Scala
A garden of small programming language implementations 🪴
Decorator which checks whether the function is called with the correct t...
trycast parses JSON-like values whose shape is defined by TypedDicts and...
A programming language. Static types. Full type inference. Garbage colle...
A webpack plugin allowing to call Flow type checker.
A python 3 library providing functions and decorators to automatically g...