A JavaScript checker and optimizer.
翻译 - JavaScript检查器和优化器。
NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.
🏝 automated contract testing via type checking for Elixir functions and mocks
A garden of small programming language implementations 🪴
Python command line wrapper for pyright, a static type checker
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
coulomb: unit analysis for Scala
Decorator which checks whether the function is called with the correct type of parameters.
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
A programming language. Static types. Full type inference. Garbage collection. --- not stable
A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts o...
A webpack plugin allowing to call Flow type checker.
Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.
Webpack support for validating TypeScript definitions at runtime.
language verification, construction, and analysis
Infer Python types from JSON data, use them for auto serialisation and parsing
Checks if JavaScript variable is a number. Strings are not allowed.
Ahnfelt's Type Inference by Example but implemented in Gleam
A functional programming language based on system F (omega) ft. NbE and higher order unification